diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-17 15:31:47 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-17 15:31:47 +0200 |
| commit | ce4f339ced19e2ff7d79c2c8ec5b3ee478d5d365 (patch) | |
| tree | ea18aa2b09601987bf3f2978c4986679b80e47a7 /Makefile | |
| parent | d57e3491720e912b4e2fd6c73f9d356901a42df5 (diff) | |
| download | scade-analyzer-ce4f339ced19e2ff7d79c2c8ec5b3ee478d5d365.tar.gz scade-analyzer-ce4f339ced19e2ff7d79c2c8ec5b3ee478d5d365.zip | |
Add bindings to apron. Next : work on abstract interpret.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -11,9 +11,11 @@ SRC= main.ml \ abstract/formula.ml \ abstract/formula_printer.ml \ abstract/transform.ml \ - interpret/bad_interpret.ml \ - interpret/interface.ml \ + abstract/environment_domain.ml \ + abstract/apron_domain.ml \ + abstract/abs_interp.ml \ interpret/interpret.ml \ + interpret/ast_util.ml \ interpret/rename.ml all: $(BIN) |