Timeline
11/10/09:
- 15:25 Ticket #90 (NullPointerException when using potential deadlock) closed by
- fixed: Fixed simple error (forgot to initialize variable)...similar to …
11/09/09:
- 17:07 Ticket #93 (Add allocate and deallocate in the front end) created by
- Need to add the allocate and deallocate statement in the front end.
- 14:37 Ticket #91 (Add new directory in the branches for modelExtractor) closed by
- fixed: A new independent project would be better.
- 14:34 Ticket #92 (add methods in symbolic universe to support unbound arrays) created by
- Add methods in symbolic universe to allow the definition of unbound …
11/06/09:
- 17:17 Ticket #91 (Add new directory in the branches for modelExtractor) created by
- I think we should add a directory in the branches for the …
- 15:05 Ticket #90 (NullPointerException when using potential deadlock) created by
- When running compare with the potential deadlock option, a null …
10/31/09:
- 12:44 Ticket #89 (send email to cvc3-users on non-linear accuracy example) created by
- We have an example of a problem that we feel should not be hard for …
- 12:40 Ticket #88 (compile set of CVC3 problems we want solved) created by
- Cesare is working with a group that is compiling a big collection of …
- 12:34 Ticket #87 (send report of API problems to cvc3) created by
- Write up a report on any problems with the JNI (Java) interface for …
10/28/09:
- 06:07 Ticket #86 (The target location is not being set for a select statement) closed by
- fixed: Fixed.
10/27/09:
- 11:21 Ticket #86 (The target location is not being set for a select statement) created by
- The implementation of processSelectStmt in ModelBuilder does not set …
- 11:20 Ticket #85 (Integers cannot be set to negative literal) closed by
- fixed: Fixed this by a minor change to the TreeParser
- 00:20 Ticket #85 (Integers cannot be set to negative literal) created by
- Trying to declare an integer as a negative literal value, such as: …
10/20/09:
- 15:57 Ticket #84 (Multiple additions to front end) created by
- Need to add: pointer types, as in […] user-defined record types, …
- 14:07 Ticket #83 (Bug in checking equivalence of array outputs) closed by
- fixed: Fixed.
Note:
See TracTimeline
for information about the timeline view.
