summaryrefslogtreecommitdiffstats
Commit message (Expand)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
* Achieve nothing.Alex AUVOLAT2014-05-0711-15/+825
* Fist commit (WIP)Alex AUVOLAT2014-04-30328-0/+6753