Timeline
12/31/09:
- 16:36 Ticket #148 (ClassCastException in dynamic package) created by
- When running the Laplace example as follows: […] A …
12/29/09:
- 23:09 Ticket #146 (add to front-end: e[i]) closed by
- fixed: Modification made. Now users can use the same way as array subscript …
- 02:30 Ticket #144 (Improvements to source text) closed by
- fixed: Fixed. The source information is more accurate now.
- 01:54 Ticket #145 (Add simplify method to SymUniverseIF) closed by
- fixed: Method added.
12/28/09:
- 23:07 Ticket #147 (write outline for CAV tool paper) created by
- Paper submitted.
- 23:05 Ticket #146 (add to front-end: e[i]) created by
-
Add to MiniMP language the following construct:
[…]
where
e… - 23:00 Ticket #145 (Add simplify method to SymUniverseIF) created by
- Need method in SymUniverseIF: […]
- 22:52 Ticket #55 (enhance JUnit tests) closed by
- fixed: Many new tests added. New tickets can be added as needed.
- 22:51 Ticket #118 (Weird failure in MatrixMultiplication test) closed by
- fixed: Working.
- 22:49 Ticket #129 (simplify compare problem in matmat) closed by
- fixed: Now working.
- 22:15 Ticket #141 (simplify error in diffusion1) closed by
- fixed: Yi fixed this in revision 1276.
- 12:20 Ticket #144 (Improvements to source text) created by
- This is all very minor but would improve the output a little. In a for …
- 00:53 Ticket #142 (Class cast exception in diffusion1) closed by
- fixed: Bug fixed in symbolic write expression and symbolic constant. They …
12/27/09:
- 20:59 Ticket #143 (source not set for allocate statements) closed by
- fixed: Fixed in model builder. Allocate and deallocate statements now have …
- 20:28 Ticket #143 (source not set for allocate statements) created by
- check deallocate statements too.
- 15:08 Ticket #142 (Class cast exception in diffusion1) created by
- There is a class cast exception in the symbolic package. This time I …
- 00:04 Ticket #140 (Pointer decl/initialization expression leads to NullPointerException ...) closed by
- fixed: Tests now pass after the recent fix from model module.
12/26/09:
- 22:21 Ticket #141 (simplify error in diffusion1) created by
- The current problem in diffusion1 happens in the simplify routine. I …
- 18:01 Ticket #137 (pointer addition not in grammar) closed by
- fixed: Fixed the ModelBuilder to use the correct method in model factory.
- 18:00 Ticket #93 (Add allocate and deallocate in the front end) closed by
- fixed: Statements added to the language and the front-end.
- 18:00 Ticket #138 (source not set for sub-expressions of array subscript expressions) closed by
- fixed: Fixed. The sub-expressions of an array subscript expression now have …
- 16:49 Ticket #123 (improve performance of hash and equality functions) closed by
- fixed: Done. Check out value package.
- 16:44 Ticket #135 (syntax error in diffusion1_par.mmp) closed by
- fixed: I'm working on this model. This problem has been corrected.
- 09:15 Ticket #140 (Pointer decl/initialization expression leads to NullPointerException ...) created by
- Pointer decl leads to NullPointerException in TreeParser. Added test …
- 09:10 Ticket #139 (running simpleRecordTest causes freeze) created by
- This is in simplePointerTest directory. The parser reports some …
12/25/09:
- 22:17 Ticket #138 (source not set for sub-expressions of array subscript expressions) created by
-
If you take the following model
simpleArray3.mmp: […] when … - 21:45 Ticket #137 (pointer addition not in grammar) created by
- Parsing […] yields: […] An addition expression may involve one …
- 20:42 Ticket #136 (Pointer type not parsed in formal parameter list) closed by
- fixed: Fixed. I forgot to add the pointer feature to the argument …
- 20:10 Ticket #134 (arithmetic parsing error) closed by
- fixed: Fixed. The binary operators now are left associative as they should be.
- 13:48 Ticket #136 (Pointer type not parsed in formal parameter list) created by
- Something like […] yields this error: […]
- 00:21 Ticket #133 (null pointer exception in model builder) closed by
- fixed: Forgot to close the ticket.
12/24/09:
- 19:07 Ticket #135 (syntax error in diffusion1_par.mmp) created by
- In diffusion1_par.mmp, there is a syntax error. On line 15, a real …
- 13:31 Ticket #134 (arithmetic parsing error) created by
- An expression of the form a-b+c gets parsed as a-(b+c): {{{int m = …
- 13:02 Ticket #133 (null pointer exception in model builder) created by
- […] Here's the relevant code: […] I'm trying to check in the …
12/23/09:
- 10:00 Ticket #132 (Need to shut down the dynamic factory when it is not in use) closed by
- fixed: Fixed. The problem was in the verification utility class that is used …
12/22/09:
- 15:33 Ticket #132 (Need to shut down the dynamic factory when it is not in use) created by
- Some dynamic factories in the program never have the shutdown() method …
12/21/09:
- 20:53 Ticket #131 (Extra assumptions in implementation not used) closed by
- fixed: Fixed. Wrote new code to check for compatibility and added this to a …
- 10:24 Ticket #131 (Extra assumptions in implementation not used) created by
- When the implementation has inputs that are not in the specification, …
- 10:19 Ticket #119 (Errors in diffusion tests) closed by
- fixed: Original errors were fixed. Current errors are caused by a problem …
12/20/09:
- 18:40 Ticket #130 (simpleArrayTest failure) closed by
- fixed: Bug fixed, the test now passes.
- 15:29 Ticket #130 (simpleArrayTest failure) created by
- ...on compare/simplify
- 15:28 Ticket #129 (simplify compare problem in matmat) created by
- Matmat tests now failing on compare simplify configs.
12/18/09:
- 16:42 Ticket #128 (Assume implementation error) closed by
- fixed: I changed the guard on the assume statement from true to the assume …
- 14:02 Ticket #128 (Assume implementation error) created by
- DFS does not backtrack when an assumption makes a condition false. …
- 02:03 Ticket #125 (add line number for "implicit return") closed by
- fixed: Source information changed.
12/17/09:
- 18:12 Ticket #121 (mean tests fail) closed by
- fixed: Bug fixed. The JUnit test now passes.
- 17:17 Ticket #127 (Improve symbolic variable names) created by
- It would be nice if symbolic variable names could somehow be …
12/16/09:
12/15/09:
- 15:46 Ticket #126 (sum tests fail) closed by
- fixed: Bug fixed. It was the SymUniverse that reverse the order of power …
- 02:12 Ticket #120 (rejected initialization expression x+y) closed by
- fixed: Bug fixed.
- 01:43 Ticket #96 (parser should quit when syntax error encountered) closed by
- fixed: Fixed. The parser now returns an AST only when the program can be …
12/14/09:
- 22:50 Ticket #126 (sum tests fail) created by
- First, because of integer division not being supported. But after …
- 13:23 Ticket #125 (add line number for "implicit return") created by
- For an "implicit return" we could actually use the source information …
- 13:17 Ticket #124 (improve performance of validity checking and other symbolic operations) created by
- Many of the queries that eventually get passed to CVC3 could be …
- 13:10 Ticket #123 (improve performance of hash and equality functions) created by
- Consider the ValueIF class. Even though values are immutable and …
- 13:02 Ticket #122 (add option to not stop after finding violation) created by
- If the verifier can't prove an array index is in bounds, it could …
12/12/09:
- 23:01 Ticket #121 (mean tests fail) created by
- At least one of the mean tests fails. Others may pass, but only by …
- 22:58 Ticket #120 (rejected initialization expression x+y) created by
- This is rejected by front end: […] […]
- 15:35 Ticket #119 (Errors in diffusion tests) created by
- Run them and you will see errors early on. Unclear whether we should …
- 15:24 Ticket #118 (Weird failure in MatrixMultiplication test) created by
- I'm getting a strange error when using simplify mode to verify …
12/10/09:
- 23:19 Ticket #117 (Problems with tests and use of static data) closed by
- fixed: Bug fixed. The configuration information now change correctly by the …
- 21:43 Ticket #98 (usage information incorrect) closed by
- fixed: Information changed.
- 19:58 Ticket #117 (Problems with tests and use of static data) created by
- The tests are all getting their parameters from the static fields of …
- 19:56 Ticket #111 (matmat compare: outputs not equivalent?) closed by
- fixed: Think I figured it out. The tests are all getting their parameters …
- 18:52 Ticket #114 (TileTests fail) closed by
- fixed: Fixed. Problem was in the search for occurrences of symbolic …
- 18:49 Ticket #116 (MatrixMultiplicationTests: compare failures) closed by
- fixed: Now working after fixing last bug.
- 18:46 Ticket #98 (usage information incorrect) reopened by
- Usage information says […] but that doesn't work. What works is …
- 13:12 Ticket #116 (MatrixMultiplicationTests: compare failures) created by
- All the compare tests fail on Matrix Multiplication tests.
- 13:10 Ticket #115 (Laplace test errors) created by
- Laplace tests have syntax exception.
- 13:09 Ticket #114 (TileTests fail) created by
- All of the compare tests fail for tile tests.
12/09/09:
- 23:51 Ticket #87 (send report of API problems to cvc3) closed by
- fixed: Email sent. But I got a reply saying that the email address is not for …
- 18:59 Ticket #112 (Parse error when declaring and assigning on the same line) closed by
- fixed: Bug fixed. I changed the grammar so it allows a function to contain …
- 18:58 Ticket #113 (different behavior when using simplify) closed by
- fixed: Bug fixed. The problem is in the CVC3TheoremProver.java.
12/08/09:
- 15:11 Ticket #113 (different behavior when using simplify) created by
-
In the simpleArrayInputRead.mmp example, a variable
bis … - 14:55 Ticket #112 (Parse error when declaring and assigning on the same line) created by
- In the example simpleArrayInputRead.mmp, there is a parser exception …
- 01:28 Ticket #107 (Add symbolic function type) closed by
- fixed: Created SymFunction
12/07/09:
- 07:46 Ticket #111 (matmat compare: outputs not equivalent?) created by
- Running compare on matmat, everything seems fine until the end, when …
- 00:26 Ticket #109 (unknown expression type) closed by
- fixed: Bug fixed. The forall expression can now be converted back to symbolic …
- 00:25 Ticket #110 (array compare problem in symbolic?) closed by
- fixed: Bug fixed. The example now terminates normally.
Note:
See TracTimeline
for information about the timeline view.
