projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Bug fixes and improvements for mbqi with theory symbols, TheoryModel fullModel=false...
[cvc5.git]
/
src
/
theory
/
quantifiers
/
fun_def_process.cpp
2015-04-26
ajreynol
Bug fixes and improvements for mbqi with theory symbols...
blob
|
commitdiff
|
raw
2015-04-24
ajreynol
Fix sygus parser for non-tokenized operators, reenable...
blob
|
commitdiff
|
raw
|
diff to current
2015-04-17
Kshitij Bansal
Merge pull request #72 from kbansal/decision-requirephase
blob
|
commitdiff
|
raw
|
diff to current
2015-04-09
ajreynol
Fix unsat-core issues related to rewrite rules, quantif...
blob
|
commitdiff
|
raw
|
diff to current
2015-04-08
ajreynol
Make fun-def quantifiers carry the function app they...
blob
|
commitdiff
|
raw
|
diff to current
2015-04-02
Kshitij Bansal
Merge pull request #71 from kbansal/const-are-triggers
blob
|
commitdiff
|
raw
|
diff to current
2015-04-01
ajreynol
Improvements and bug fixes related to cbqi/cegqi. ...
blob
|
commitdiff
|
raw
|
diff to current
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-11-10
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-05
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-05
ajreynol
More work on datatypes theory combination: fix bug...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-31
ajreynol
Do not allow duplication of function definitions. ...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-28
ajreynol
Preprocessing step for finding finite runs of well...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-28
ajreynol
Initial infrastructure for function definition quantifi...
blob
|
commitdiff
|
raw
|
diff to current