Opened 17 years ago
Closed 16 years ago
#17 closed task (fixed)
implement verify.loop
| Reported by: | Stephen Siegel | Owned by: | ywei |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | verify | Version: | 1.0 |
| Keywords: | loops | Cc: |
Description
The transition system for verifying unbounded loops has to be implemented, as described in our paper. I started it (barely).
Change History (2)
comment:1 by , 17 years ago
| Status: | new → accepted |
|---|
comment:2 by , 16 years ago
| Resolution: | → fixed |
|---|---|
| Status: | accepted → closed |
Note:
See TracTickets
for help on using tickets.
Done by Yi. Some bugs seem to remain. Separate tickets will be created for them.