honours/impl/test/run, branch master My honours project from 2012. http://onix.zancanaro.id.au/Archive/honours/atom?h=master 2012-11-01T07:06:13Z A bunch of fixes to the solver, and moving it in to clang. 2012-11-01T07:06:13Z Zancanaro; Carlo czan8762@plang3.cs.usyd.edu.au 2012-11-01T07:06:13Z urn:sha1:b7eaa99578037789a337c5061c0ea8ee3150b63c Also some contribution writing stuff. Basically: lots of work. Don't show stderr in tests. That's just annoying. 2012-10-27T02:37:57Z Carlo Zancanaro carlo@carlo-laptop 2012-10-27T02:37:57Z urn:sha1:97a9582ec8928624cd78146ae060aadfd92a9b22 Add a fix for mutually-recursive infinite things 2012-10-23T23:34:15Z Carlo Zancanaro carlo@carlo-laptop 2012-10-23T23:34:15Z urn:sha1:a3860a4cd6ca6a1ee664634ea472b5487535b2b5 So now it will solve correctly for x = y + 1 y = max(0, x + 1) I also added in tests for this (and a slightly different form with `x` going through another variable, `z`, for indirection). The tests will also stop now after five seconds of execution. If they can't be solved in five seconds then they're considered a failure. A whole bunch of clean up work around the place. 2012-08-07T07:01:57Z Carlo Zancanaro carlo@carlo-laptop 2012-08-07T07:01:57Z urn:sha1:c26f38114fedde81effb938ffbedfe922d77a322 - 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 New variation on the equation system solver. 2012-08-06T12:58:29Z Carlo Zancanaro carlo@carlo-laptop 2012-08-06T12:58:29Z urn:sha1:42e729d20000eb141b2907ad83630af34f4afea3 Much simpler to understand. Basically have a variable assignment which is dynamic and updates with the strategy changes. Similarly have strategy changes easily invalidate the variable assignment. This makes them strongly inter-dependent, but simplifies the implementation considerably. Proving it should be easier like this, too. Simple test stuff - examples from the paper 2012-07-10T02:57:37Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-07-10T02:57:37Z urn:sha1:d11acd6d52351b35c102e9c18e32d38a11975c5b