summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterFix assertions ; fix environment equality test ; fix varialbe removal.Alex AUVOLAT5 years
 
 
AgeCommit messageAuthorFilesLines
2014-06-01Fix assertions ; fix environment equality test ; fix varialbe removal.HEADmasterAlex AUVOLAT5-19/+38
2014-06-01Assert j != 0 in bound_div i jAlex AUVOLAT1-7/+2
2014-06-01Implémentation des intervalles ; début rédaction du rapport.Alex AUVOLAT4-4/+378
2014-05-28Add boolean constants.Alex AUVOLAT1-0/+5
2014-05-28RETAB, CLEANUPAlex AUVOLAT5-188/+15
2014-05-21Just retab (many lines changed for nothing)Alex AUVOLAT7-468/+469
2014-05-21All tests pass except one !Alex AUVOLAT6-58/+165
2014-05-18Begin work on interface with ApronAlex AUVOLAT6-6/+52
2014-05-14Many things work!Alex AUVOLAT8-53/+331
2014-05-07implement assert, printAlex AUVOLAT5-7/+61
[...]
 
Clone
http://adnab.me/cgit/SemVerif-Projet.git
git://adnab.me/SemVerif-Projet.git