diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-18 12:13:17 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-18 12:13:17 +0200 |
| commit | 0caa1ebe947646459295c6a66da6bf19f399c21e (patch) | |
| tree | 715b4e786a7df2a3f847230baaa8d26f9ed9e680 /libs/mapext.ml | |
| parent | 5ac14cee1bdb9f2ccc40ad6eb1841b5c2ed584d1 (diff) | |
| download | scade-analyzer-0caa1ebe947646459295c6a66da6bf19f399c21e.tar.gz scade-analyzer-0caa1ebe947646459295c6a66da6bf19f399c21e.zip | |
Abstract interpretation gives good results on the limiter example.
Diffstat (limited to 'libs/mapext.ml')
0 files changed, 0 insertions, 0 deletions