projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3904779) | patch
fixes to attribute-internals warnings on 64-bit; also some GCC function attribute...
authorMorgan Deters <mdeters@gmail.com>
Sun, 27 Mar 2011 19:02:02 +0000 (19:02 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 27 Mar 2011 19:02:02 +0000 (19:02 +0000)
commit4000100e143e364be9f292c38fa1158e3a516c55
tree9d95a28b1c7f6f577bd5461f8092e5adae460c1ftree
parent390477967f6179b03754c27be027b22ea77052bccommit | diff
fixes to attribute-internals warnings on 64-bit; also some GCC function attribute cleanup; nothing major
src/expr/attribute_internals.h diff | blob | history
src/include/cvc4_public.h diff | blob | history