~yrke/verifypn/stubborn-set-refactor-merged-buildwin

• Changes
• Files

~yrke/verifypn/stubborn-set-refactor-merged-buildwin » Changes from revision 249

From Revision 249 to 230

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
249		Updated SPOT to 2.9.6 Updated SPOT to 2.9.6	Kenneth Yrke Jørgens...	3 years ago
248		Reverted lib updatewq Reverted lib updatewq	Kenneth Yrke Jørgens...	3 years ago
247		Parsed tool-chain down to dependency Parsed tool-chain down to dependency	Kenneth Yrke Jørgens...	3 years ago
246		Write ID instead of formula string to Büchi automaton Write ID instead of formula string to Büchi automaton	Nikolaj Jensen Ulrik	3 years ago
245		Allow pushNegation on ACondition and ECondition Allow pushNegation on ACondition and ECondition	Nikolaj Jensen Ulrik	3 years ago
244		fixing output fixing output	Peter G. Jensen	3 years ago
243		fixed infinite recursion fixed infinite recursion	Peter G. Jensen	3 years ago
242		allowing overapprox for LTL allowing overapprox for LTL	Peter G. Jensen	3 years ago
241		Fix interesting transitions of temporal quantifiers Fix interesting transitions of temporal quantifiers	Nikolaj Jensen Ulrik	3 years ago
240		Disable reduction rule K as correcness has not been ensured. Disable reduction rule K as correcness has not been ensured.	Simon Virenfeldt	3 years ago
239		copy of pointer instead of data, needs fixing in future to b... copy of pointer instead of data, needs fixing in future to be safe	Peter G. Jensen	3 years ago
238		removing debug removing debug	Peter G. Jensen	3 years ago
237		fixing linking fixing linking	Peter G. Jensen	3 years ago
236		better compile options for spot better compile options for spot	Peter G. Jensen	3 years ago
235		fixing the translation to CTL formulae fixing the translation to CTL formulae	Peter G. Jensen	3 years ago
234		simplifying spot/bddx linking simplifying spot/bddx linking	Peter G. Jensen	3 years ago
233		Merged stubborn-refactor and ltl engine Merged stubborn-refactor and ltl engine	Peter G. Jensen	3 years ago
232		Remove commented code, fix one indent Remove commented code, fix one indent	Nikolaj Jensen Ulrik	3 years ago
231		Refactor stubborn set implementation out of ReducingSuccesso... Refactor stubborn set implementation out of ReducingSuccessorGenerator	Nikolaj Jensen Ulrik	3 years ago
230		merged in lp:~tapaal-contributor/verifypn/show-reduced-net a... merged in lp:~tapaal-contributor/verifypn/show-reduced-net allows to call the engine with -s Overapprox and -q 0	Jiri Srba	3 years ago

• Older »

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