Timeline
11/24/09:
- 11:35 Ticket #71 (laplace example: inputs) closed by
- fixed: The laplace example is not quite working yet, but this part is done.
- 09:59 Ticket #104 (cast error in symbolic package) created by
- Run any of the tests and cast exception is thrown: […] Offending …
11/23/09:
- 01:42 Ticket #92 (add methods in symbolic universe to support unbound arrays) closed by
- fixed: Methods added.
11/22/09:
- 13:48 Ticket #40 (change name of Minimp to MiniMP) closed by
- fixed
- 11:04 Ticket #103 (problem with build) created by
- In Eclipse at least, the build system does not always work. When …
- 11:02 Ticket #102 (add concrete versions of primitive and array values) created by
- Concrete versions of primitive and array values can be added. They …
- 10:53 Ticket #101 (create BooleanValueIF) created by
- It would be useful in many places to restrict a value argument to one …
11/21/09:
- 23:28 Ticket #100 (symbolic array dimensions are inverted) created by
- If you ask the symbolic package for the array type with element type …
- 22:17 Ticket #99 (formal parameters have null source) created by
- Here is an example from running […] […]
- 18:52 Ticket #98 (usage information incorrect) created by
- The usage information printed from the command line is incorrect at …
- 18:47 Ticket #97 (wrong function printed) created by
- Running […] the model prints out as follows: […] The problem is …
- 17:27 Ticket #96 (parser should quit when syntax error encountered) created by
- The parser does not always give up when it encounters a syntax error. …
- 15:11 Ticket #95 (improvements to symbolic package) created by
- It is not clear what comprises the interface of the symbolic package. …
- 15:06 Ticket #94 (Update svn server) created by
- We should update our svn server from 1.4 to 1.6. I found out when …
- 15:03 Ticket #48 (add pointer types, values to model) closed by
- fixed: The pointer branch has been re-integrated into the trunk and the …
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 …
Note:
See TracTimeline
for information about the timeline view.
