~verifypn-maintainers/verifypn/new-trunk

From Revision 255 to 236

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
255		merged in lp:~verifypn-cpn/verifypn/relevant-inhib-fix fixin... merged in lp:~verifypn-cpn/verifypn/relevant-inhib-fix fixing a problem with inhibitor arcs in reduction rule	Jiri Srba	2 years ago
254		merged in lp:~tapaal-ltl/verifypn/simple-ltl-heuristics simp... merged in lp:~tapaal-ltl/verifypn/simple-ltl-heuristics simplifying the heuristic search selection and back to Bison 3.5	Jiri Srba	2 years ago
253		merged in lp:~verifypn-cpn/verifypn/xml_visitor making visit... merged in lp:~verifypn-cpn/verifypn/xml_visitor making visitor pattern for printing	Jiri Srba	2 years ago
252		merged in lp:~tapaal-ltl/verifypn/reach-stub-new addig POR f... merged in lp:~tapaal-ltl/verifypn/reach-stub-new addig POR for LTL, improves NDFS performance and fixes trace generation	srba.jiri at gmail	2 years ago
251		merged in lp:~yrke/verifypn/fixed-required-bison-version upd... merged in lp:~yrke/verifypn/fixed-required-bison-version updateing cmake scripts for bison	Jiri Srba	2 years ago
250		merged in lp:~tapaal-ltl/verifypn/kbound-fix-ltl fixing prob... merged in lp:~tapaal-ltl/verifypn/kbound-fix-ltl fixing problem with k-bound and A true in LTL engine	Jiri Srba	2 years ago
249		merged in lp:~tapaal-contributor/verifypn/Fix-partition-id- merged in lp:~tapaal-contributor/verifypn/Fix-partition-id-clash-1939939 fixing id clashes under unfolding	Jiri Srba	2 years ago
248		merged in lp:~tapaal-ltl/verifypn/fireable-empty-preset-fix ... merged in lp:~tapaal-ltl/verifypn/fireable-empty-preset-fix fixing fireability predicate for transitions with empty preset	Jiri Srba	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

• Older »

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