~tapaal-red/verifypn/rule-l : changes

~tapaal-red/verifypn/rule-l » Changes from revision 253

From Revision 253 to 234

Rev	Summary	Authors	Date
253	Trying to commit to bzr Trying to commit to bzr	jespoke	2 years ago
252	Add reduction rule L removing dominated transitions. Add reduction rule L removing dominated transitions.	nicoesterby 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
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

Older »