| Age | Commit message (Expand) | Author |
|---|
| 2012-11-01 | Fixing up some equation system stuff.•••Adding function arguments to the system, as well as making it slightly easier
to read.
| Zancanaro; Carlo |
| 2012-11-01 | A bunch of fixes to the solver, and moving it in to clang.•••Also some contribution writing stuff.
Basically: lots of work.
| Zancanaro; Carlo |
| 2012-10-15 | Fix up the Equation System generation. Now there's a bug in the solver.•••The solver seems to work fine when run as a tool by itself, but not in the clang stuff. Very annoying.
| Zancanaro; Carlo |
| 2012-10-04 | Lets keep trying with this here equation system.•••Still not there, but more non-functional code is there.
Splitting blocks into sub-blocks now works, as does some of the guard stuff and
the general "shape" of the resulting equation system.
| Zancanaro; Carlo |
| 2012-09-24 | Fix up some of the interval solving stuff.•••Still missing:
- Guards
- Actual construction of the EquationSystem
- Necessary operators for a Vector EquationSystem
- Splitting blocks on multiple-assignment
- Solving/linking with Checkers
| Zancanaro; Carlo |
| 2012-09-24 | Add the clang library to the repo (with some of my changes, too). | Zancanaro; Carlo |
