honours/impl/systems/long-fixpoint, branch master My honours project from 2012. http://onix.zancanaro.id.au/Archive/honours/atom?h=master 2012-06-15T05:48:16Z Parameterise fixpoint and strategy improvement 2012-06-15T05:48:16Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-06-15T05:48:16Z urn:sha1:a61d8b829afab13593e254fc69e260b6346939dc (command-line arguments specify which to use) Also: - Fix up Complete<T> to work comparing `inf` to 1 (stupid bug) - Clean up the systems/ folder a bit - Change the printed output to differentiate variables and constants (!v/!c, respectively) - Perform a slight optimisation to the strategy-iteration process Fix issues with some things ignoring strategies. 2012-05-28T11:50:12Z Carlo Zancanaro carlo@carlo-laptop 2012-05-28T11:50:12Z urn:sha1:f09ce60d45d5524e36d07e76814b6e0cbc554288 Merge branch 'master' of ssh://bitbucket.org/czan/honours 2012-05-28T06:12:34Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-05-28T06:12:34Z urn:sha1:72b70a4ff7dad8185eb2dd652bdd2983b829930a Conflicts: impl/IdSet.hpp impl/main.cpp impl/systems/long-fixpoint Fix memory error and x = max(-inf, expr) stuff. 2012-05-28T03:00:50Z Carlo Zancanaro carlo@carlo-laptop 2012-05-28T03:00:50Z urn:sha1:ea05c9c5fa30b8822f618e861d12a09df1f8f017 Try to make some more modular Fixpoint algorithms. 2012-05-25T03:24:37Z Carlo Zancanaro carlo@pc-4w14-0.cs.usyd.edu.au 2012-05-25T03:24:37Z urn:sha1:61f90f14af8796bbed074538882e76f1e1bf3333