|
Loopfrog
|
|
|
About ―
Download ―
Experiments ―
Documentation
|
|
About
Loopfrog
|
|
Loopfrog
News
09-07-2009: |
Version 0.9 released; this release features support for termination analysis. |
10-17-2009: |
Version 0.7 released; this release features support for the goto-cc 2.6 binary format. |
06-16-2009: |
Version 0.6 released. |
02-17-2008: |
Version 0.5 released. |
11-21-2007: |
Version 0.4 released. |
|
|
|
Support
This research is currently supported by a SEIF award from Microsoft
Research and a grant from the Swiss
National Science Foundation.
|