projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d6fac5f) | patch
Initial cleaning of inst match generator (#5794)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 24 Jan 2021 18:43:54 +0000 (12:43 -0600)
committerGitHub <noreply@github.com>
Sun, 24 Jan 2021 18:43:54 +0000 (12:43 -0600)
commit9d8a3b458b11961026ee1e58782ff073de29f93b
tree8a72e027076b3ca2b8af71595a464e46cb39725dtree
parentd6fac5f28f99464dc04d8fb604ce16e56342300ecommit | diff
Initial cleaning of inst match generator (#5794)

In preparation towards breaking this file up into multiple files.

No code changes, only updates to conform to new guidelines.
src/theory/quantifiers/ematching/inst_match_generator.cpp diff | blob | history
src/theory/quantifiers/ematching/inst_match_generator.h diff | blob | history