projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4397bf2) | patch
Set instantiation level on skolemized bodies of quantifiers. Rename inst-level attri...
authorajreynol <andrew.j.reynolds@gmail.com>
Fri, 29 Aug 2014 14:06:50 +0000 (16:06 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Fri, 29 Aug 2014 14:06:50 +0000 (16:06 +0200)
commite9fb730333b2719cddaa0a9209aa7953d7f30b0b
treeda178be240ac8121635bed7cdfde8c58449e65a5tree
parent4397bf2a96fabe124ebd18e9ae9957689852afb3commit | diff
Set instantiation level on skolemized bodies of quantifiers.  Rename inst-level attribute to quant-inst-max-level
src/parser/smt2/Smt2.g diff | blob | history
src/theory/quantifiers/quantifiers_attributes.cpp diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history