diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-19 10:21:35 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-19 10:21:35 +0200 |
| commit | a2da1268c4a9af6755723698b7b6ba669aa7fd46 (patch) | |
| tree | 7deda3f5c6c33cc9935bc28bd4b879cf756ff59f /Makefile | |
| parent | ced4b9677189ea837e267678e9774584b81b087f (diff) | |
| download | scade-analyzer-a2da1268c4a9af6755723698b7b6ba669aa7fd46.tar.gz scade-analyzer-a2da1268c4a9af6755723698b7b6ba669aa7fd46.zip | |
Do some typing ; support multiple pre in abstract interpretation.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -8,6 +8,9 @@ SRC= main.ml \ frontend/parser.mly \ frontend/lexer.mll \ frontend/ast_printer.ml \ + frontend/typing.ml \ + frontend/ast_util.ml \ + frontend/rename.ml \ abstract/formula.ml \ abstract/formula_printer.ml \ abstract/transform.ml \ @@ -17,8 +20,6 @@ SRC= main.ml \ abstract/nonrelational.ml \ abstract/intervals_domain.ml \ interpret/interpret.ml \ - interpret/ast_util.ml \ - interpret/rename.ml all: $(BIN) |