~jespoke/verifypn/relevant-inhib-fix : changes

~jespoke/verifypn/relevant-inhib-fix » Changes from revision 254

From Revision 254 to 235

Rev	Summary	Authors	Date
254	Actually added the mentioned test model this time. Actually added the mentioned test model this time.	jespoke	2 years ago
253	In Reducer.cpp, function 'relevant', block for dealing with ... In Reducer.cpp, function 'relevant', block for dealing with inhibitor arcs. Removed the condition in the loop iterating it2 that would break the loop when arc it2 is an inhibitor. This is to ensure the loop breaks on exactly the arc from place, which we know to exist at that point. Inserted a condition to continue if that found arc is an inhibitor, as that means it cannot consume tokens. Inserted a condition to continue if a decreasing loop is unable to lower the marking of place far enough to disable the inhibitor under evaluation. On the same line, flipped the <= to >= in the existing condition, as the continue should happen on non-decreasing loops, not non-increasing ones. Also included a test model which is affected by this change.	jespoke	2 years ago
252	In Reducer.cpp, function 'relevant', block for dealing with ... In Reducer.cpp, function 'relevant', block for dealing with inhibitor arcs. Removed the condition in the loop iterating it2 that would break the loop when arc it2 is an inhibitor. This is to ensure the loop breaks on exactly the arc from place, which we know to exist at that point. Inserted a condition to continue if that found arc is an inhibitor. Inserted a condition to continue if a decreasing loop is unable to lower the marking of place far enough to disable the inhibitor under evaluation. On the same line, flipped the <= to >= in the existing condition, as the continue should happen on non-decreasing loops, not non-increasing ones. Also included a test model which is affected by this change.	jespoke	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

Older »