2014-06-25 | Vivien Maisonneuve | Split linear.py and add domains | blob | commitdiff | raw |
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 |