projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c991b73) | patch
force sorting of AC_CONFIG_FILES, otherwise different computers generate the configur...
authorMorgan Deters <mdeters@gmail.com>
Sat, 6 Feb 2010 17:31:15 +0000 (17:31 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 6 Feb 2010 17:31:15 +0000 (17:31 +0000)
commit77d1a001051d0a91d09433a69f16999330b4aab5
tree356774c9fb1255b0b06d3275231a0de368ac7e79tree
parentc991b73b95734fb306badeafb5f387623c7fb790commit | diff
force sorting of AC_CONFIG_FILES, otherwise different computers generate the configure script differently and we get useless commits of it; fix NodeBuilder memory leak in response to Kaustubh's expr code review (bug#15)
configure diff | blob | history
configure.ac diff | blob | history
src/expr/node_builder.h diff | blob | history