binary classes should not be versioned
binary classes should not be versioned
Initial graphical definition.
Initial tooling definition.
Initial mapping definition.
New folder for the runtime engine project.
clean slate for the new synoptic project
Import of r441 from the old synoptic svn repository
SCC extraction
Algorithm for SCC computation
large set of peterson traces