Timeline
06/08/10:
- 11:36 Ticket #210 (Try to build solaris version of CVC3, etc.) closed by
- wontfix: Subsumed by Ticket 212.
- 09:36 Ticket #213 (Add array and record literals to frontend) closed by
- invalid: You are correct. I was confused because I thought we should be able …
- 01:29 Ticket #213 (Add array and record literals to frontend) created by
- Support for these literals exists at the lower levels, but is not in …
- 01:16 Libraries edited by
- (diff)
06/07/10:
- 23:57 Ticket #198 (PointerTest: record test has infinite recursion) closed by
- fixed: Solved, with some significant modifications to the value type system, …
06/04/10:
- 14:18 WikiStart edited by
- (diff)
- 12:46 Libraries edited by
- (diff)
- 12:39 Things To Do edited by
- (diff)
- 12:38 Libraries edited by
- (diff)
- 12:36 Libraries edited by
- (diff)
- 12:34 Libraries created by
- 12:25 Things To Do edited by
- (diff)
- 12:22 Things To Do edited by
- (diff)
- 12:17 Things To Do edited by
- (diff)
- 12:09 C Interface edited by
- (diff)
- 12:01 C Interface edited by
- (diff)
- 11:58 C Interface edited by
- (diff)
- 10:57 Things To Do edited by
- (diff)
- 08:21 Ticket #212 (move auto tests to anton) created by
- The auto tests are currently run on ludwig. These should be moved to …
06/03/10:
- 09:10 Things To Do edited by
- (diff)
- 09:04 Ticket #205 (Extend evaluateLiteral in Evaluator to support records, arrays, and ...) closed by
- fixed: Done.
06/02/10:
05/27/10:
- 21:07 Ticket #211 (don't check for deadlocked states when not necessary) created by
- No need to check for deadlock at a statement that can't block, like an …
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 …
Note:
See TracTimeline
for information about the timeline view.
