honours/clang/lib/StaticAnalyzer/Core, branch master My honours project from 2012. http://onix.zancanaro.id.au/Archive/honours/atom?h=master 2012-10-15T06:08:15Z Fix up the Equation System generation. Now there's a bug in the solver. 2012-10-15T06:08:15Z Zancanaro; Carlo czan8762@plang3.cs.usyd.edu.au 2012-10-15T06:08:15Z urn:sha1:f1bd2e48c5324d3f7cda4090c87f8a5b6f463ce2 The solver seems to work fine when run as a tool by itself, but not in the clang stuff. Very annoying. Lets keep trying with this here equation system. 2012-10-04T07:11:33Z Zancanaro; Carlo czan8762@plang3.cs.usyd.edu.au 2012-10-04T07:11:33Z urn:sha1:684045e9e843ed9b8be30728482ce3d69d63b527 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. Add the clang library to the repo (with some of my changes, too). 2012-09-23T23:58:17Z Zancanaro; Carlo czan8762@plang3.cs.usyd.edu.au 2012-09-23T23:58:17Z urn:sha1:222e2a7620e6520ffaf4fc4e69d79c18da31542e