projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f28bab5) | patch
change detection/handling of output language more reasonably; fixes a nagging bug...
authorMorgan Deters <mdeters@gmail.com>
Fri, 30 Nov 2012 21:31:12 +0000 (21:31 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 30 Nov 2012 21:31:12 +0000 (21:31 +0000)
commit5ab0f03e947ce6b81df2b30a48b300b72100100e
tree54dc654e6860174976c8d0def8da6b2a454695e6tree
parentf28bab562105548413cfca93de5c9b047157a076commit | diff
change detection/handling of output language more reasonably; fixes a nagging bug Tim found in API examples

(this commit was certified error- and warning-free by the test-and-commit script.)
examples/api/Makefile [new file with mode: 0644] blob
src/expr/expr_template.h diff | blob | history