projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19b3adf) | patch
add gcc version information to Configuration, and warn when building with v4.5.1...
authorMorgan Deters <mdeters@gmail.com>
Fri, 21 Oct 2011 04:25:19 +0000 (04:25 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 21 Oct 2011 04:25:19 +0000 (04:25 +0000)
commitda1f0e9e8479741487a59ad68198262c3730081e
tree2f764fcd4574ddefd62ad0da44b1bec64df685ddtree
parent19b3adf57987584096ca59dc9852fb9573ee1715commit | diff
add gcc version information to Configuration, and warn when building with v4.5.1 which has a buggy optimizer (resolves bug #266)
README diff | blob | history
config/gcc_version.m4 [new file with mode: 0644] blob
configure.ac diff | blob | history
src/util/configuration.cpp diff | blob | history
src/util/configuration.h diff | blob | history
src/util/configuration_private.h diff | blob | history