← Back to branch summary

~tapaal-ltl/verifypn/fire-count-heuristic

From Revision 271 to 252

expand all expand all

Rev   Summary Authors Date Diff Files
271
Implemented fire count heuristic
Simon Virenfeldt 3 years ago Diff Files
270
WIP Büchi guided search
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
263
merge interesting-trans-stub@267
Nikolaj Jensen Ulrik 3 years ago Diff Files
262
merge automata-stubborn-sets@271
Nikolaj Jensen Ulrik 3 years ago Diff Files
261
file rename
Nikolaj Jensen Ulrik 3 years ago Diff Files
260
Fix not handling Büchi deadlocks in spooling tarjan
Nikolaj Jensen Ulrik 3 years ago Diff Files
259
Change explored increment location
Simon Virenfeldt 3 years ago Diff Files
258
Remove complete automata, change optimisation to medium
Simon Virenfeldt 3 years ago Diff Files
257
Add debug explored states print
Simon Virenfeldt 3 years ago Diff Files
256
Correctness of LTL stubborn sets
Nikolaj Jensen Ulrik 3 years ago Diff Files
255
Use bit product state in successor generation, seems correct
Nikolaj Jensen Ulrik 3 years ago Diff Files
254
ProductStateSet, handful of bugfixes in Stubborn Tarjan
Nikolaj Jensen Ulrik 3 years ago Diff Files
253
Broken LTL stubborn set implementation
Nikolaj Jensen Ulrik 3 years ago Diff Files
252
Refactor LTLMain, add template parameter to ModelChecker, fi...
Nikolaj Jensen Ulrik 3 years ago Diff Files