| Age | Commit message (Expand) | Author |
|---|
| 2012-08-07 | A whole bunch of clean up work around the place....- Make it a bit nicer to use the command-line
- Remove the strategies we won't be using
- Clean up some code around the place, generally
| Carlo Zancanaro |
| 2012-06-29 | Speed up IdSet a bit. I think. | Carlo Zancanaro |
| 2012-06-15 | Parameterise fixpoint and strategy improvement...(command-line arguments specify which to use)
Also:
- Fix up Complete<T> to work comparing `inf` to 1 (stupid bug)
- Clean up the systems/ folder a bit
- Change the printed output to differentiate variables and constants
(!v/!c, respectively)
- Perform a slight optimisation to the strategy-iteration process
| Carlo Zancanaro |
