summaryrefslogtreecommitdiff
path: root/frontend/ast_util.ml
Commit message (Expand)AuthorAgeFilesLines
* Very buggy disjunction domain !Alex Auvolat2014-06-191-1/+0
* Did most of the boring stuff. Now, work on the abstract domain.Alex Auvolat2014-06-191-0/+2
* Do some typing ; support multiple pre in abstract interpretation.Alex Auvolat2014-06-191-0/+75