projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd0a6c3) | 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)
committerMorgan Deters <mdeters@gmail.com>
Thu, 6 Dec 2012 01:38:17 +0000 (01:38 +0000)
commit8c8985f024cec925f774ff32ebccc306be8e4b26
tree995253cc03ff5c711b4d1778792692c81961b146tree
parentbd0a6c39c56c6ad2bf12e7b9fd41db1772fed9cdcommit | 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.
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