projects / linpy.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
New example: basic implementation of ACI'10
[linpy.git] / pypol / domains.py
2014-07-02 Vivien MaisonneuveHelper functions symbolname and symbolnames blob | commitdiff | raw
2014-07-02 Vivien MaisonneuveAdd missing classmethod decorator blob | commitdiff | raw | diff to current
2014-07-01 Vivien MaisonneuveOverloading for Domains.project_out(), to be improved blob | commitdiff | raw | diff to current
2014-07-01 Vivien MaisonneuveAlternative implementation of projection blob | commitdiff | raw | diff to current
2014-07-01 Danielle BolanRemove print statement blob | commitdiff | raw | diff to current
2014-07-01 Danielle BolanProject_out working blob | commitdiff | raw | diff to current
2014-07-01 Danielle BolanCommit working basic drop constraints blob | commitdiff | raw | diff to current
2014-06-26 Vivien MaisonneuveImprove Expression.fromstring(), Domain.fromstring() blob | commitdiff | raw | diff to current
2014-06-26 Vivien MaisonneuveReplace Polyhedron.fromstring() by Domain.fromstring() blob | commitdiff | raw | diff to current
2014-06-26 Vivien MaisonneuveAdd method Domain.isbounded() blob | commitdiff | raw | diff to current
2014-06-25 Vivien MaisonneuveSplit linear.py and add domains blob | commitdiff | raw | diff to current
A polyhedral library based on ISL