Age | Commit message (Expand) | Author |
---|---|---|
2012-11-27 | Use stdin to read the Template Constraint Matrix. Better for testing. | Zancanaro; Carlo |
2012-11-27 | Updated solver stuff. This really should have already been in here... | Zancanaro; Carlo |
2012-11-21 | Implementation stuff. | Zancanaro; Carlo |
2012-11-08 | A few fixes to the MCF solver, and equation stuff | Zancanaro; Carlo |
2012-11-01 | Fixing up some equation system stuff. | Zancanaro; Carlo |
2012-11-01 | A bunch of fixes to the solver, and moving it in to clang. | Zancanaro; Carlo |
2012-10-15 | Fix up the Equation System generation. Now there's a bug in the solver. | Zancanaro; Carlo |
2012-10-04 | Lets keep trying with this here equation system. | Zancanaro; Carlo |
2012-09-24 | Fix up some of the interval solving stuff. | Zancanaro; Carlo |
2012-09-24 | Add the clang library to the repo (with some of my changes, too). | Zancanaro; Carlo |