summaryrefslogtreecommitdiff
path: root/impl/systems/test.eqns
AgeCommit message (Collapse)Author
2012-10-22Okay, the solver is now correct.Carlo Zancanaro
It runs in two separate passes: - improve strategy (for all) - evaluate fixpoint Unfortunately this loses out on locality at the moment. I really want a local solver, so I'll have to see what I can do about that.
2012-10-16A quick fix to the solver.Carlo Zancanaro
2012-10-15Some bug fixes for the solver.Carlo Zancanaro
Still doesn't work in clang, though.
2012-09-20Remove exceptions and C++11 features for LLVM.Carlo Zancanaro