← Back to branch summary

~tapaal-ltl/verifypn/ltl-stubborn-set

From Revision 291 to 272

expand all expand all

Rev   Summary Authors Date Diff Files
291
Fixed point of reach-states (not yet proven correct)
Nikolaj Jensen Ulrik 2 years ago Diff Files
290
Realign help and options parse v2
Nikolaj Jensen Ulrik 3 years ago Diff Files
289
Realign help and options parse (whoops!)
Nikolaj Jensen Ulrik 3 years ago Diff Files
288
Remove RandomNDFS and use NestedDepthFirstSearch for random ...
Nikolaj Jensen Ulrik 3 years ago Diff Files
287
Reformulate POR documentation in -h
Nikolaj Jensen Ulrik 3 years ago Diff Files
286
Fixing warnings
Nikolaj Jensen Ulrik 3 years ago Diff Files
285
Fix build error, document --ltl-por
Nikolaj Jensen Ulrik 3 years ago Diff Files
284
Merge reach-aut-stub@275
Nikolaj Jensen Ulrik 3 years ago Diff Files
283
Merge random-fix@240
Nikolaj Jensen Ulrik 3 years ago Diff Files
282
Replace extstack with dentry bit on CEntry
Nikolaj Jensen Ulrik 3 years ago Diff Files
281
Merge remote@282
Nikolaj Jensen Ulrik 3 years ago Diff Files
280
Reinstate missing code, making stubborn sets correct
Nikolaj Jensen Ulrik 3 years ago Diff Files
279
merge remote ltl-stubborn-set@277
Nikolaj Jensen Ulrik 3 years ago Diff Files
278
Merge ltl-trunk@255..258
Nikolaj Jensen Ulrik 3 years ago Diff Files
277
Merge ltl-trunk@253
Nikolaj Jensen Ulrik 3 years ago Diff Files
276
interesting
Nikolaj Jensen Ulrik 3 years ago Diff Files
275
Fix end of trace in Tarjan
Nikolaj Jensen Ulrik 3 years ago Diff Files
274
Add switch to disable Büchi compression, and disable the com...
Nikolaj Jensen Ulrik 3 years ago Diff Files
273
Merge heuristic-automata@270
Nikolaj Jensen Ulrik 3 years ago Diff Files
272
Add compress as parameter to makeBuchiAutomaton
Nikolaj Jensen Ulrik 3 years ago Diff Files