Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Pretty printing. | Alex Auvolat | 2014-06-18 | 8 | -66/+147 |
* | Add intervals domain ; some interesting analysis works. | Alex Auvolat | 2014-06-18 | 6 | -17/+434 |
* | Some abstract interpretation does something now. | Alex Auvolat | 2014-06-17 | 4 | -10/+189 |
* | Add bindings to apron. Next : work on abstract interpret. | Alex Auvolat | 2014-06-17 | 4 | -3/+183 |
* | Write transformation of program into logical formula. | Alex Auvolat | 2014-06-17 | 3 | -25/+389 |
* | Add AST for logical formula. | Alex Auvolat | 2014-06-17 | 2 | -0/+80 |