summaryrefslogtreecommitdiff
path: root/frontend
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ansys.com>2014-06-18 12:13:17 +0200
committerAlex Auvolat <alex.auvolat@ansys.com>2014-06-18 12:13:17 +0200
commit0caa1ebe947646459295c6a66da6bf19f399c21e (patch)
tree715b4e786a7df2a3f847230baaa8d26f9ed9e680 /frontend
parent5ac14cee1bdb9f2ccc40ad6eb1841b5c2ed584d1 (diff)
downloadscade-analyzer-0caa1ebe947646459295c6a66da6bf19f399c21e.tar.gz
scade-analyzer-0caa1ebe947646459295c6a66da6bf19f399c21e.zip
Abstract interpretation gives good results on the limiter example.
Diffstat (limited to 'frontend')
0 files changed, 0 insertions, 0 deletions