honours/.gitignore, branch master My honours project from 2012. http://onix.zancanaro.id.au/Archive/honours/atom?h=master 2012-11-09T05:39:12Z A bunch of changes to make it build nicer 2012-11-09T05:39:12Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-11-09T05:39:12Z urn:sha1:9710d8c7a3307fd9477fb426ea1bab7804c6ef37 In particular: - fix up the MCF sovler to get rid of all the warnings/errors - make the build with Wall and Werror and whatnot again 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. 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! Move everything into impl/ and add a Makefile. 2012-04-06T04:02:26Z Carlo Zancanaro carlo@carlo-laptop 2012-04-06T04:02:26Z urn:sha1:5d7252681da3b26845fc4e5dcf0b0e94ed9fabb1 Initial commit. Basic Kleene iteration stuff. 2012-03-30T07:09:10Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-03-30T07:09:10Z urn:sha1:83e2c574bdefe2d040cdfbe20a73380a0f0123dd