summaryrefslogtreecommitdiff
path: root/impl/test
AgeCommit message (Expand)Author
2012-11-01Fixing up some equation system stuff.Zancanaro; Carlo
2012-11-01A bunch of fixes to the solver, and moving it in to clang.Zancanaro; Carlo
2012-10-30Merge branch 'master' of ssh://bitbucket.org/czan/honoursCarlo Zancanaro
2012-10-27Don't show stderr in tests. That's just annoying.Carlo Zancanaro
2012-10-26Add some tests, and stuff.Carlo Zancanaro
2012-10-24Add a fix for mutually-recursive infinite thingsCarlo Zancanaro
2012-10-23Another fix, with a test for what the problem was.Carlo Zancanaro
2012-10-23Make the recursive solver work properly.Carlo Zancanaro
2012-10-22Okay, the solver is now correct.Carlo Zancanaro
2012-08-07A whole bunch of clean up work around the place.Carlo Zancanaro
2012-08-06New variation on the equation system solver.Carlo Zancanaro
2012-07-10Simple test stuff - examples from the paperCarlo Zancanaro