summaryrefslogtreecommitdiff
path: root/frontend
Commit message (Expand)AuthorAgeFilesLines
* Minor corrections.Alex Auvolat2014-06-261-2/+2
* Many things, sorry for the mess.Alex Auvolat2014-06-261-23/+30
* Begin implementation of EDD ; SCA implemented.Alex Auvolat2014-06-251-8/+1
* 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-202-12/+9
* Everything proved !!Alex Auvolat2014-06-191-1/+16
* Very buggy disjunction domain !Alex Auvolat2014-06-192-23/+49
* Did most of the boring stuff. Now, work on the abstract domain.Alex Auvolat2014-06-194-3/+14
* Do some typing ; support multiple pre in abstract interpretation.Alex Auvolat2014-06-194-0/+367
* Add gilbreath suite ; booleans are not represented in a good way.Alex Auvolat2014-06-181-1/+1
* Some abstract interpretation does something now.Alex Auvolat2014-06-173-3/+3
* Write transformation of program into logical formula.Alex Auvolat2014-06-171-3/+3
* Add AST for logical formula.Alex Auvolat2014-06-171-1/+2
* Begin of new interpret with more imperative concepts. Scope activation 'n stuff.Alex Auvolat2014-06-133-29/+29
* Move a lot of things.Alex Auvolat2014-06-135-19/+19
* Parse activate blocks.Alex Auvolat2014-06-134-26/+71
* Working prototype for an interpret ! But very messy.Alex Auvolat2014-06-124-45/+110
* Parse type groups.Alex Auvolat2014-06-113-9/+20
* Make code cleanerAlex Auvolat2014-06-117-1906/+276
* Initial commit: parser for tiny subset of SCADE language...Alex Auvolat2014-06-117-0/+2207