Changes between Initial Version and Version 1 of Ticket #3
- Timestamp:
- 08/10/09 16:51:51 (17 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #3 – Description
initial v1 1 Revision 94 4, tile example:1 Revision 945, tile example: 2 2 3 3 CVC3 prover invoked with query: (LET cvc_0 = (X1[1] + X1[0])
