summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Fix assertions ; fix environment equality test ; fix varialbe removal.HEADmasterAlex AUVOLAT2014-06-015-19/+38
|
* Assert j != 0 in bound_div i jAlex AUVOLAT2014-06-011-7/+2
|
* Implémentation des intervalles ; début rédaction du rapport.Alex AUVOLAT2014-06-014-4/+378
|
* Add boolean constants.Alex AUVOLAT2014-05-281-0/+5
|
* RETAB, CLEANUPAlex AUVOLAT2014-05-285-188/+15
|
* Just retab (many lines changed for nothing)Alex AUVOLAT2014-05-217-468/+469
|
* All tests pass except one !Alex AUVOLAT2014-05-216-58/+165
|
* Begin work on interface with ApronAlex AUVOLAT2014-05-186-6/+52
|
* Many things work!Alex AUVOLAT2014-05-148-53/+331
|
* implement assert, printAlex AUVOLAT2014-05-075-7/+61
|
* Restart anew ; done nonrelational stuff, interpret remains, intervals domain ↵Alex AUVOLAT2014-05-0710-161/+434
| | | | remains
* Achieve nothing.Alex AUVOLAT2014-05-0711-15/+825
|
* Fist commit (WIP)Alex AUVOLAT2014-04-30328-0/+6753