projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12770db) | patch
Expand arith's farkas lemma rule as a macro (#6577)
authorAlex Ozdemir <aozdemir@hmc.edu>
Thu, 20 May 2021 01:16:12 +0000 (18:16 -0700)
committerGitHub <noreply@github.com>
Thu, 20 May 2021 01:16:12 +0000 (01:16 +0000)
commit8bb85b0f1664f6d03bcbf3997533140204c29251
tree4979d8adedcf00d55706b5b6967a7f5bf3cddcaatree
parent12770db5ef8a0a86dd264311955e105a78ae0b29commit | diff
Expand arith's farkas lemma rule as a macro (#6577)

reflects that it is a macro, which we will eliminate
src/expr/proof_rule.cpp diff | blob | history
src/expr/proof_rule.h diff | blob | history
src/smt/proof_post_processor.cpp diff | blob | history
src/theory/arith/congruence_manager.cpp diff | blob | history
src/theory/arith/constraint.cpp diff | blob | history
src/theory/arith/proof_checker.cpp diff | blob | history
src/theory/arith/theory_arith_private.cpp diff | blob | history