Timeline
01/28/10:
01/27/10:
- 22:16 Ticket #152 (front end does not parse certain type expressions) created by
- Neither of the following can be parsed: […] In the first case I …
01/25/10:
01/24/10:
01/23/10:
- 16:31 Ticket #102 (add concrete versions of primitive and array values) closed by
- wontfix: This would be better handled by keeping the concrete values in the …
- 16:28 WikiStart edited by
- (diff)
- 16:23 Things To Do edited by
- (diff)
- 14:02 Ticket #151 (Fib example gets wrong answer) created by
- The Fibonacci example has a "bad" implementation which is not …
- 13:24 Ticket #148 (ClassCastException in dynamic package) closed by
- fixed: Fixed by Yi earlier.
- 12:01 Ticket #17 (implement verify.loop) closed by
- fixed: Done by Yi. Some bugs seem to remain. Separate tickets will be …
- 12:00 Ticket #94 (Update svn server) closed by
- fixed: Done. Taken care of by EECIS staff.
- 11:59 Ticket #149 (Tech report) closed by
- fixed: Done, but a lot of improvement is possible.
- 11:59 Ticket #150 (Create web site) closed by
- fixed: Done. Web site is http://vsl.cis.udel.edu/tass
- 11:58 Ticket #147 (write outline for CAV tool paper) closed by
- fixed
- 11:57 Things To Do edited by
- (diff)
- 11:57 Things To Do created by
- 11:52 WikiStart edited by
- (diff)
- 11:51 WikiStart edited by
- (diff)
01/17/10:
- 23:31 Ticket #150 (Create web site) created by
- URL should be http://vsl.cis.udel.edu/tass Prepare release, tar it …
- 23:29 Ticket #149 (Tech report) created by
- Post technical report with sketch of proofs and more detail.
01/08/10:
- 17:22 The MiniMP Intermediate Representation edited by
- (diff)
- 16:52 The MiniMP Intermediate Representation edited by
- (diff)
- 16:34 The MiniMP Intermediate Representation edited by
- (diff)
- 14:44 The MiniMP Intermediate Representation edited by
- (diff)
- 14:35 The MiniMP Intermediate Representation edited by
- (diff)
- 14:32 The MiniMP Language edited by
- (diff)
- 14:31 The MiniMP Language created by
- 14:31 WikiStart edited by
- (diff)
- 14:29 The MiniMP Intermediate Representation created by
- 14:29 WikiStart edited by
- (diff)
01/07/10:
12/31/09:
- 16:36 Ticket #148 (ClassCastException in dynamic package) created by
- When running the Laplace example as follows: […] A …
12/29/09:
- 23:09 Ticket #146 (add to front-end: e[i]) closed by
- fixed: Modification made. Now users can use the same way as array subscript …
- 02:30 Ticket #144 (Improvements to source text) closed by
- fixed: Fixed. The source information is more accurate now.
- 01:54 Ticket #145 (Add simplify method to SymUniverseIF) closed by
- fixed: Method added.
Note:
See TracTimeline
for information about the timeline view.
