projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
Refactor options parsing (#7143)
2021-05-17
Gereon Kremer
Improve integration of CAD with nl-Ext (#6542)
commit
|
commitdiff
|
tree
2021-05-14
Gereon Kremer
Restrict additional CI jobs (#6539)
commit
|
commitdiff
|
tree
2021-05-13
Gereon Kremer
Split options holder class (#6527)
commit
|
commitdiff
|
tree
2021-05-12
Gereon Kremer
Move docs upload to a different workflow (#6512)
commit
|
commitdiff
|
tree
2021-05-12
Gereon Kremer
Use signal(sig, SIG_DFL); raise(sig); instead of abort...
commit
|
commitdiff
|
tree
2021-05-10
Gereon Kremer
Remove header for option modules (#6514)
commit
|
commitdiff
|
tree
2021-05-10
Gereon Kremer
Remove read_only from options. (#6513)
commit
|
commitdiff
|
tree
2021-05-07
Gereon Kremer
Integrate documentation build with the regular CI workflow...
commit
|
commitdiff
|
tree
2020-12-09
Gereon Kremer
Split initial exp lemma into separate lemmas. (#5622)
commit
|
commitdiff
|
tree
2020-12-08
Gereon Kremer
Add regression from #1978. (#5552)
commit
|
commitdiff
|
tree
2020-12-07
Gereon Kremer
Refactor initial phase of transcendental solver (#5599)
commit
|
commitdiff
|
tree
2020-08-24
Gereon Kremer
Fix memory issue in AntlrInput::parseError (#4873)
commit
|
commitdiff
|
tree
2020-07-21
Gereon Kremer
Preparations for a CAD-based arithmetic solver (#4762)
commit
|
commitdiff
|
tree