summaryrefslogtreecommitdiff
path: root/interpret/rename.ml
Commit message (Expand)AuthorAgeFilesLines
* Do some typing ; support multiple pre in abstract interpretation.Alex Auvolat2014-06-191-101/+0
* Some abstract interpretation does something now.Alex Auvolat2014-06-171-2/+2
* Begin of new interpret with more imperative concepts. Scope activation 'n stuff.Alex Auvolat2014-06-131-0/+101