Age | Commit message (Expand) | Author |
2012-05-29 | Range stuff better, RecursiveFixpoint broken. | Carlo Zancanaro |
2012-05-29 | First attempt a range parser - likely not correct. | Carlo Zancanaro |
2012-05-28 | Fix issues with some things ignoring strategies. | Carlo Zancanaro |
2012-05-28 | Merge branch 'master' of ssh://bitbucket.org/czan/honours•••Conflicts:
impl/IdSet.hpp
impl/main.cpp
impl/systems/long-fixpoint
| Carlo Zancanaro |
2012-05-28 | Fix memory error and x = max(-inf, expr) stuff. | Carlo Zancanaro |
2012-05-25 | Try to make some more modular Fixpoint algorithms. | Carlo Zancanaro |