projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 529a7b1) | patch
* some build fixes; thanks; thanks to Kunal Ganeshpure for noting these issues
authorMorgan Deters <mdeters@gmail.com>
Thu, 6 Dec 2012 01:38:17 +0000 (01:38 +0000)
committerFrançois Bobot <francois@bobot.eu>
Thu, 6 Dec 2012 10:21:17 +0000 (11:21 +0100)
commite90877c392971112636cf28d521d1fd525824009
treeea6f53c462048fa8f356b5cd437e9b89802fbdfctree
parent529a7b1af9077c5629bcde28b185e4a8dffe1d62commit | diff
* some build fixes; thanks; thanks to Kunal Ganeshpure for noting these issues
* build bugfix for win32
* also fix a bug re: tuples and records in the datatypes rewriter

These fixes are for both trunk and 1.0.x branches.

(cherry picked from commit 8c8985f024cec925f774ff32ebccc306be8e4b26)
src/prop/bvminisat/utils/System.h diff | blob | history
src/theory/datatypes/datatypes_rewriter.h diff | blob | history
src/util/exception.h diff | blob | history
src/util/lemma_input_channel.h diff | blob | history
src/util/lemma_output_channel.h diff | blob | history
src/util/proof.h diff | blob | history