~tapaal-dist-ctl/verifypn/parallel-lockfree

From Revision 284 to 265

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
284		Disabled multi invokation of Upperbounds queries Disabled multi invokation of Upperbounds queries	Søren Moss Nielsen	8 years ago
283		Removed misleading CANNOT_COMPUTE statement Removed misleading CANNOT_COMPUTE statement	Søren Moss Nielsen	8 years ago
282		Updated script to disable overapproximation on UpperBound qu... Updated script to disable overapproximation on UpperBound queries	Søren Moss Nielsen	8 years ago
281		Added invokation scripts for the MCC16 VM Added invokation scripts for the MCC16 VM	Søren Moss Nielsen	8 years ago
280		Back to old hash Back to old hash	Samuel Pastva	8 years ago
279		Get rid of the extra output Get rid of the extra output	Samuel Pastva	8 years ago
278		Faster negation picking Faster negation picking	Samuel Pastva	8 years ago
277		Pick ordering and hash Pick ordering and hash	Samuel Pastva	8 years ago
276		remove assert remove assert	Samuel Pastva	8 years ago
275		Less asserts Less asserts	Samuel Pastva	8 years ago
274		Fix request/halt problems Fix request/halt problems	Samuel Pastva	8 years ago
273		No halting No halting	Samuel Pastva	8 years ago
272		remove printing remove printing	Samuel Pastva	8 years ago
271		fix termination and priority queue fix termination and priority queue	Samuel Pastva	8 years ago
270		Updates on priority queue Updates on priority queue	Samuel Pastva	8 years ago
269		weaken assert weaken assert	Samuel Pastva	8 years ago
268		Faster priority queue Faster priority queue	Samuel Pastva	8 years ago
267		Few more optimisations Few more optimisations	Samuel Pastva	8 years ago
266		Merge trunk optimisations Merge trunk optimisations	Samuel Pastva	8 years ago
265		remove test framework remove test framework	Samuel Pastva	8 years ago

• Older »

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