diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-01 15:42:57 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-01 15:42:57 +0200 |
| commit | f97a886970bef9e1d6e8a1e217732d6ef8be087e (patch) | |
| tree | f79d165af76f23fece80c5bcc5003d5e2b82bd38 /abstract/num_domain.ml | |
| parent | 2d322a06b882542bab3d98cf08abefa906a54942 (diff) | |
| download | scade-analyzer-f97a886970bef9e1d6e8a1e217732d6ef8be087e.tar.gz scade-analyzer-f97a886970bef9e1d6e8a1e217732d6ef8be087e.zip | |
Adapt for real type with Apron ; not very efficient ATM.
Diffstat (limited to 'abstract/num_domain.ml')
0 files changed, 0 insertions, 0 deletions