~tapaal-dist/verifypn/parser

From Revision 43 to 24

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
43		reductions on adjacency list reductions on adjacency list	Jakob Dyhr	9 years ago
42		Fixed error in codegen Fixed error in codegen	Søren Moss Nielsen	9 years ago
41		Deleted Approximation and Structures dir and content Deleted Approximation and Structures dir and content	Mads Johannsen	9 years ago
40		Merge + Fixed some bugs Merge + Fixed some bugs	Mads Johannsen	9 years ago
39		Fixed some bugs Fixed some bugs	Mads Johannsen	9 years ago
38		Merge Merge	Jakob Dyhr	9 years ago
37		Added basic option flags, started on reductions Added basic option flags, started on reductions	Jakob Dyhr	9 years ago
36		testing disjunc and fireability testing disjunc and fireability	Jakob Dyhr	9 years ago
35		Merge Merge	Jakob Dyhr	9 years ago
34		osx stuff osx stuff	Jakob Dyhr	9 years ago
33		merge merge	Søren Moss Nielsen	9 years ago
32		merge merge	Søren Moss Nielsen	9 years ago
31		run.linux typo fixet run.linux typo fixet	Isabella Kaufmann	9 years ago
30		merge merge	Isabella Kaufmann	9 years ago
29		tilfoejet stoerre modeller tilfoejet stoerre modeller	Isabella Kaufmann	9 years ago
28		build stuff build stuff	Isabella Kaufmann	9 years ago
27		merge merge	Jakob Dyhr	9 years ago
26		added simple query added simple query	Jakob Dyhr	9 years ago
25		Merge Merge	Jakob Dyhr	9 years ago
24		fix addOutputArc, added simple petrinet fix addOutputArc, added simple petrinet	Jakob Dyhr	9 years ago

• Older »

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