diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-19 10:51:59 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-19 10:51:59 +0200 |
| commit | 8286c7c23a47c166aa87337a3146cdf3b278b144 (patch) | |
| tree | 8126efa61eb9af62d1c4e97b504e78d5e9c772df /Makefile | |
| parent | a2da1268c4a9af6755723698b7b6ba669aa7fd46 (diff) | |
| download | scade-analyzer-8286c7c23a47c166aa87337a3146cdf3b278b144.tar.gz scade-analyzer-8286c7c23a47c166aa87337a3146cdf3b278b144.zip | |
Isolate numerical part of domain. Next: isolate numerical part of equations.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 10 insertions, 5 deletions
@@ -8,17 +8,22 @@ SRC= main.ml \ frontend/parser.mly \ frontend/lexer.mll \ frontend/ast_printer.ml \ - frontend/typing.ml \ frontend/ast_util.ml \ + \ + frontend/typing.ml \ frontend/rename.ml \ + \ + abstract/intervals_domain.ml \ + abstract/nonrelational.ml \ + abstract/apron_domain.ml \ + abstract/num_domain.ml \ + abstract/abs_domain.ml \ + \ abstract/formula.ml \ abstract/formula_printer.ml \ abstract/transform.ml \ - abstract/environment_domain.ml \ - abstract/apron_domain.ml \ + \ abstract/abs_interp.ml \ - abstract/nonrelational.ml \ - abstract/intervals_domain.ml \ interpret/interpret.ml \ all: $(BIN) |