Timeline
05/12/10:
- 21:01 Ticket #199 (CVC3 prover does not handle MODULO) closed by
- fixed: Operation support added. The skew factor example now works.
- 15:30 Ticket #185 (Verification Suite) closed by
- fixed: Done. The trac is at vsl.cis.udel.edu/trac/fevs
05/11/10:
- 23:38 Ticket #199 (CVC3 prover does not handle MODULO) created by
- Need to add handler for MODULO is the prover.
05/10/10:
- 11:24 Ticket #197 (linear time membership test in loop module) closed by
- fixed: Use the containsValue() method now to test membership now instead of …
- 11:22 Ticket #174 (Print intermediate report during execution) reopened by
- Not sure if this is best way to do this. Also, has not been applied to …
- 11:12 Ticket #173 (Add char type to model and value layer) reopened by
- Still need to implement arrayLiteralExpression, …
- 10:24 Ticket #173 (Add char type to model and value layer) closed by
- fixed: Character type is represented at the model and value layer. At the …
05/09/10:
- 12:43 Ticket #139 (running simpleRecordTest causes freeze) closed by
- worksforme: No longer causes freeze, but has another problem (separate ticket opened).
- 12:42 Ticket #198 (PointerTest: record test has infinite recursion) created by
- Test pointers/PointerTest.simpleRecordTest fails because of an …
- 00:15 Ticket #194 (nestedLoops: inconclusive result in v1.0) closed by
- fixed: Fixed. There were so many bugs it would be difficult to list them …
05/08/10:
- 23:14 Ticket #197 (linear time membership test in loop module) created by
- The following code is in loop.StateFactory.java. This is not the …
- 19:00 Ticket #190 (Add list of abstract functions to XML representation of model) closed by
- fixed: Abstract function list added in the XML schema.
- 18:16 Ticket #195 (missing diffusion_par.mmp) closed by
- fixed: I copied the diffusion_par.mmp from v0.9 to the directory.
- 18:14 Ticket #174 (Print intermediate report during execution) closed by
- fixed: Intermediate report added. Program will print out a short message for …
- 18:13 Ticket #196 (source still too big) closed by
- fixed: Fixed. Condition statement now only displays the guard expression …
- 11:02 Ticket #196 (source still too big) created by
- This is in the test good in the FibTest. Complete body of if …
- 10:56 Ticket #195 (missing diffusion_par.mmp) created by
- diffusion_par.mmp is missing from examples directory in v1.0
05/07/10:
05/05/10:
- 09:54 Ticket #194 (nestedLoops: inconclusive result in v1.0) created by
- Can you take a look at the nestedLoops example and see if you can …
05/04/10:
- 22:12 Ticket #193 (source text for loop too big) closed by
- fixed: Fixed. The loop statements and function now only display the header …
- 21:49 Ticket #193 (source text for loop too big) created by
- The source text for the while loop includes the entire loop body. It …
- 21:21 Ticket #192 (string index error in parser) closed by
- fixed: Fixed. All existing example tested by JUnit test using ParserTest …
- 21:05 Ticket #192 (string index error in parser) created by
- In cycle.CycleTest: […]
- 14:53 Ticket #191 (source text not set correctly) closed by
- fixed: Fixed. I modified the way the source information is calculated and I …
- 11:27 Ticket #191 (source text not set correctly) created by
- Running in verbose on adder example you will see that some of the …
05/03/10:
- 23:08 Ticket #189 (Another illegal argument exception in AdderTest) closed by
- fixed: Fixed: problem was that during simplification type of array variable …
- 11:38 Ticket #179 (NullPointerException in DynamicFactory constructor) closed by
- worksforme: Seems to be working now.
- 11:32 Ticket #190 (Add list of abstract functions to XML representation of model) created by
- The model builder creates an AbstractFunction for each abstract …
- 09:14 Ticket #189 (Another illegal argument exception in AdderTest) created by
- Found another illegal argument exception when running AdderTest: …
- 09:04 Ticket #188 (Illegal argument exception in AdderTest) closed by
- fixed: Fixed. Problem was that array read expression was not put into …
05/02/10:
- 23:43 Ticket #188 (Illegal argument exception in AdderTest) created by
- Got an illegal argument exception in AdderTest: …
- 23:41 Ticket #187 (Array out of bound exception in AdderTest) closed by
- fixed
- 21:40 Ticket #187 (Array out of bound exception in AdderTest) created by
- Running AdderTest using JUnit and got an array out of bound exception …
- 21:36 Ticket #186 (null pointer exception from CVC3 prover) closed by
- fixed: OK, close this ticket as resolved and open new one with the array …
- 19:45 Ticket #180 (When abstract functions are created, the continuity should be saved) closed by
- fixed
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.
