~tapaal-ltl/verifypn/fireable-empty-preset-fix

From Revision 248 to 229

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
248		Fix crash when verifying is-fireable(t) when t has empty pre... Fix crash when verifying is-fireable(t) when t has empty preset (thus trivially fireable)	Nikolaj Jensen Ulrik	2 years ago
247		merged in lp:~tapaal-ltl/verifypn/ltl-trace-fixes fixing tra... merged in lp:~tapaal-ltl/verifypn/ltl-trace-fixes fixing trace generation and replay	Jiri Srba	2 years ago
246		merged in lp:~tapaal-ltl/verifypn/ltl-spring-2021 adding man... merged in lp:~tapaal-ltl/verifypn/ltl-spring-2021 adding many additions to LTL model checker (automata based methods for partial order and heuristic) and trace generation	Jiri Srba	2 years ago
245		merged in lp:~tapaal-contributor/verifypn/Fix-partitioning-1... merged in lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103 fixing issue with unfolding	srba.jiri at gmail	2 years ago
244		Fixed typo Fixed typo	Kenneth Yrke Jørgens...	2 years ago
243		merged in lp:~tapaal-contributor/verifypn/update-parser impr... merged in lp:~tapaal-contributor/verifypn/update-parser improving CPN unfodling and refactoring the code, fixing parser	srba.jiri at gmail	2 years ago
242		merged in lp:~yrke/verifypn/github-automation adding github ... merged in lp:~yrke/verifypn/github-automation adding github actions	Jiri Srba	2 years ago
241		merged in lp:~tapaal-ltl/verifypn/rule-D-fix fixing a proble... merged in lp:~tapaal-ltl/verifypn/rule-D-fix fixing a problem in reduction rule D for CTL and LTL logic	Jiri Srba	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

• Older »

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