Timeline

04/23/10:

15:16 Ticket #183 (Verify derivative example using manual insertion of Taylor theorem) created by zirkel

This is an intermediate step to full accuracy support

15:10 Ticket #182 (add evaluateEvaluatedFunction method to Executor) created by zirkel

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 Stephen Siegel

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 Stephen Siegel

fixed

14:48 Ticket #181 (Add derivative support to frontend) created by zirkel

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 zirkel

Currently, abstract functions are parsed and their continuity is …

04/19/10:

11:01 Ticket #179 (NullPointerException in DynamicFactory constructor) created by zirkel

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 ywei

Currently, only one bound variable is allowed in each symbolic …