summaryrefslogtreecommitdiff
path: root/clang/include
AgeCommit message (Expand)Author
2012-11-01A 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-15Fix 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-04Lets 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-24Add the clang library to the repo (with some of my changes, too).Zancanaro; Carlo