summaryrefslogtreecommitdiff
path: root/impl/test/1.eqns
AgeCommit message (Collapse)Author
2012-11-01A bunch of fixes to the solver, and moving it in to clang.Zancanaro; Carlo
Also some contribution writing stuff. Basically: lots of work.
2012-07-10Simple test stuff - examples from the paperCarlo Zancanaro