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 /abstract/apron_domain.ml | |
| 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 'abstract/apron_domain.ml')
0 files changed, 0 insertions, 0 deletions