~yrke/verifypn/github-automation

From Revision 241 to 222

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
241		Added github actions script to automatic build and upload ve... Added github actions script to automatic build and upload verifypn Adds github actions for building verifypn on win,macos and linux. Runs checks on every commit to master and pull-requests	Kenneth Yrke Jørgens...	2 years ago
240		merged in lp:~tapaal-ltl/verifypn/answer-for-gui printing th... merged in lp:~tapaal-ltl/verifypn/answer-for-gui printing the verification answer in text for the GUI	srba.jiri at gmail	2 years ago
239		This version is submitted to MCC 2021 (after fixing LTL engi... This version is submitted to MCC 2021 (after fixing LTL engine).	Jiri Srba	2 years ago
238		merged in lp:~tapaal-ltl/verifypn/ltl-neg-fix fixing a negat... merged in lp:~tapaal-ltl/verifypn/ltl-neg-fix fixing a negation issue in the parsing of LTL queries	Jiri Srba	2 years ago
237		This the version submitted to MCC 2021. This the version submitted to MCC 2021.	Jiri Srba	2 years ago
236		merged in lp:~verifypn-cpn/verifypn/optimize-unfolding impro... merged in lp:~verifypn-cpn/verifypn/optimize-unfolding improving the unfolding of CPN	Jiri Srba	2 years ago
235		updated competition 2021 scripts updated competition 2021 scripts	Jiri Srba	2 years ago
234		merged in lp:~verifypn-cpn/verifypn/partitioning parsing veh... merged in lp:~verifypn-cpn/verifypn/partitioning parsing vehicularWifi and fixing some issues and disabeling partitioning for state-space exploration	srba.jiri at gmail	2 years ago
233		updated README file updated README file	srba.jiri at gmail	3 years ago
232		merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heur... merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heuristic, fixing random search and adding partitioning to CPN unfodling	srba.jiri at gmail	3 years ago
231		merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colore... merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colored fixed-point unfolding for CPN and other performance improvements	srba.jiri at gmail	3 years ago
230		merged in lp:~tapaal-contributor/verifypn/show-reduced-net a... merged in lp:~tapaal-contributor/verifypn/show-reduced-net allows to call the engine with -s Overapprox and -q 0	Jiri Srba	3 years ago
229		increased version number to 3.1.1 increased version number to 3.1.1	Jiri Srba	3 years ago
228		merged in lp:~tapaal-contributor/verifypn/show-reduced-net a... merged in lp:~tapaal-contributor/verifypn/show-reduced-net adding x,y coordinates when eexporting reduced net	Jiri Srba	3 years ago
227		fixed compilation with static libraries for mac fixed compilation with static libraries for mac	srba.jiri at gmail	3 years ago
226		updated version number to 3.1.0 updated version number to 3.1.0	srba.jiri at gmail	3 years ago
225		merged in lp:~verifypn-maintainers/verifypn/interval_tar doi... merged in lp:~verifypn-maintainers/verifypn/interval_tar doing  - Implements TAR w/o z3, but using a simple integer inference engine for Hoare logic.  - Replaces LP-Solve with GLPK, reduces computation-time and memory overhead  - Implements new global properties, translated into CTL formulae.	srba.jiri at gmail	3 years ago
224		updated MCC 2020 competition script updated MCC 2020 competition script	Jiri Srba	3 years ago
223		fixed a bug in MCC20 script BC should be BK fixed a bug in MCC20 script BC should be BK	Jiri Srba	3 years ago
222		updated MCC20 scripts and added README file for installing t... updated MCC20 scripts and added README file for installing the VM	srba.jiri at gmail	3 years ago

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1