Timeline
05/24/10:
- 16:01 Ticket #209 (Add support for APPLY operation in CVC3TheoremProver) closed by
- fixed: Operation support added in CVC3 theorem prover class.
- 13:13 Ticket #207 (Add support for APPLY to CVC3TheoremProver) closed by
- fixed: There is a duplicated ticket for this issue assigned to me and I will …
- 13:11 Ticket #204 (Allow array type variables to have initialization) closed by
- fixed: Changes made. Variables of all types are allowed to have …
- 13:11 Ticket #203 (Add support for record and array literal expressions to the front-end) closed by
- fixed: Features added. Front-end supports array and struct type …
- 09:54 Things To Do edited by
- (diff)
05/21/10:
- 12:15 Things To Do edited by
- (diff)
- 12:14 Things To Do edited by
- (diff)
- 12:11 Things To Do edited by
- (diff)
- 11:45 Things To Do edited by
- (diff)
- 11:29 Ticket #210 (Try to build solaris version of CVC3, etc.) created by
- We'd like to build on the webserver. Otherwise maybe we can switch it …
- 11:23 Ticket #209 (Add support for APPLY operation in CVC3TheoremProver) created by
- Add support for APPLY operation in CVC3TheoremProver.java. The …
- 11:22 Ticket #208 (Separate pragma parsing out of language parser and put it into model ...) created by
- The "#pragma" representation need to be separated from the language …
- 11:19 Ticket #207 (Add support for APPLY to CVC3TheoremProver) created by
05/18/10:
05/17/10:
- 11:36 Ticket #206 (Formal grammar for assertion and joint invariant language) created by
- We need to write this down.
- 11:13 Ticket #205 (Extend evaluateLiteral in Evaluator to support records, arrays, and ...) created by
- Need to call the right methods in the dynamic factory. Arrays/structs …
05/16/10:
- 19:13 Ticket #204 (Allow array type variables to have initialization) created by
- In …
- 13:15 Ticket #177 (Add record literal expression in model package) closed by
- fixed: Implemented. This is called recordLiteralExpression to be consistent …
- 13:13 Ticket #173 (Add char type to model and value layer) closed by
- fixed: Implemented.
- 13:13 Ticket #203 (Add support for record and array literal expressions to the front-end) created by
- There are methods in the ModelFactory called arrayLiteralExpression …
05/15/10:
- 10:18 Ticket #200 (compilation error in model module) closed by
- fixed: Sorry about that, I had made both changes but accidentally only …
- 09:44 Ticket #202 (installation from source) created by
- Can someone summarize for me how to a. install gmp, 64 bit version. …
- 09:19 Ticket #201 (source release) created by
- I downloaded TASS source release latest and there are a number of …
- 09:12 Ticket #200 (compilation error in model module) created by
- Looks like ModelFactory was changed, but not ModelFactoryIF (or vice …
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. …
Note:
See TracTimeline
for information about the timeline view.
