~peter-gjoel/verifydtapn/PTrieWorkflow : changes

~peter-gjoel/verifydtapn/PTrieWorkflow » Changes to README from revision 364

From Revision 364

Rev	Summary	Authors	Date
324	updated makefiles for OSX for compatibility from MAC OSX 10.... updated makefiles for OSX for compatibility from MAC OSX 10.9 and up; README updated	Jiri Srba	9 years ago
320	updated README file updated README file	Jiri Srba	9 years ago
319	updated README file updated README file	Jiri Srba	9 years ago
258	Elaboration on README Elaboration on README	Mathias Grund Sørens...	11 years ago
235	Version number reset to 1.0.0 Version number reset to 1.0.0	Mathias Grund Sørens...	11 years ago
150	Now it compiles Now it compiles	Jakob Taankvist	12 years ago
112	fixed segmentation fault when asking for trace and initial m... fixed segmentation fault when asking for trace and initial marking satisfies query	Morten Jacobsen	13 years ago
91	updated README to properly reflect setup steps updated README to properly reflect setup steps	Morten Jacobsen	13 years ago
84	Implemented CTU algorithms directly in verifytapn. Trace out... Implemented CTU algorithms directly in verifytapn. Trace output should now be functional without symmetry.	Morten Jacobsen	13 years ago
68	merged with development branch merged with development branch	Morten Jacobsen	13 years ago
67	made a point more clear made a point more clear	Morten Jacobsen	13 years ago
64	added readme file with info on how to setup project etc. added readme file with info on how to setup project etc.	Morten Jacobsen	13 years ago