Timeline
10/19/09:
- 16:48 Ticket #83 (Bug in checking equivalence of array outputs) created by
- When an output variable is an array, the output from the spec is …
10/06/09:
- 14:00 Ticket #76 (OSError: [Errno 13] Permission denied: ...) closed by
- fixed: Fixed.
- 13:59 Ticket #44 (Add for loop functionality to model) closed by
- fixed: Added ForLoopLocationIF and supporting changes
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 …
Note:
See TracTimeline
for information about the timeline view.
