projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Remove instantiation propagator infrastructure (#3975)
[cvc5.git]
/
src
/
theory
/
quantifiers
/
instantiate.cpp
2020-03-10
Andrew Reynolds
Remove instantiation propagator infrastructure (#3975)
blob
|
commitdiff
|
raw
2020-02-27
Andrew Reynolds
Initial work towards -Wshadow (#3817)
blob
|
commitdiff
|
raw
|
diff to current
2020-02-20
Mathias Preiner
resource manager: Add statistic for every resource...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-22
Andrew Reynolds
Fix subtyping for instantiations where internal represe...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-12
Andrew Reynolds
Update to standard implementation of contains term...
blob
|
commitdiff
|
raw
|
diff to current
2019-09-11
Andrew Reynolds
Infrastructure for instantiation rewriter (#3262)
blob
|
commitdiff
|
raw
|
diff to current
2019-08-05
Andrew Reynolds
Remove forward declarations in quantifiers engine ...
blob
|
commitdiff
|
raw
|
diff to current
2019-08-02
Andrew Reynolds
Throw option exception when track inst lemmas is not...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-09
Andrew Reynolds
Fixes for relational triggers (#2967)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-26
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-17
Andrew Reynolds
Move inst_strategy_cbqi to inst_strategy_cegqi (#2477)
blob
|
commitdiff
|
raw
|
diff to current
2018-09-10
Andrew Reynolds
Squash implementation of counterexample-guided instanti...
blob
|
commitdiff
|
raw
|
diff to current
2018-09-07
Andrew Reynolds
Make isClosedEnumerable a member of TypeNode (#2434)
blob
|
commitdiff
|
raw
|
diff to current
2018-06-25
Aina Niemetz
Updated copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2018-03-23
Andrew Reynolds
Remove unused code (#1700)
blob
|
commitdiff
|
raw
|
diff to current
2018-02-14
Andrew Reynolds
Quantifiers subdirectories (#1608)
blob
|
commitdiff
|
raw
|
diff to current
2017-11-25
Andrew Reynolds
(Refactor) Instantiate utility (#1387)
blob
|
commitdiff
|
raw
|
diff to current