projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c165a7c) | patch
Add -lprofiler when --with-google-perftools is offered; also fix some newswire-raised...
authorMorgan Deters <mdeters@gmail.com>
Sun, 10 Apr 2011 00:14:49 +0000 (00:14 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 10 Apr 2011 00:14:49 +0000 (00:14 +0000)
commit8495ee8e7de4a7e472d72cfb20290940c59794e3
tree5400ea6b8ea2acd24c76fe4e96220275345506d1tree
parentc165a7c05ca79659d2f0451cb795b17dec5dcfb6commit | diff
Add -lprofiler when --with-google-perftools is offered; also fix some newswire-raised documentation issues.
configure.ac diff | blob | history
src/parser/bounded_token_buffer.h diff | blob | history
src/theory/rewriter_tables_template.h diff | blob | history