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 …
09/04/09:
- 13:46 Ticket #78 (Class cast exception in matmat-par_2_2_2.mmp) created by
- the command is: tass verify matmat-par_2_2_2.mmp -np 2 and I got this …
- 13:43 Ticket #77 (unreachable location in matmat example) closed by
- fixed: Problem fixed.
09/03/09:
- 18:31 Ticket #67 (text associated to expressions has extra token) closed by
- fixed: Fixed.
- 18:21 Ticket #34 (Add for loop support to front end) closed by
- fixed: Feature added.
- 18:21 Ticket #28 (improvements to model printing with source) closed by
- fixed: Changed as required.
- 11:43 Ticket #77 (unreachable location in matmat example) created by
- edu.udel.cis.vsl.minimp.model.IF.SyntaxException: Syntax error in …
Note:
See TracTimeline
for information about the timeline view.
