~tapaal-ltl/verifypn/experimental-ltl-heuristics

From Revision 252 to 233

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
252		Branch containing experimental heuristics in the LTL engine, Branch containing experimental heuristics in the LTL engine, namely compositional heuristics (currently just weighted sums). As of spring 2021, experimental evaluation did not show any benchmark-wide improvements.	Nikolaj Jensen Ulrik	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
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

• Older »

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