~verifydtapn-contributers/verifydtapn/d3.1

From Revision 319 to 300

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
319		merged branch fixing "delay forever" when using timedarts bu... merged branch fixing "delay forever" when using timedarts bug	Jiri Srba	8 years ago
318		changed version number to 3.1.3 changed version number to 3.1.3	Jiri Srba	8 years ago
317		merges a branch that uses long long for the strong soundness... merges a branch that uses long long for the strong soundness constant	Jiri Srba	8 years ago
316		Released version 3.1.2 Released version 3.1.2	Jiri Srba	9 years ago
315		updated makefiles for mac os x updated makefiles for mac os x	Jiri Srba	9 years ago
314		increased version number to 3.1.2 increased version number to 3.1.2	Jiri Srba	9 years ago
313		merged in branch fixing a minor change to the structure of t... merged in branch fixing a minor change to the structure of the trace-generation. This will only affect livenes queries ending in delay forever or deadlocks. Resolved two conflicts.	Jiri Srba	9 years ago
312		Released version 3.1.1 Released version 3.1.1	Jiri Srba	9 years ago
311		merged in branch adding place-bound statistics merged in branch adding place-bound statistics	Jiri Srba	9 years ago
310		merged in branch: Trailing delays removed and if we print de... merged in branch: Trailing delays removed and if we print delay for ever, any previous delay is removed.	Jiri Srba	9 years ago
309		merged in branch fixing deadlock detection for transport arc... merged in branch fixing deadlock detection for transport arcs that have invariant in its target	Jiri Srba	9 years ago
308		increased version number to 3.1.1 increased version number to 3.1.1	Jiri Srba	9 years ago
307		fixes a bug with slow heuristic strategy due to wrong id nam... fixes a bug with slow heuristic strategy due to wrong id names	Jiri Srba	9 years ago
306		Released version 3.1.0 Released version 3.1.0	Jiri Srba	9 years ago
305		Redefinition of class member for temporary storage of parent... Redefinition of class member for temporary storage of parent marking makes the behaviour unspecified. This is fixed.	Jiri Srba	9 years ago
304		merged in with trunk merged in with trunk	Jiri Srba	9 years ago
303		merged in a branch fixing several problems with the engine (...  merged in a branch fixing several problems with the engine (null pointer exection, detection of deadlocks ...)	Jiri Srba	9 years ago
302		merged in branch implementing fastest trace option for reach... merged in branch implementing fastest trace option for reachability	Jiri Srba	9 years ago
301		merged in branch that performs strong soundness check direct... merged in branch that performs strong soundness check directly in the engine	Jiri Srba	9 years ago
300		commiting generated files commiting generated files	Jiri Srba	10 years ago

• Older »

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