Viewing all changes in revision 313.
- Committer: Jiri Srba
- Date: 2014-08-14 07:26:39 UTC
- mfrom: (302.6.13 TimeDartTraceBug)
- Revision ID: srba@cs.aau.dk-20140814072639-4s4b4s19m4j8bb7d
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.
- files added:
- makefile.linux32
- files modified:
- README
expand all
collapse all
added
removed
