Timeline
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.
