2014-07-04 |
Vivien Maisonneuve | Rename Domain.polyhedral_hull() into Domain.aspolyhedron() |
commit | commitdiff | tree | snapshot |
2014-07-04 |
Vivien Maisonneuve | Rename Domain.project_out() into Domain.project() |
commit | commitdiff | tree | snapshot |
2014-07-04 |
Vivien Maisonneuve | Minor refactoring of Domain.points() |
commit | commitdiff | tree | snapshot |
2014-07-04 |
Vivien Maisonneuve | Reintroduce isl_basic_set_finalize to fix test cases |
commit | commitdiff | tree | snapshot |
2014-07-04 |
Danielle Bolan | Add vertices and points, messy! |
commit | commitdiff | tree | snapshot |
2014-07-04 |
Vivien Maisonneuve | Add helper function islhelper.isl_vertices_vertices() |
commit | commitdiff | tree | snapshot |
2014-07-04 |
Vivien Maisonneuve | Simplify C code |
commit | commitdiff | tree | snapshot |
2014-07-04 |
Vivien Maisonneuve | Move isl_basic_set_finalize from C code to Python |
commit | commitdiff | tree | snapshot |
2014-07-04 |
Vivien Maisonneuve | Add helper function islhelper.isl_set_points() |
commit | commitdiff | tree | snapshot |
2014-07-03 |
Vivien Maisonneuve | Better implementation of Expression.__repr__ |
commit | commitdiff | tree | snapshot |
2014-07-03 |
Vivien Maisonneuve | Improve tests involving iterators |
commit | commitdiff | tree | snapshot |
2014-07-03 |
Vivien Maisonneuve | Swap order of symbols and Dummy |
commit | commitdiff | tree | snapshot |
2014-07-03 |
Danielle Bolan | Add methods may be useful for larger polys, change... |
commit | commitdiff | tree | snapshot |
2014-07-03 |
Vivien Maisonneuve | Better implementation of NSAD'10 example |
commit | commitdiff | tree | snapshot |
2014-07-03 |
Vivien Maisonneuve | Support for dummy symbols |
commit | commitdiff | tree | snapshot |
2014-07-03 |
Danielle Bolan | Add a few tests with universe and empty |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | Fix examples |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | Implementation of Symbol.sortkey() |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | Implementation of Domain.fromsympy(), tosympy() |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | Rename Constant into Rational |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | Cleaner and faster linear expressions |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Danielle Bolan | Drop_dims working for any order! |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Danielle Bolan | Update drop_dims, now works with more than 2 dims passed |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Danielle Bolan | Add to drop_dims check next value, a little sloppy |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | New example: basic implementation of ACI'10 |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | Make symbolnames return a tuple |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | Helper module for sympy in unitary tests |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | Fix tests for Expression.subs |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | New method Expression.subs |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | Helper functions symbolname and symbolnames |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | Better implementation of symbols and constants |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | Improve hash functions in linexprs |
commit | commitdiff | tree | snapshot |
2014-07-02 |
Vivien Maisonneuve | Add missing classmethod decorator |
commit | commitdiff | tree | snapshot |
2014-07-01 |
Vivien Maisonneuve | Overloading for Domains.project_out(), to be improved |
commit | commitdiff | tree | snapshot |
2014-07-01 |
Vivien Maisonneuve | Alternative implementation of projection |
commit | commitdiff | tree | snapshot |
2014-07-01 |
Vivien Maisonneuve | Let's test complement, not compliment |
commit | commitdiff | tree | snapshot |
2014-07-01 |
Vivien Maisonneuve | Fix make test |
commit | commitdiff | tree | snapshot |
2014-07-01 |
Vivien Maisonneuve | Add diamond example |
commit | commitdiff | tree | snapshot |
2014-07-01 |
Danielle Bolan | Add basic tests for drop_dims |
commit | commitdiff | tree | snapshot |
2014-07-01 |
Danielle Bolan | Remove print statement |
commit | commitdiff | tree | snapshot |
2014-07-01 |
Danielle Bolan | Project_out working |
commit | commitdiff | tree | snapshot |
2014-07-01 |
Danielle Bolan | Commit working basic drop constraints |
commit | commitdiff | tree | snapshot |
2014-06-30 |
Vivien Maisonneuve | Remove explicit calls to magic methods in test files |
commit | commitdiff | tree | snapshot |
2014-06-30 |
Vivien Maisonneuve | Make test work |
commit | commitdiff | tree | snapshot |
2014-06-30 |
Vivien Maisonneuve | Fix C code |
commit | commitdiff | tree | snapshot |
2014-06-30 |
Danielle Bolan | pushing recent changes before playing with project |
commit | commitdiff | tree | snapshot |
2014-06-30 |
Vivien Maisonneuve | Use OrderedDict to store Expression coefficients |
commit | commitdiff | tree | snapshot |
2014-06-27 |
Danielle Bolan | added unbounded test, deleted unused cvariable |
commit | commitdiff | tree | snapshot |
2014-06-27 |
Danielle Bolan | added a few tests, might change the format though |
commit | commitdiff | tree | snapshot |
2014-06-26 |
Vivien Maisonneuve | Access to ISL version, just in case |
commit | commitdiff | tree | snapshot |
2014-06-26 |
Vivien Maisonneuve | Minor improvements to Polyhedra._fromislbasicset()... |
commit | commitdiff | tree | snapshot |
2014-06-26 |
Vivien Maisonneuve | Improve Expression.fromstring(), Domain.fromstring() |
commit | commitdiff | tree | snapshot |
2014-06-26 |
Vivien Maisonneuve | Replace Polyhedron.fromstring() by Domain.fromstring() |
commit | commitdiff | tree | snapshot |
2014-06-26 |
Vivien Maisonneuve | Add method Domain.isbounded() |
commit | commitdiff | tree | snapshot |
2014-06-25 |
Vivien Maisonneuve | I prefer Rochefort to Le Bardo ;) |
commit | commitdiff | tree | snapshot |
2014-06-25 |
Vivien Maisonneuve | Documentation directory |
commit | commitdiff | tree | snapshot |
2014-06-25 |
Vivien Maisonneuve | Remove useless definitions in Makefile |
commit | commitdiff | tree | snapshot |
2014-06-25 |
Vivien Maisonneuve | Improve make clean |
commit | commitdiff | tree | snapshot |
2014-06-25 |
Vivien Maisonneuve | README on how to run examples |
commit | commitdiff | tree | snapshot |
2014-06-25 |
Vivien Maisonneuve | New example from French Baccalauréat 2014 (courtesy... |
commit | commitdiff | tree | snapshot |
2014-06-25 |
Vivien Maisonneuve | Create example directory |
commit | commitdiff | tree | snapshot |
2014-06-25 |
Vivien Maisonneuve | Add demonstration file |
commit | commitdiff | tree | snapshot |
2014-06-25 |
Vivien Maisonneuve | Split linear.py and add domains |
commit | commitdiff | tree | snapshot |
2014-06-25 |
Danielle Bolan | messy and needs reformatting but returning correct... |
commit | commitdiff | tree | snapshot |
2014-06-24 |
Vivien Maisonneuve | Rename decorator _with_sympy into _requires_sympy |
commit | commitdiff | tree | snapshot |
2014-06-24 |
Vivien Maisonneuve | Change string representations of Expression and Polyhedron |
commit | commitdiff | tree | snapshot |
2014-06-24 |
Vivien Maisonneuve | Unitary tests for Polyhedron, very incomplete |
commit | commitdiff | tree | snapshot |
2014-06-24 |
Vivien Maisonneuve | Methods Polyhedron.fromsympy(), Polyhedron.tosympy() |
commit | commitdiff | tree | snapshot |
2014-06-24 |
Vivien Maisonneuve | Check for SymPy presence in unittary tests |
commit | commitdiff | tree | snapshot |
2014-06-24 |
Vivien Maisonneuve | Methods Expression.fromsympy(), Expression.tosympy() |
commit | commitdiff | tree | snapshot |
2014-06-24 |
Vivien Maisonneuve | Renaming in _isl.c |
commit | commitdiff | tree | snapshot |
2014-06-24 |
Vivien Maisonneuve | Static functions in isl.c |
commit | commitdiff | tree | snapshot |
2014-06-23 |
Vivien Maisonneuve | Verbose output for make test |
commit | commitdiff | tree | snapshot |
2014-06-23 |
Vivien Maisonneuve | Oops, fix relative imports |
commit | commitdiff | tree | snapshot |
2014-06-23 |
Vivien Maisonneuve | Use PyList_SET_ITEM for list initialization in _isl.c |
commit | commitdiff | tree | snapshot |
2014-06-23 |
Vivien Maisonneuve | Exception handling in _isl.c |
commit | commitdiff | tree | snapshot |
2014-06-23 |
Vivien Maisonneuve | Remove useless header in _isl.c |
commit | commitdiff | tree | snapshot |
2014-06-23 |
Vivien Maisonneuve | Include Python.h headers first in _isl.c |
commit | commitdiff | tree | snapshot |
2014-06-20 |
Vivien Maisonneuve | Updated Makefile |
commit | commitdiff | tree | snapshot |
2014-06-20 |
Vivien Maisonneuve | Implement isl_basic_set_constraints |
commit | commitdiff | tree | snapshot |
2014-06-20 |
Vivien Maisonneuve | Improve representation of Constants |
commit | commitdiff | tree | snapshot |
2014-06-20 |
Vivien Maisonneuve | Improve Polyhedron.fromstring |
commit | commitdiff | tree | snapshot |
2014-06-20 |
Vivien Maisonneuve | Fix Symbol.__slots__ |
commit | commitdiff | tree | snapshot |
2014-06-20 |
Vivien Maisonneuve | Add __slots__ declarations |
commit | commitdiff | tree | snapshot |
2014-06-19 |
Vivien Maisonneuve | Implement Polyhedron.fromstring |
commit | commitdiff | tree | snapshot |
2014-06-19 |
Vivien Maisonneuve | Implement Expression.fromstring |
commit | commitdiff | tree | snapshot |
2014-06-19 |
Vivien Maisonneuve | Coding style in _toisl() |
commit | commitdiff | tree | snapshot |
2014-06-19 |
Vivien Maisonneuve | Expression.symbol moved to Symbol.name |
commit | commitdiff | tree | snapshot |
2014-06-19 |
Vivien Maisonneuve | Constant names Empty and Universe, pretty printing |
commit | commitdiff | tree | snapshot |
2014-06-19 |
Vivien Maisonneuve | Remove useless imports |
commit | commitdiff | tree | snapshot |
2014-06-19 |
Danielle Bolan | values used for toisl(some expressions not correct) |
commit | commitdiff | tree | snapshot |
2014-06-19 |
Vivien Maisonneuve | Working test suite |
commit | commitdiff | tree | snapshot |
2014-06-19 |
Vivien Maisonneuve | Fix symbols() function |
commit | commitdiff | tree | snapshot |
2014-06-19 |
Vivien Maisonneuve | Fix Expression.__bool__ |
commit | commitdiff | tree | snapshot |
2014-06-19 |
Vivien Maisonneuve | Fix Expression.__hash__ |
commit | commitdiff | tree | snapshot |
2014-06-19 |
Vivien Maisonneuve | Fix Symbol creation |
commit | commitdiff | tree | snapshot |
2014-06-18 |
Vivien Maisonneuve | Classes Symbol and Constant, rather than functions... |
commit | commitdiff | tree | snapshot |
2014-06-18 |
Vivien Maisonneuve | Fix Polyhedron.isempty() |
commit | commitdiff | tree | snapshot |
2014-06-18 |
Vivien Maisonneuve | Remove misplaced methods |
commit | commitdiff | tree | snapshot |
2014-06-18 |
Vivien Maisonneuve | Rename Expression._canonify() into _toint() |
commit | commitdiff | tree | snapshot |
next |