Opened 17 years ago

Closed 17 years ago

#18 closed task (fixed)

examples

Reported by: Stephen Siegel Owned by: zirkel
Priority: major Milestone:
Component: examples Version: 1.0
Keywords: examples Cc:

Description

All of the examples need to be brought up to date so that they work with the current version of MiniMP.

Also, each example should include at least one bounded version. See what I did for arrayloop: the unbounded versions are called arrayloopSpec.mmp and arrayloopImpl.mmp; I added a bounded version arrayloopSpec_2.mmp and arrayloopImpl_2.mmp. The only difference between the bounded and unbounded versions is that I put a bound on N in the bounded versions. (Actually, the unbounded version in this case still needs to be updated to be correct.)

Change History (3)

comment:1 by Stephen Siegel, 17 years ago

Component: verify → examples
Owner: set to zirkel
Status: new → assigned

comment:2 by zirkel, 17 years ago

Status: assigned → accepted

comment:3 by zirkel, 17 years ago

Resolution: → fixed
Status: accepted → closed

Examples have been updated.

Note: See TracTickets for help on using tickets.