Timeline
05/01/10:
- 18:33 Ticket #186 (null pointer exception from CVC3 prover) created by
- Run AdderTest now (TASSv1.0 r1532) and you will get a null pointer …
04/30/10:
- 12:40 Ticket #124 (improve performance of validity checking and other symbolic operations) closed by
- fixed: The entire symbolic package has been replaced by one which puts all …
- 12:39 Ticket #101 (create BooleanValueIF) closed by
- wontfix: Turns out to be a bad idea because there are many kinds of values …
- 12:36 Ticket #185 (Verification Suite) created by
- The FEVS (Functional Equivalence Verification Suite) needs its own …
- 11:56 Ticket #184 (Make library framework) created by
- We need MiniMP equivalents of standard libraries. For example: …
- 10:21 Ticket #182 (add evaluateEvaluatedFunction method to Executor) closed by
- fixed: This should have said "Evaluator" instead of "Executor" in the title. …
04/23/10:
- 15:16 Ticket #183 (Verify derivative example using manual insertion of Taylor theorem) created by
- This is an intermediate step to full accuracy support
- 15:10 Ticket #182 (add evaluateEvaluatedFunction method to Executor) created by
- There is a generic value that just wraps a symbolic value. Might not …
- 14:53 Ticket #165 (need cast from int to real operation in symbolic package) closed by
- fixed: This is done in the new symbolic package in v. 1.0.
- 14:51 Ticket #176 (longName() method in PointerType class may cause stack overflow) closed by
- fixed
- 14:48 Ticket #181 (Add derivative support to frontend) created by
- Abstract functions are supported, need analogous changes for derivatives
- 14:47 Ticket #180 (When abstract functions are created, the continuity should be saved) created by
- Currently, abstract functions are parsed and their continuity is …
04/19/10:
- 11:01 Ticket #179 (NullPointerException in DynamicFactory constructor) created by
- This is caused by verificationFactory being set to null in …
04/16/10:
- 11:09 Ticket #178 (Number of bound variables in a symbolic quantifier expression) created by
- Currently, only one bound variable is allowed in each symbolic …
Note:
See TracTimeline
for information about the timeline view.
