honours/impl/antlr, branch master My honours project from 2012. http://onix.zancanaro.id.au/Archive/honours/atom?h=master 2012-07-10T03:01:48Z Move antlr. Add `make test` to Makefile. 2012-07-10T03:01:48Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-07-10T03:01:48Z urn:sha1:f9fc35785b53aa097a09ab1b865d33497ee1802e Parameterise fixpoint and strategy improvement 2012-06-15T05:48:16Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-06-15T05:48:16Z urn:sha1:a61d8b829afab13593e254fc69e260b6346939dc (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 Try to make some more modular Fixpoint algorithms. 2012-05-25T03:24:37Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-05-25T03:24:37Z urn:sha1:61f90f14af8796bbed074538882e76f1e1bf3333 Fix a segfault and a stupid parser decision. 2012-05-16T15:58:42Z Carlo Zancanaro carlo@carlo-laptop 2012-05-16T15:58:42Z urn:sha1:12b86dc91316a5591c22160a9312e62c77a65b2f Add a parser for linear equations 2012-05-03T05:35:39Z Carlo Zancanaro carlo@carlo-laptop 2012-05-03T05:35:39Z urn:sha1:fcecd0e7dc0bf103986c02e2f29fb518cd5571c5 (Also add the antlr jar and C runtime)