projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40f3b40) | patch
No more dependence on libstdc++ or PBDS stuff: remove build stuff that supported it.
authorMorgan Deters <mdeters@cs.nyu.edu>
Tue, 17 Jun 2014 20:58:43 +0000 (16:58 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Tue, 17 Jun 2014 22:51:52 +0000 (18:51 -0400)
commit8a60fd352273ccafcdfd7b0582182444f9a19183
tree216437f0e1aacb28f48d94397fe42b9b6e4dd611tree
parent40f3b400173c637185eb9ad20e649bd92030c82bcommit | diff
No more dependence on libstdc++ or PBDS stuff: remove build stuff that supported it.
configure.ac diff | blob | history