~verifypn-cpn/verifypn/improved-rule-bh

From Revision 227 to 208

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
227		fixed issue in ruleH fixed issue in ruleH	Peter G. Jensen	5 years ago
226		added timeout to ruleH added timeout to ruleH	Peter G. Jensen	5 years ago
225		fixed issue in ruleH fixed issue in ruleH	Peter G. Jensen	5 years ago
224		removed premature opt removed premature opt	Peter G. Jensen	5 years ago
223		fixed bug in improved ruleH fixed bug in improved ruleH	Peter G. Jensen	5 years ago
222		fixed ruleH fixed ruleH	Peter G. Jensen	5 years ago
221		restricted extended ruleB use more restricted extended ruleB use more	Peter G. Jensen	5 years ago
220		fixed bug in gen. ruleA fixed bug in gen. ruleA	Peter G. Jensen	5 years ago
219		added comment on last optimization added comment on last optimization	Peter G. Jensen	5 years ago
218		Minor generalization of RuleA Minor generalization of RuleA	Peter G. Jensen	5 years ago
217		Allowing for multiple inputs Allowing for multiple inputs	Peter G. Jensen	5 years ago
216		Removing edges one by one Removing edges one by one	Peter G. Jensen	5 years ago
215		Fixed issue with removing tokens in initial marking in impro... Fixed issue with removing tokens in initial marking in improved rule	Peter G. Jensen	5 years ago
214		added removal redundant place-loops added removal redundant place-loops	Peter G. Jensen	5 years ago
213		we also need to make sure that the pre of the post-edge is n... we also need to make sure that the pre of the post-edge is not messing with any inhibitor or proposition	Peter G. Jensen	5 years ago
212		not applying extended ruleB when loop_sensitive queries are ... not applying extended ruleB when loop_sensitive queries are used (eg deadlocks) as it can remove deadlocks	Peter G. Jensen	5 years ago
211		fixed merging for ruleB fixed merging for ruleB	Peter G. Jensen	5 years ago
210		generalized ruleB to also input-buffer situations generalized ruleB to also input-buffer situations	Peter G. Jensen	5 years ago
209		fixed the tapaal.sh script for queries with prefix of 0 fixed the tapaal.sh script for queries with prefix of 0	srba.jiri at gmail	5 years ago
208		merged in branch lp:~verifypn-stub/verifypn/rulei-segfault merged in branch lp:~verifypn-stub/verifypn/rulei-segfault fixing segfault in reduction rule I	Jiri Srba	5 years ago

• Older »

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