summaryrefslogtreecommitdiff
path: root/frontend/typing.ml
Commit message (Expand)AuthorAgeFilesLines
* Correct some bugs on clocks.Alex Auvolat2014-07-081-2/+9
* First implementation of resetting transitions.Alex Auvolat2014-07-041-8/+3
* Use LAST instead of NEXT (only EDD implementation works at the moment)Alex Auvolat2014-07-041-17/+10
* Simplifications && preparation for restart.Alex Auvolat2014-07-041-1/+16
* Adapt for real type with Apron ; not very efficient ATM.Alex Auvolat2014-07-011-2/+8
* Minor corrections.Alex Auvolat2014-06-261-2/+2
* Many things, sorry for the mess.Alex Auvolat2014-06-261-23/+30
* Differentiate pre witin different scopes.Alex Auvolat2014-06-251-0/+1
* Implementation of disjunction domain seems to work.Alex Auvolat2014-06-241-5/+7
* Not much. Still does not work very well.Alex Auvolat2014-06-201-11/+8
* Everything proved !!Alex Auvolat2014-06-191-1/+16
* Very buggy disjunction domain !Alex Auvolat2014-06-191-22/+49
* Did most of the boring stuff. Now, work on the abstract domain.Alex Auvolat2014-06-191-3/+7
* Do some typing ; support multiple pre in abstract interpretation.Alex Auvolat2014-06-191-0/+178
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 17:10:50 +0000