projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Scaffold the idiomatic API's documentation (#7715)
2021-11-30
Gereon Kremer
Remove now unused dumping infrastructure (#7703)
commit
|
commitdiff
|
tree
2021-11-29
Gereon Kremer
Fix minor issues (#7704)
commit
|
commitdiff
|
tree
2021-11-25
Gereon Kremer
Consolidate CI jobs (#7697)
commit
|
commitdiff
|
tree
2021-11-23
Gereon Kremer
Add kinds to python docs (#7672)
commit
|
commitdiff
|
tree
2021-11-23
Gereon Kremer
Push output language inside the printing code (#7683)
commit
|
commitdiff
|
tree
2021-11-22
Gereon Kremer
Refactor IO stream manipulators (#7555)
commit
|
commitdiff
|
tree
2021-11-22
Gereon Kremer
Set proper system processor for arm64 toolchain (#7665)
commit
|
commitdiff
|
tree
2021-11-18
Gereon Kremer
Refactor CAD option for linear model seed (#7657)
commit
|
commitdiff
|
tree
2021-11-17
Gereon Kremer
Add documentation for z3py compatibility API (#7652)
commit
|
commitdiff
|
tree
2021-11-17
Gereon Kremer
Implement aggressive pruning in CAD solver (#7650)
commit
|
commitdiff
|
tree
2021-11-17
Gereon Kremer
make default and modes strings instead of enum values...
commit
|
commitdiff
|
tree
2021-11-12
Gereon Kremer
Various minor docs improvements (#7626)
commit
|
commitdiff
|
tree
2021-11-09
Gereon Kremer
Make secant points user context dependent (#7567)
commit
|
commitdiff
|
tree
2021-11-09
Gereon Kremer
Remove `CVC5Message` (#7610)
commit
|
commitdiff
|
tree
2021-11-09
Gereon Kremer
Remove antlr_tracing.h (#7608)
commit
|
commitdiff
|
tree
2021-11-09
Gereon Kremer
Remove more static option accesses (#7582)
commit
|
commitdiff
|
tree
2021-11-09
Gereon Kremer
Remove command-verbosity option (#7581)
commit
|
commitdiff
|
tree
2021-11-08
Gereon Kremer
Improve rendering of expert options. (#7589)
commit
|
commitdiff
|
tree
2021-11-06
Gereon Kremer
Integrate java unit tests into ctest (#7593)
commit
|
commitdiff
|
tree
2021-11-06
Gereon Kremer
Only run regress0 for static build (#7592)
commit
|
commitdiff
|
tree
2021-11-06
Gereon Kremer
Remove `Notice()` in favor of new `verbose()` (#7588)
commit
|
commitdiff
|
tree
2021-11-05
Gereon Kremer
Remove `Chat()` in favor of new `verbose()` (#7586)
commit
|
commitdiff
|
tree
2021-11-05
Gereon Kremer
Fix some issues with the java api (#7583)
commit
|
commitdiff
|
tree
2021-11-05
Gereon Kremer
Remove quadratic solving in NlModel (#7542)
commit
|
commitdiff
|
tree
2021-11-05
Gereon Kremer
Eliminate `Warning` macro in favor of `EnvObj::warning...
commit
|
commitdiff
|
tree
2021-11-05
Gereon Kremer
Remove a bunch of debugging/logging code from the linear...
commit
|
commitdiff
|
tree
2021-11-04
Gereon Kremer
Start refactoring of `-o` and `-v` (#7449)
commit
|
commitdiff
|
tree
2021-11-04
Gereon Kremer
Refactor cmake to build either static or shared (#7534)
commit
|
commitdiff
|
tree
2021-11-04
Gereon Kremer
Fix links in README.md (#7568)
commit
|
commitdiff
|
tree
2021-11-04
Gereon Kremer
Enable CDCAC solver for selected quantified logics...
commit
|
commitdiff
|
tree
2021-11-04
Gereon Kremer
Add support for special tag collectors (#7562)
commit
|
commitdiff
|
tree
2021-11-04
Gereon Kremer
Minor cleanup in SolverEngine::setInfo() (#7566)
commit
|
commitdiff
|
tree
2021-11-01
Gereon Kremer
Add explicit option enum value __MAX_VALUE (#7547)
commit
|
commitdiff
|
tree
2021-11-01
Gereon Kremer
Fix a couple of issues with uploading docs for releases...
commit
|
commitdiff
|
tree
2021-11-01
Gereon Kremer
Clean up CLN includes (#7544)
commit
|
commitdiff
|
tree
2021-11-01
Gereon Kremer
Add fuzzing target for murxla (#7490)
commit
|
commitdiff
|
tree
2021-11-01
Gereon Kremer
Replace more static options accesses (#7531)
commit
|
commitdiff
|
tree
2021-11-01
Gereon Kremer
Refactor DidYouMean (#7535)
commit
|
commitdiff
|
tree
2021-10-29
Gereon Kremer
Fix proof of nl lemma for a corner case (#7530)
commit
|
commitdiff
|
tree
2021-10-29
Gereon Kremer
Remove options::X__numValues (#7419)
commit
|
commitdiff
|
tree
2021-10-29
Gereon Kremer
Remove static access to options in decision folder...
commit
|
commitdiff
|
tree
2021-10-28
Gereon Kremer
Fix proof for xor in circuit propagator (#7525)
commit
|
commitdiff
|
tree
2021-10-28
Gereon Kremer
Combine `--static` and `--static-binary` (#7520)
commit
|
commitdiff
|
tree
2021-10-28
Gereon Kremer
Remove separate cpp docs for UnknownExplanation (#7516)
commit
|
commitdiff
|
tree
2021-10-28
Gereon Kremer
Build shared and static in CI (#7472)
commit
|
commitdiff
|
tree
2021-10-27
Gereon Kremer
Add comments for arith type rules. (#7488)
commit
|
commitdiff
|
tree
2021-10-27
Gereon Kremer
Add documentation on output tags (#7499)
commit
|
commitdiff
|
tree
2021-10-27
Gereon Kremer
Fix patching for poly on windows (#7513)
commit
|
commitdiff
|
tree
2021-10-27
Gereon Kremer
Make --version exit (#7506)
commit
|
commitdiff
|
tree
2021-10-27
Gereon Kremer
Fix libpoly build on windows (#7502)
commit
|
commitdiff
|
tree
2021-10-26
Gereon Kremer
Upload docs for tags to docs-releases (#7415)
commit
|
commitdiff
|
tree
2021-10-26
Gereon Kremer
Fix frequent rebuild of options target (#7450)
commit
|
commitdiff
|
tree
2021-10-26
Gereon Kremer
Fix Configuration::isStaticBuild (#7456)
commit
|
commitdiff
|
tree
2021-10-22
Gereon Kremer
Remove options::X__name (#7414)
commit
|
commitdiff
|
tree
2021-10-22
Gereon Kremer
Fix out-of-sync pruning in CDCAC proofs (#7470)
commit
|
commitdiff
|
tree
2021-10-22
Gereon Kremer
Fix another double negation proof issue (#7468)
commit
|
commitdiff
|
tree
2021-10-22
Gereon Kremer
Make CAD proofs user context dependent (#7466)
commit
|
commitdiff
|
tree
2021-10-21
Gereon Kremer
Also fix case of negated ite (#7454)
commit
|
commitdiff
|
tree
2021-10-21
Gereon Kremer
Fix symmetric proof issue for ITE in circuit propagator...
commit
|
commitdiff
|
tree
2021-10-21
Gereon Kremer
Add regression (#7447)
commit
|
commitdiff
|
tree
2021-10-21
Gereon Kremer
Fix incorrect proof from ITE in circuit propagator...
commit
|
commitdiff
|
tree
2021-10-21
Gereon Kremer
Working on windows builds (#7381)
commit
|
commitdiff
|
tree
2021-10-21
Gereon Kremer
Add setup to generate graphs for cmake target dependencies...
commit
|
commitdiff
|
tree
2021-10-21
Gereon Kremer
Fix (#7437)
commit
|
commitdiff
|
tree
2021-10-20
Gereon Kremer
Fix docs upload (again) (#7435)
commit
|
commitdiff
|
tree
2021-10-20
Gereon Kremer
Fix inadvertent failure of workflow step (#7420)
commit
|
commitdiff
|
tree
2021-10-19
Gereon Kremer
Remove setDefaults methods (#7413)
commit
|
commitdiff
|
tree
2021-10-15
Gereon Kremer
Have docs_upload properly upload tags. (#7352)
commit
|
commitdiff
|
tree
2021-10-14
Gereon Kremer
Fix (get-info :authors) (#7373)
commit
|
commitdiff
|
tree
2021-10-14
Gereon Kremer
Improve ManagedStreams (#7367)
commit
|
commitdiff
|
tree
2021-10-14
Gereon Kremer
Also test older cmake versions (#7347)
commit
|
commitdiff
|
tree
2021-10-14
Gereon Kremer
Fix GLPK linking (#7357)
commit
|
commitdiff
|
tree
2021-10-12
Gereon Kremer
Fix glpk, add antlr.so (#7341)
commit
|
commitdiff
|
tree
2021-10-11
Gereon Kremer
Antlr: runtime -> libraries (#7338)
commit
|
commitdiff
|
tree
2021-10-11
Gereon Kremer
Revert #7257 (#7337)
commit
|
commitdiff
|
tree
2021-10-11
Gereon Kremer
Add CI workflow to test different cmake versions (...
commit
|
commitdiff
|
tree
2021-10-11
Gereon Kremer
Restore compatibility with cmake 3.9 (#7329)
commit
|
commitdiff
|
tree
2021-10-09
Gereon Kremer
Remove static accesses to options where EnvObj is used...
commit
|
commitdiff
|
tree
2021-10-08
Gereon Kremer
Ignore zip files for docs upload diff (#7322)
commit
|
commitdiff
|
tree
2021-10-08
Gereon Kremer
Attach the static binaries to a release (#7324)
commit
|
commitdiff
|
tree
2021-10-07
Gereon Kremer
Add a binary / SMT-LIB quickstart (#7315)
commit
|
commitdiff
|
tree
2021-10-07
Gereon Kremer
Add new versioning scheme (#7253)
commit
|
commitdiff
|
tree
2021-10-07
Gereon Kremer
Fix/Improve static and shared builds with CLN or Poly...
commit
|
commitdiff
|
tree
2021-10-07
Gereon Kremer
Replace doubles by rationals in C++ quickstart (#7317)
commit
|
commitdiff
|
tree
2021-10-07
Gereon Kremer
Change behaviour of Term::getRealValue() (#7316)
commit
|
commitdiff
|
tree
2021-10-06
Gereon Kremer
Change semantics of dumpUnsatCoresFull (#7314)
commit
|
commitdiff
|
tree
2021-10-06
Gereon Kremer
Enable static builds in CI (#7281)
commit
|
commitdiff
|
tree
2021-10-06
Gereon Kremer
Remove timestamped javadoc comments (#7304)
commit
|
commitdiff
|
tree
2021-10-05
Gereon Kremer
First round of refactoring on NlModel (#7255)
commit
|
commitdiff
|
tree
2021-10-05
Gereon Kremer
Reformulate (#7305)
commit
|
commitdiff
|
tree
2021-10-05
Gereon Kremer
Finish refactoring on option handlers (#7295)
commit
|
commitdiff
|
tree
2021-10-04
Gereon Kremer
Add sygus examples to documentation (#7303)
commit
|
commitdiff
|
tree
2021-10-04
Gereon Kremer
Various improvements to documentation (#7283)
commit
|
commitdiff
|
tree
2021-10-04
Gereon Kremer
No longer build docs by default. Use make docs. (#7296)
commit
|
commitdiff
|
tree
2021-10-01
Gereon Kremer
Remove (apparently obsolete) checks in cms config ...
commit
|
commitdiff
|
tree
2021-10-01
Gereon Kremer
Clean options handlers (#7201)
commit
|
commitdiff
|
tree
2021-10-01
Gereon Kremer
Fix some python docstrings which lead to sphinx warnings...
commit
|
commitdiff
|
tree
2021-09-30
Gereon Kremer
Integrate javadoc documentation (#7278)
commit
|
commitdiff
|
tree
2021-09-30
Gereon Kremer
Refactor our static builds (#7251)
commit
|
commitdiff
|
tree
2021-09-30
Gereon Kremer
Remove usage of static options in arithmetic theory...
commit
|
commitdiff
|
tree
next