Timeline
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.
12/06/09:
- 20:09 Ticket #110 (array compare problem in symbolic?) created by
- In this example I am running compare with a 2-dimensional array and …
- 17:07 Ticket #109 (unknown expression type) created by
- Seems to be problem in symbolic package when converting from CVC …
- 05:30 Ticket #80 (simplify fails on dividing by plus expressions) closed by
- fixed: Can not reproduce the bug. The program terminated normally and all …
- 05:20 Ticket #108 (array problem in symbolic) closed by
- fixed: Changed the way the type table stores symbolic array types in …
- 03:41 Ticket #74 (Bus error using -simplify) closed by
- fixed: Can not reproduce the bug. I have run it on command line. The bug …
12/05/09:
- 15:04 Ticket #108 (array problem in symbolic) created by
- Run: […] and an exception is thrown. The cause is that the …
12/01/09:
- 14:54 Ticket #42 (CVC3 prover problems) closed by
- fixed: I changed the CVC3TheoremProver so that it just return true/false …
- 14:41 Ticket #82 (add record types and tuple types to symbolic package) closed by
- fixed: We decided that record type is not required at this time.
- 14:27 Ticket #107 (Add symbolic function type) created by
- We need a symbolic function type for use with abstract functions.
- 12:29 Ticket #98 (usage information incorrect) closed by
- fixed: Information fixed.
- 10:57 Ticket #106 (Simplify print in model package) created by
- There are two methods in each class, a print with a boolean withSource …
- 10:33 Ticket #105 (Add support for new statements: pushassumption, popassumption) created by
- Environment should maintain a stack of assumptions. Suppose the …
- 09:28 Ticket #89 (send email to cvc3-users on non-linear accuracy example) closed by
- fixed: Sent.
- 02:17 Ticket #100 (symbolic array dimensions are inverted) closed by
- fixed: Bug fixed. The SymArray class now correctly place the dimension …
11/30/09:
- 03:41 Ticket #99 (formal parameters have null source) closed by
- fixed: Bug fixed. Formal parameters now have source information properly attached.
- 02:50 Ticket #97 (wrong function printed) closed by
- fixed: The source is correctly attached to the model. The "main …
11/29/09:
- 01:40 Ticket #104 (cast error in symbolic package) closed by
- fixed: Bug fixed. I removed the primitive types from the type table but I …
11/24/09:
- 11:35 Ticket #71 (laplace example: inputs) closed by
- fixed: The laplace example is not quite working yet, but this part is done.
- 09:59 Ticket #104 (cast error in symbolic package) created by
- Run any of the tests and cast exception is thrown: […] Offending …
11/23/09:
- 01:42 Ticket #92 (add methods in symbolic universe to support unbound arrays) closed by
- fixed: Methods added.
11/22/09:
- 13:48 Ticket #40 (change name of Minimp to MiniMP) closed by
- fixed
- 11:04 Ticket #103 (problem with build) created by
- In Eclipse at least, the build system does not always work. When …
- 11:02 Ticket #102 (add concrete versions of primitive and array values) created by
- Concrete versions of primitive and array values can be added. They …
- 10:53 Ticket #101 (create BooleanValueIF) created by
- It would be useful in many places to restrict a value argument to one …
11/21/09:
- 23:28 Ticket #100 (symbolic array dimensions are inverted) created by
- If you ask the symbolic package for the array type with element type …
- 22:17 Ticket #99 (formal parameters have null source) created by
- Here is an example from running […] […]
- 18:52 Ticket #98 (usage information incorrect) created by
- The usage information printed from the command line is incorrect at …
- 18:47 Ticket #97 (wrong function printed) created by
- Running […] the model prints out as follows: […] The problem is …
- 17:27 Ticket #96 (parser should quit when syntax error encountered) created by
- The parser does not always give up when it encounters a syntax error. …
- 15:11 Ticket #95 (improvements to symbolic package) created by
- It is not clear what comprises the interface of the symbolic package. …
- 15:06 Ticket #94 (Update svn server) created by
- We should update our svn server from 1.4 to 1.6. I found out when …
- 15:03 Ticket #48 (add pointer types, values to model) closed by
- fixed: The pointer branch has been re-integrated into the trunk and the …
Note:
See TracTimeline
for information about the timeline view.
