← Back to branch summary

~verifypn-cpn/verifypn/unitTest

From Revision 152.32.36 to 152.32.17

expand all expand all

Rev   Summary Authors Date Diff Files
152.32.36
removed flag not supported by gcc6
Peter G. Jensen 6 years ago Diff Files
152.32.35
fixed linux32 compilation
Peter G. Jensen 6 years ago Diff Files
152.32.34
fixed windows compilation
Peter G. Jensen 6 years ago Diff Files
152.32.33
fixed random strategy
Peter G. Jensen 6 years ago Diff Files
152.32.32
fixed issue in encoder
Peter G. Jensen 6 years ago Diff Files
152.32.31
Fixed error in encoder
Peter G. Jensen 6 years ago Diff Files
152.32.30
-O3 causes seg-faults when combined with -static using gcc 7...
Peter G. Jensen 6 years ago Diff Files
152.32.29
Save/set invariant attribute before/after query simplificati...
Mads Johannsen 6 years ago Diff Files
152.32.28
fixed bug in simplification for equal and notequal condition...
Peter G. Jensen 6 years ago Diff Files
152.32.27
Exit verifypn when flags are -s OverApprox and -q 0
Mads Johannsen 6 years ago Diff Files
152.32.26
Re-enable -s OverApprox
Mads Johannsen 6 years ago Diff Files
152.32.25
Merge with verifypn trunk
Mads Johannsen 6 years ago Diff Files
152.32.24
Add documentation for siphon-trap, formula simplification an...
Jakob Dyhr 6 years ago Diff Files
152.32.23
Re-insert place/transition statistics
Jakob Dyhr 6 years ago Diff Files
152.32.22
Merge with lp-cache
Jakob Dyhr 6 years ago Diff Files
152.32.21
Always use DFS on CTL queries, print no errors
Jakob Dyhr 6 years ago Diff Files
152.32.20
Merge with trunk
Mads Johannsen 6 years ago Diff Files
152.32.19
Fix deadlock inhibitor check
Jakob Dyhr 6 years ago Diff Files
152.32.18
Bad idea, reverting to 231
Jakob Dyhr 7 years ago Diff Files
152.32.17
If simplify doesnt reduce to trivial, then retry simplify wi...
Jakob Dyhr 7 years ago Diff Files