Timeline
08/15/09:
- 01:56 Ticket #12 (Execution exception in Evaluator) closed by
- fixed: Fixed by correcting other bugs.
- 01:55 Ticket #14 (flaw in simplify routine?) closed by
- fixed: Fixed.
- 01:55 Ticket #13 (erratic behavior in symbolic package) closed by
- fixed: Fixed. It turned out that the real source of this bug is in …
- 01:01 Ticket #15 (prover debugging output should print result) closed by
- fixed: Fixed. The prover will print Valid or Invalid under verbose mode.
08/14/09:
- 10:45 Ticket #15 (prover debugging output should print result) created by
- In verbose mode, the prover class prints out the theorem that the …
08/13/09:
- 23:51 Ticket #14 (flaw in simplify routine?) created by
- The following code occurs in SymUniverse.java, method andExpression. …
- 23:38 Ticket #13 (erratic behavior in symbolic package) created by
- Using revision 952, I am getting wrong answers from symbolic package. …
08/12/09:
- 17:38 Ticket #12 (Execution exception in Evaluator) created by
- Revision 952, tile compare example: Step 4: State 3 -> spec.mmp line …
- 17:34 Ticket #8 (symbolic expressions not being transformed into canonical form) closed by
- fixed: Fixed. The symbolic universe will try to simplify each expression by …
08/11/09:
- 16:29 Ticket #10 (command line interface additions) closed by
- fixed: Fixed. The front end can accept these new options now.
- 16:05 Ticket #7 (white space in text) closed by
- fixed: Fixed.
- 15:35 Ticket #6 (text associated to branch statements) closed by
- fixed: Fixed. The branch statements now associate with correct source program …
- 12:59 Ticket #11 (improve handling of counterexamples) created by
- A lot of violations are dealt with by throwing exceptions. It would …
- 12:56 Ticket #10 (command line interface additions) created by
- Several options need to be added to the commandline interface: …
- 12:49 Ticket #9 (multiple bugs in Urgent) created by
- There are several bugs in urgent package that parallel the bugs that …
- 11:33 Ticket #8 (symbolic expressions not being transformed into canonical form) created by
- It seems like the symbolic expressions are not being transformed into …
- 11:32 Ticket #5 (command line interface corrections) closed by
- fixed: Fixed. The front end will reject any unrecognized options and throw an …
- 11:14 Ticket #7 (white space in text) created by
- Sometimes the text associated to a statement includes white space at …
- 11:11 Ticket #6 (text associated to branch statements) created by
- For branch statements (if (expr) S1 else S2) the text associated to …
- 00:43 Ticket #4 (ugly output in verbose mode) closed by
- fixed: Fixed.
08/10/09:
- 21:40 Ticket #5 (command line interface corrections) created by
- The commandline syntax should be tass verify [options] foo tass …
- 21:37 Ticket #4 (ugly output in verbose mode) created by
- In verbose mode, there is still extra junk printed when the models are …
- 21:35 Ticket #3 (Execution exception in InnerPredicate) closed by
- fixed: Bug fixed in revision 946----input variables were not getting …
- 16:16 Ticket #3 (Execution exception in InnerPredicate) created by
- Revision 945, tile example: CVC3 prover invoked with query: (LET …
08/09/09:
- 20:02 Ticket #2 (null pointer exception in Evaluator) closed by
- fixed: Fixed. There were some inputs variables in second model that were not …
08/08/09:
- 17:20 Ticket #2 (null pointer exception in Evaluator) created by
- Revision 943, tile example: java.lang.NullPointerException …
- 17:15 Ticket #1 (null corresponding variable: tile example) closed by
- fixed
08/07/09:
- 21:21 Ticket #1 (null corresponding variable: tile example) created by
- Using revision 942. Running compare on tile example yields following …
Note:
See TracTimeline
for information about the timeline view.
