projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 27b4722) | patch
Document type rules (#8248)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 12 Mar 2022 01:09:54 +0000 (19:09 -0600)
committerGitHub <noreply@github.com>
Sat, 12 Mar 2022 01:09:54 +0000 (01:09 +0000)
commite951bcab2f4d2c19557b8af8eb8f925ffe718ee8
tree74b131c3a344d6d7abd8032cff7356a752def33atree
parent27b472240649f4fc6a9a2819282711300b426ba6commit | diff
Document type rules (#8248)

Fixes cvc5/cvc5-projects#272.
Fixes cvc5/cvc5-projects#270.
Fixes cvc5/cvc5-projects#269.
Fixes cvc5/cvc5-projects#268.

Also makes a few minor internal fixes to type rules.
src/theory/datatypes/theory_datatypes_type_rules.h diff | blob | history
src/theory/quantifiers/theory_quantifiers_type_rules.h diff | blob | history
src/theory/sep/theory_sep_type_rules.h diff | blob | history
src/theory/uf/theory_uf_type_rules.cpp diff | blob | history
src/theory/uf/theory_uf_type_rules.h diff | blob | history