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
Renamed project and added bin/ to svn:ignore
added bin to ignore
added a layout chooser to the gui
- Stype change in gui. (labels now inside state-bubbles)
- Tried to rewind unneccessary operations in refinePartitionsSmart, but this naive approach does not work
added the simple two phase commit trace generator
added reverse traceroute traces and parse script
benchmarking code
reverseTraceroute traces
code for reverse traceroute
added code for edge labels
more benchmarks
Extracted with FAIL
Reextracted traces
benchmarking code
more benchmarks