projects / linpy.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Cleaner implementation of Rational
[linpy.git] / examples / nsad2010.py
2014-07-04 Vivien MaisonneuveRename Domain.project_out() into Domain.project() blob | commitdiff | raw
2014-07-03 Vivien MaisonneuveBetter implementation of NSAD'10 example blob | commitdiff | raw | diff to current
2014-07-03 Vivien MaisonneuveSupport for dummy symbols blob | commitdiff | raw | diff to current
2014-07-02 Vivien MaisonneuveFix examples blob | commitdiff | raw | diff to current
2014-07-02 Vivien MaisonneuveNew example: basic implementation of ACI'10 blob | commitdiff | raw | diff to current
A polyhedral library based on ISL