projects / linpy.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Implement standard widening
[linpy.git] / pypol / __init__.py
2014-07-11 Vivien MaisonneuveRename coordinates.py into geometry.py blob | commitdiff | raw
2014-07-11 Vivien MaisonneuveNew module coordinates.py blob | commitdiff | raw | diff to current
2014-07-03 Vivien MaisonneuveSwap order of symbols and Dummy blob | commitdiff | raw | diff to current
2014-07-03 Vivien MaisonneuveSupport for dummy symbols blob | commitdiff | raw | diff to current
2014-07-02 Vivien MaisonneuveRename Constant into Rational blob | commitdiff | raw | diff to current
2014-06-25 Vivien MaisonneuveSplit linear.py and add domains blob | commitdiff | raw | diff to current
2014-06-20 Vivien MaisonneuveImplement isl_basic_set_constraints blob | commitdiff | raw | diff to current
2014-06-19 Vivien MaisonneuveConstant names Empty and Universe, pretty printing blob | commitdiff | raw | diff to current
2014-06-19 Vivien MaisonneuveRemove useless imports blob | commitdiff | raw | diff to current
2014-06-18 Vivien MaisonneuveClasses Symbol and Constant, rather than functions... blob | commitdiff | raw | diff to current
2014-05-22 Vivien MaisonneuveInitial commit blob | commitdiff | raw | diff to current
A polyhedral library based on ISL