2014-07-23 |
Vivien Maisonneuve | Remove backup files |
commit | commitdiff | tree | snapshot |
2014-07-22 |
Danielle Bolan | Changes that need to be merged |
commit | commitdiff | tree | snapshot |
2014-07-18 |
Danielle Bolan | Added some docs |
commit | commitdiff | tree | snapshot |
2014-07-17 |
Vivien Maisonneuve | Implement standard widening |
commit | commitdiff | tree | snapshot |
2014-07-17 |
Vivien Maisonneuve | Improved example menger.py |
commit | commitdiff | tree | snapshot |
2014-07-17 |
Vivien Maisonneuve | Minor changes in plot functions |
commit | commitdiff | tree | snapshot |
2014-07-17 |
Vivien Maisonneuve | Add EmptyType and UniverseType |
commit | commitdiff | tree | snapshot |
2014-07-17 |
Danielle Bolan | Plot domain added |
commit | commitdiff | tree | snapshot |
2014-07-16 |
Vivien Maisonneuve | Use displaystyle in _repr_latex_ |
commit | commitdiff | tree | snapshot |
2014-07-16 |
Vivien Maisonneuve | Minor improvements in diamonds.py example |
commit | commitdiff | tree | snapshot |
2014-07-16 |
Vivien Maisonneuve | Always set xlim, ylim, zlim in plot functions |
commit | commitdiff | tree | snapshot |
2014-07-16 |
Vivien Maisonneuve | Improved example diamonds.py |
commit | commitdiff | tree | snapshot |
2014-07-15 |
Vivien Maisonneuve | More fun with plots |
commit | commitdiff | tree | snapshot |
2014-07-15 |
Vivien Maisonneuve | New example: Menger sponge, to be plotted |
commit | commitdiff | tree | snapshot |
2014-07-15 |
Vivien Maisonneuve | Small implementation improvement in linexprs.py |
commit | commitdiff | tree | snapshot |
2014-07-15 |
Danielle Bolan | 3d Plot working |
commit | commitdiff | tree | snapshot |
2014-07-13 |
Vivien Maisonneuve | Simplify Expression.__mul__(), Expression.__truediv__() |
commit | commitdiff | tree | snapshot |
2014-07-13 |
Vivien Maisonneuve | Add tesseract example |
commit | commitdiff | tree | snapshot |
2014-07-13 |
Vivien Maisonneuve | Add _repr_latex_ methods for IPython prettyprint |
commit | commitdiff | tree | snapshot |
2014-07-13 |
Vivien Maisonneuve | Improve error messages in linexprs.py |
commit | commitdiff | tree | snapshot |
2014-07-13 |
Vivien Maisonneuve | Cleaner implementation of Rational |
commit | commitdiff | tree | snapshot |
2014-07-12 |
Vivien Maisonneuve | Symplify TypeError messages in Expression.__new__ |
commit | commitdiff | tree | snapshot |
2014-07-12 |
Vivien Maisonneuve | Fix methods Domain._sort_polygon_2d(), Domain._sort_pol... |
commit | commitdiff | tree | snapshot |
2014-07-12 |
Vivien Maisonneuve | Implement method Polyhedron.faces() |
commit | commitdiff | tree | snapshot |
2014-07-12 |
Vivien Maisonneuve | Implement methods Point.__hash__(), Vector.__hash__() |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Rename coordinates.py into geometry.py |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Remove empty lines at top of files |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Clean up an import in domains.py |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Add abstract class GeometricObject |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Remove Vector.__slots__, useless |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Make Coordinate instantiable |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Make coordinates mandatory in Point constructor |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Implement method Point.aspolyhedron() |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Implement methods Polyhedron.__contains__(), Domain... |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Improve mapping recognition |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Remove duplicate methods in coordinates.py, continued |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Remove duplicate methods in coordinates.py |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Private methods to sort points in a polygon, untested |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | Derive Point and Vector from Coordinates abstract class |
commit | commitdiff | tree | snapshot |
2014-07-11 |
Vivien Maisonneuve | New module coordinates.py |
commit | commitdiff | tree | snapshot |
2014-07-09 |
Vivien Maisonneuve | Fix Polyhedron.vertices() for ISL 0.13 |
commit | commitdiff | tree | snapshot |
2014-07-08 |
Danielle Bolan | Add plot method |
commit | commitdiff | tree | snapshot |
2014-07-08 |
Danielle Bolan | fixed vertices pushed before adding plot |
commit | commitdiff | tree | snapshot |
2014-07-07 |
Danielle Bolan | Getting vertices when version < 0.13 |
commit | commitdiff | tree | snapshot |
2014-07-06 |
Vivien Maisonneuve | Add methods Domain.subs(), Polyhedron.subs() |
commit | commitdiff | tree | snapshot |
2014-07-05 |
Vivien Maisonneuve | Hacky way to get vertices with ISL 0.13 |
commit | commitdiff | tree | snapshot |
2014-07-05 |
Vivien Maisonneuve | Raise ValueError when sampling an empty Domain |
commit | commitdiff | tree | snapshot |
2014-07-05 |
Vivien Maisonneuve | Make Domain.sample() consistent with Domain.points() |
commit | commitdiff | tree | snapshot |
2014-07-05 |
Vivien Maisonneuve | Minor improvements in testing of new expressions |
commit | commitdiff | tree | snapshot |
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 |
next |