honours/impl/systems, branch master My honours project from 2012. http://onix.zancanaro.id.au/Archive/honours/atom?h=master 2012-11-27T07:20:06Z Thesis and performance testing related stuff. 2012-11-27T07:20:06Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-11-27T07:20:06Z urn:sha1:839764bd955d2bddedb4a38ab1d4d92c797c56b9 A bunch of fixes to the solver, and moving it in to clang. 2012-11-01T07:06:13Z Zancanaro; Carlo czan8762@plang3.cs.usyd.edu.au 2012-11-01T07:06:13Z urn:sha1:b7eaa99578037789a337c5061c0ea8ee3150b63c Also some contribution writing stuff. Basically: lots of work. Merge branch 'master' of ssh://bitbucket.org/czan/honours 2012-10-30T09:56:38Z Carlo Zancanaro carlo@carlo-laptop 2012-10-30T09:56:38Z urn:sha1:6a4786bde976e9a023c7f65a395384d214c5102c Conflicts: impl/test/run Okay, the solver is now correct. 2012-10-22T03:44:57Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-10-22T03:44:57Z urn:sha1:86ca7448849aaaea6db34b1d2bcf8d99d7d7b12c It runs in two separate passes: - improve strategy (for all) - evaluate fixpoint Unfortunately this loses out on locality at the moment. I really want a local solver, so I'll have to see what I can do about that. A quick fix to the solver. 2012-10-16T02:26:07Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-10-16T02:26:07Z urn:sha1:18a747edd76918e2a1a4fb608b2d3923fcc535fa Some bug fixes for the solver. 2012-10-15T06:11:14Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-10-15T06:11:14Z urn:sha1:697c1c0cd3815eee72b3eedb874fe0e044a69432 Still doesn't work in clang, though. Remove exceptions and C++11 features for LLVM. 2012-09-20T05:19:49Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-09-20T05:19:49Z urn:sha1:bb9a899b7c45b830c6b70e2811130a41ebb31ee5 Delete a lot of tex stuff, better debug info 2012-09-05T00:25:19Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-09-05T00:25:19Z urn:sha1:608cf2e6a2ccc967e82b2b7a9693fd0bafb778fb Some other stuff, too, I think. Oh well. No biggie! Merge complete! Get onto the right branch. 2012-08-07T07:56:43Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-08-07T07:56:43Z urn:sha1:59fb7d23578c4da14f9c14cc413090b1af13328c A whole bunch of clean up work around the place. 2012-08-07T07:01:57Z Carlo Zancanaro carlo@carlo-laptop 2012-08-07T07:01:57Z urn:sha1:c26f38114fedde81effb938ffbedfe922d77a322 - Make it a bit nicer to use the command-line - Remove the strategies we won't be using - Clean up some code around the place, generally