summaryrefslogtreecommitdiff
path: root/impl/systems/example.eqns
AgeCommit message (Expand)Author
2012-10-30Merge branch 'master' of ssh://bitbucket.org/czan/honours...Carlo Zancanaro
2012-07-05Intermediate (broken) commit - smarter strategyCarlo Zancanaro
2012-06-15Merge commit 'a61d'...Carlo Zancanaro
2012-06-15Parameterise fixpoint and strategy improvement...Carlo Zancanaro