Timeline

12/28/10:

15:28 Ticket #174 (Print intermediate report during execution) closed by Stephen Siegel

fixed: Done a while ago, ticket never cleared. Every 100,000 states, …

15:27 Ticket #249 (Change signature of main to be consistent with C) closed by Stephen Siegel

fixed: Implemented ragged arrays. C-style main function adds appropriate …

15:08 Ticket #281 (parser rejects abstract functions which return arrays) created by Stephen Siegel

The parser will not accept an abstract function which returns an …

15:05 Ticket #277 (NullPointerException in ModelEnvironment) closed by Stephen Siegel

fixed: Solved a while ago.

12:13 Ticket #280 (two return locations) created by Stephen Siegel

There is an error in the way an empty function is translated. Three …