Timeline



01/29/10:

12:35 Things To Do edited by Stephen Siegel
(diff)
12:18 Ticket #154 (create package-level javadocs) created by Stephen Siegel
For each package, create a file package.html with an overview of that …
11:11 Ticket #95 (improvements to symbolic package) closed by Stephen Siegel
wontfix
11:04 Ticket #153 (implement XML representation of model) created by Stephen Siegel
Complete the job started by Yi of designing an XML scheme representing …
11:00 WikiStart edited by Stephen Siegel
(diff)

01/28/10:

22:46 Things To Do edited by Stephen Siegel
(diff)

01/27/10:

22:16 Ticket #152 (front end does not parse certain type expressions) created by Stephen Siegel
Neither of the following can be parsed: […] In the first case I …

01/25/10:

10:02 Things To Do edited by Stephen Siegel
(diff)
09:09 Things To Do edited by Stephen Siegel
(diff)

01/24/10:

16:46 Things To Do edited by Stephen Siegel
(diff)

01/23/10:

16:31 Ticket #102 (add concrete versions of primitive and array values) closed by Stephen Siegel
wontfix: This would be better handled by keeping the concrete values in the …
16:28 WikiStart edited by Stephen Siegel
(diff)
16:23 Things To Do edited by Stephen Siegel
(diff)
14:02 Ticket #151 (Fib example gets wrong answer) created by Stephen Siegel
The Fibonacci example has a "bad" implementation which is not …
13:24 Ticket #148 (ClassCastException in dynamic package) closed by Stephen Siegel
fixed: Fixed by Yi earlier.
12:01 Ticket #17 (implement verify.loop) closed by Stephen Siegel
fixed: Done by Yi. Some bugs seem to remain. Separate tickets will be …
12:00 Ticket #94 (Update svn server) closed by Stephen Siegel
fixed: Done. Taken care of by EECIS staff.
11:59 Ticket #149 (Tech report) closed by Stephen Siegel
fixed: Done, but a lot of improvement is possible.
11:59 Ticket #150 (Create web site) closed by Stephen Siegel
fixed: Done. Web site is http://vsl.cis.udel.edu/tass
11:58 Ticket #147 (write outline for CAV tool paper) closed by Stephen Siegel
fixed
11:57 Things To Do edited by Stephen Siegel
(diff)
11:57 Things To Do created by Stephen Siegel
11:52 WikiStart edited by Stephen Siegel
(diff)
11:51 WikiStart edited by Stephen Siegel
(diff)

01/17/10:

23:31 Ticket #150 (Create web site) created by Stephen Siegel
URL should be http://vsl.cis.udel.edu/tass Prepare release, tar it …
23:29 Ticket #149 (Tech report) created by Stephen Siegel
Post technical report with sketch of proofs and more detail.

01/08/10:

17:22 The MiniMP Intermediate Representation edited by zirkel
(diff)
16:52 The MiniMP Intermediate Representation edited by zirkel
(diff)
16:34 The MiniMP Intermediate Representation edited by zirkel
(diff)
14:44 The MiniMP Intermediate Representation edited by zirkel
(diff)
14:35 The MiniMP Intermediate Representation edited by zirkel
(diff)
14:32 The MiniMP Language edited by zirkel
(diff)
14:31 The MiniMP Language created by zirkel
14:31 WikiStart edited by zirkel
(diff)
14:29 The MiniMP Intermediate Representation created by zirkel
14:29 WikiStart edited by zirkel
(diff)

01/07/10:

17:05 WikiStart edited by zirkel
(diff)

12/31/09:

16:36 Ticket #148 (ClassCastException in dynamic package) created by zirkel
When running the Laplace example as follows: […] A …
Note: See TracTimeline for information about the timeline view.