2014-07-03 | Vivien Maisonneuve | Swap order of symbols and Dummy | blob | commitdiff | raw |
2014-07-03 | Vivien Maisonneuve | Support for dummy symbols | blob | commitdiff | raw | diff to current |
2014-07-02 | Vivien Maisonneuve | Rename Constant into Rational | blob | commitdiff | raw | diff to current |
2014-06-25 | Vivien Maisonneuve | Split linear.py and add domains | blob | commitdiff | raw | diff to current |
2014-06-20 | Vivien Maisonneuve | Implement isl_basic_set_constraints | blob | commitdiff | raw | diff to current |
2014-06-19 | Vivien Maisonneuve | Constant names Empty and Universe, pretty printing | blob | commitdiff | raw | diff to current |
2014-06-19 | Vivien Maisonneuve | Remove useless imports | blob | commitdiff | raw | diff to current |
2014-06-18 | Vivien Maisonneuve | Classes Symbol and Constant, rather than functions... | blob | commitdiff | raw | diff to current |
2014-05-22 | Vivien Maisonneuve | Initial commit | blob | commitdiff | raw | diff to current |