Timeline
10/03/09:
- 21:01 Ticket #82 (add record types and tuple types to symbolic package) created by
- CVC3 supports tuple types. Now we need to add these to the symbolic …
- 20:08 Ticket #81 (add support for type ids) closed by
- fixed: Done. Method id() added to TypeIF. Method to get type with given Id …
- 20:07 Ticket #47 (add record types to model) closed by
- fixed: Syntax add. Need to add semantics. Will make separate ticket.
- 20:06 Ticket #9 (multiple bugs in Urgent) closed by
- fixed: No defects known at present. Will add tickets as defects discovered.
09/25/09:
- 16:26 Ticket #81 (add support for type ids) created by
- Add methods to type factory so that every type gets a unique id …
09/18/09:
- 16:07 Ticket #72 (Make posters for accuracy verification and comparative symbolic execution) closed by
- fixed: The posters were turned in to Krystal.
09/12/09:
- 06:43 Ticket #80 (simplify fails on dividing by plus expressions) created by
- frederic:diffusion siegel$ tass verify -simplify diffusion1_seq.mmp …
09/10/09:
- 15:12 Ticket #11 (improve handling of counterexamples) closed by
- fixed: Traces good enough for now.
09/08/09:
- 14:58 Ticket #79 (for loop problem) closed by
- fixed: Fixed.
09/07/09:
- 09:03 Ticket #79 (for loop problem) created by
- I changed the first while loop in the matrixMultiplication examples to …
09/05/09:
- 12:27 Ticket #78 (Class cast exception in matmat-par_2_2_2.mmp) closed by
- fixed: I think I have fixed the problem, but it only revealed a new problem …
Note:
See TracTimeline
for information about the timeline view.
