~tapaal-ltl/verifypn/visible-stubborn-sets

From Revision 260 to 241

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
260		Fix not handling Büchi deadlocks in spooling tarjan Fix not handling Büchi deadlocks in spooling tarjan	Nikolaj Jensen Ulrik	3 years ago
259		Change explored increment location Change explored increment location	Simon Virenfeldt	3 years ago
258		Remove complete automata, change optimisation to medium Remove complete automata, change optimisation to medium	Simon Virenfeldt	3 years ago
257		Add debug explored states print Add debug explored states print	Simon Virenfeldt	3 years ago
256		Correctness of LTL stubborn sets Correctness of LTL stubborn sets	Nikolaj Jensen Ulrik	3 years ago
255		Use bit product state in successor generation, seems correct Use bit product state in successor generation, seems correct	Nikolaj Jensen Ulrik	3 years ago
254		ProductStateSet, handful of bugfixes in Stubborn Tarjan ProductStateSet, handful of bugfixes in Stubborn Tarjan	Nikolaj Jensen Ulrik	3 years ago
253		Broken LTL stubborn set implementation Broken LTL stubborn set implementation	Nikolaj Jensen Ulrik	3 years ago
252		Refactor LTLMain, add template parameter to ModelChecker, fi... Refactor LTLMain, add template parameter to ModelChecker, fix bugs in stubborn set refactor	Nikolaj Jensen Ulrik	3 years ago
251		Fix not invoking stubborn set and misc errors Fix not invoking stubborn set and misc errors	Nikolaj Jensen Ulrik	3 years ago
250		hotfix to compile hotfix to compile	Nikolaj Jensen Ulrik	3 years ago
249		WIP LTL stubborn set implementation WIP LTL stubborn set implementation	Nikolaj Jensen Ulrik	3 years ago
248		Initial draft of stubborn set refactor Initial draft of stubborn set refactor	Nikolaj Jensen Ulrik	3 years ago
247		Merge ltl-cleanup@247 Merge ltl-cleanup@247	Simon Virenfeldt	3 years ago
246		Merge binary-encoder@247 Merge binary-encoder@247	Simon Virenfeldt	3 years ago
245		More better printing More better printing	Nikolaj Jensen Ulrik	3 years ago
244		Better print of LTL algorithm Better print of LTL algorithm	Nikolaj Jensen Ulrik	3 years ago
243		Merge lp:~tapaal-ltl/verifypn/random-ndfs@242 Merge lp:~tapaal-ltl/verifypn/random-ndfs@242	Simon Virenfeldt	3 years ago
242		Merge ltl-xml-write@241 Merge ltl-xml-write@241	Simon Virenfeldt	3 years ago
241		Added a none option to ltl to perform a dry run Added a none option to ltl to perform a dry run	Simon Virenfeldt	3 years ago

• Older »

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