~tapaal-ltl/verifypn/stubborn-heuristic

From Revision 282 to 263

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
282		closure version closure version	Nikolaj Jensen Ulrik	3 years ago
281		No-closure version No-closure version	Nikolaj Jensen Ulrik	3 years ago
280		Fix lack of heuristic->prepare (weighted heuristic version) Fix lack of heuristic->prepare (weighted heuristic version)	Nikolaj Jensen Ulrik	3 years ago
279		Differentiate interesting transitions and closure transition... Differentiate interesting transitions and closure transitions in heuristic	Nikolaj Jensen Ulrik	3 years ago
278		tmp no-closure version tmp no-closure version	Nikolaj Jensen Ulrik	3 years ago
277		Heuristic with priority to stubborn transitions Heuristic with priority to stubborn transitions	Nikolaj Jensen Ulrik	3 years ago
276		interesting interesting	Nikolaj Jensen Ulrik	3 years ago
275		Fix end of trace in Tarjan Fix end of trace in Tarjan	Nikolaj Jensen Ulrik	3 years ago
274		Add switch to disable Büchi compression, and disable the com... Add switch to disable Büchi compression, and disable the compression when printing the automaton	Nikolaj Jensen Ulrik	3 years ago
273		Merge heuristic-automata@270 Merge heuristic-automata@270	Nikolaj Jensen Ulrik	3 years ago
272		Add compress as parameter to makeBuchiAutomaton Add compress as parameter to makeBuchiAutomaton	Nikolaj Jensen Ulrik	3 years ago
271		Fix trace generation issues when using SpoolingSuccessorGene... Fix trace generation issues when using SpoolingSuccessorGenerator	Nikolaj Jensen Ulrik	3 years ago
270		merge ltl-trunk@252 merge ltl-trunk@252	Nikolaj Jensen Ulrik	3 years ago
269		Ensure spooler gets set Ensure spooler gets set	Nikolaj Jensen Ulrik	3 years ago
268		Add calls to generateAll Add calls to generateAll	Nikolaj Jensen Ulrik	3 years ago
267		LTL engine now allows combination of stubborn sets and heuri... LTL engine now allows combination of stubborn sets and heuristics	Nikolaj Jensen Ulrik	3 years ago
266		Functioning spooling successor generator Functioning spooling successor generator	Nikolaj Jensen Ulrik	3 years ago
265		Refactor successor generator and make cleverer spooling succ... Refactor successor generator and make cleverer spooling successor generator	Nikolaj Jensen Ulrik	3 years ago
264		merge resuming-stubborn-tarjan@261 merge resuming-stubborn-tarjan@261	Nikolaj Jensen Ulrik	3 years ago
263		merge interesting-trans-stub@267 merge interesting-trans-stub@267	Nikolaj Jensen Ulrik	3 years ago

• Older »

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