summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ansys.com>2014-06-17 17:38:29 +0200
committerAlex Auvolat <alex.auvolat@ansys.com>2014-06-17 17:38:29 +0200
commit2b62d844cc81b60bcbdfc145097139995ea6f3a0 (patch)
tree8c34ecf12daf28569ac8a5364eb0438b9262308c /Makefile
parentce4f339ced19e2ff7d79c2c8ec5b3ee478d5d365 (diff)
downloadscade-analyzer-2b62d844cc81b60bcbdfc145097139995ea6f3a0.tar.gz
scade-analyzer-2b62d844cc81b60bcbdfc145097139995ea6f3a0.zip
Some abstract interpretation does something now.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions