← Back to branch summary

~tapaal-ltl/verifypn/composed-heuristics

From Revision 283 to 264

expand all expand all

Rev   Summary Authors Date Diff Files
283
Piecewise zero/log fire count heuristic
Nikolaj Jensen Ulrik 2 years ago Diff Files
282
Merged lp:~tapaal-ltl/verifypn/ltl-trunk
Simon Virenfeldt 3 years ago Diff Files
281
Added weighted composed heuristic
Simon Virenfeldt 3 years ago Diff Files
280
Merge lp:~tapaal-ltl/verifypn/fire-count-heuristic@271
Simon Virenfeldt 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
271
Fix trace generation issues when using SpoolingSuccessorGene...
Nikolaj Jensen Ulrik 3 years ago Diff Files
270
merge ltl-trunk@252
Nikolaj Jensen Ulrik 3 years ago Diff Files
269
Ensure spooler gets set
Nikolaj Jensen Ulrik 3 years ago Diff Files
268
Add calls to generateAll
Nikolaj Jensen Ulrik 3 years ago Diff Files
267
LTL engine now allows combination of stubborn sets and heuri...
Nikolaj Jensen Ulrik 3 years ago Diff Files
266
Functioning spooling successor generator
Nikolaj Jensen Ulrik 3 years ago Diff Files
265
Refactor successor generator and make cleverer spooling succ...
Nikolaj Jensen Ulrik 3 years ago Diff Files
264
merge resuming-stubborn-tarjan@261
Nikolaj Jensen Ulrik 3 years ago Diff Files