| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix assertions ; fix environment equality test ; fix varialbe removal.HEADmaster | Alex AUVOLAT | 2014-06-01 | 4 | -16/+35 |
| | | |||||
| * | Assert j != 0 in bound_div i j | Alex AUVOLAT | 2014-06-01 | 1 | -7/+2 |
| | | |||||
| * | Implémentation des intervalles ; début rédaction du rapport. | Alex AUVOLAT | 2014-06-01 | 3 | -4/+40 |
| | | |||||
| * | Add boolean constants. | Alex AUVOLAT | 2014-05-28 | 1 | -0/+5 |
| | | |||||
| * | RETAB, CLEANUP | Alex AUVOLAT | 2014-05-28 | 4 | -182/+15 |
| | | |||||
| * | Just retab (many lines changed for nothing) | Alex AUVOLAT | 2014-05-21 | 6 | -450/+450 |
| | | |||||
| * | All tests pass except one ! | Alex AUVOLAT | 2014-05-21 | 4 | -42/+127 |
| | | |||||
| * | Begin work on interface with Apron | Alex AUVOLAT | 2014-05-18 | 1 | -0/+37 |
| | | |||||
| * | Many things work! | Alex AUVOLAT | 2014-05-14 | 5 | -46/+267 |
| | | |||||
| * | implement assert, print | Alex AUVOLAT | 2014-05-07 | 5 | -7/+61 |
| | | |||||
| * | Restart anew ; done nonrelational stuff, interpret remains, intervals domain ↵ | Alex AUVOLAT | 2014-05-07 | 7 | -153/+421 |
| | | | | | remains | ||||
| * | Achieve nothing. | Alex AUVOLAT | 2014-05-07 | 2 | -10/+152 |
| | | |||||
| * | Fist commit (WIP) | Alex AUVOLAT | 2014-04-30 | 2 | -0/+25 |
 |
index : SemVerif-Projet.git | |
| Projet de Sémantique |
| summaryrefslogtreecommitdiff |