| Age | Commit message (Collapse) | Author |
|---|
|
Also some contribution writing stuff.
Basically: lots of work.
|
|
The solver seems to work fine when run as a tool by itself, but not in the clang stuff. Very annoying.
|
|
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.
|
|
Still missing:
- Guards
- Actual construction of the EquationSystem
- Necessary operators for a Vector EquationSystem
- Splitting blocks on multiple-assignment
- Solving/linking with Checkers
|
|
|
