projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 668f318) | patch
Op overload no fun variant (#1285)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 26 Oct 2017 21:49:55 +0000 (16:49 -0500)
committerGitHub <noreply@github.com>
Thu, 26 Oct 2017 21:49:55 +0000 (16:49 -0500)
commit59c85cd022a38ec371a78f93fba7b2be35203055
treeeb52c6aa9e67a74b56803dd92765a9616389a071tree
parent668f31897cf90544d089f53f0f4499b828d7f84bcommit | diff
Op overload no fun variant (#1285)

* Do not allow function variants with operator overloading.

* Minor.

* New clang format.

* Minor improvements.
src/expr/symbol_table.cpp diff | blob | history