projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ea33ca) | patch
Add comments for arith type rules. (#7488)
authorGereon Kremer <nafur42@gmail.com>
Wed, 27 Oct 2021 23:40:31 +0000 (16:40 -0700)
committerGitHub <noreply@github.com>
Wed, 27 Oct 2021 23:40:31 +0000 (23:40 +0000)
commit898290ddffe61d19588182cc01a8af39c9252156
tree4d9d9e3fd2178db9c4fce777a6b3c8f05899e2ebtree
parent5ea33ca829d257d408a242974b28bd6defafff6ecommit | diff
Add comments for arith type rules. (#7488)

Add comments for the arithmetic type rules.

Fixes cvc5/cvc5-projects#273.
src/theory/arith/theory_arith_type_rules.cpp diff | blob | history
src/theory/arith/theory_arith_type_rules.h diff | blob | history