merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE703b601d71b5: cleanup of old proofs
rISABELLEa7877e14e7f8: proper output directory (amending cc1347c8c804); - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- dcc0022f0179 updated to cvc4-1.8;Author
- e0443773ef1a clarified modules;Author
- 035b8054013a tuned NEWS;Author
- b22f1e2b4e94 removed unused material;Author
- 7ab733b2aecb more NEWS;Author
- 86fac52c2795 more interrupts;Author
- 1cbf36ac4d0b clarified messages;Author
- cc1347c8c804 clarified document output;Author
- a9fea3f11cc0 clarified messages;Author
- 573ccec4dbac tuned signature;Author
- 588c751a5eef more standard imports;Author
- 4db9411c859c tuned signature;Author
- 7e5102e11c5e clarified messages;Author
- 0d3224b3a92c proper message;Author
- e9030100f97d clarified signature;Author
- 5c08ad7adf77 clarified modules;Author
- febfb98d0941 renamed data typeAuthor
- a17c17ab931c tuned terminologyAuthor
- 99a6bcd1e8e4 tuned signature;Author
- 07edf1952ab1 clarified modules;Author
- 52cb065aa916 clarified modules;Author