projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Support get-abduct-next (#7850)
2021-12-21
Gereon Kremer
Disable unit tests without poly (#7844)
commit
|
commitdiff
|
tree
2021-12-17
Gereon Kremer
Fix tracker in SubstitutionMap (#7829)
commit
|
commitdiff
|
tree
2021-12-14
Gereon Kremer
Make some undocumented options regular/expert (#7805)
commit
|
commitdiff
|
tree
2021-12-14
Gereon Kremer
Fix issues with tracing builds (#7809)
commit
|
commitdiff
|
tree
2021-12-13
Gereon Kremer
Improve nonlinear solver (#7787)
commit
|
commitdiff
|
tree
2021-12-10
Gereon Kremer
Eliminate more static rewrites (#7786)
commit
|
commitdiff
|
tree
2021-12-10
Gereon Kremer
Some cleanup around trace and debug (#7792)
commit
|
commitdiff
|
tree
2021-12-10
Gereon Kremer
Allow for wildcards in `-t` (#7791)
commit
|
commitdiff
|
tree
2021-12-09
Gereon Kremer
Fix sine symmetry proof (#7783)
commit
|
commitdiff
|
tree
2021-12-08
Gereon Kremer
Remove rewrites from iand and pow2 solvers (#7775)
commit
|
commitdiff
|
tree
2021-12-08
Gereon Kremer
Eliminate rewriter from transcendental solver (#7772)
commit
|
commitdiff
|
tree
2021-12-08
Gereon Kremer
Static options acceses again (#7771)
commit
|
commitdiff
|
tree
2021-12-08
Gereon Kremer
Turn kinds in python API into a proper Enum (#7686)
commit
|
commitdiff
|
tree
2021-12-08
Gereon Kremer
Improve options tests (#7761)
commit
|
commitdiff
|
tree
2021-12-07
Gereon Kremer
Remove more static accesses to options (#7764)
commit
|
commitdiff
|
tree
2021-12-07
Gereon Kremer
Simpler versioning if release flag is set (#7758)
commit
|
commitdiff
|
tree
2021-12-07
Gereon Kremer
Fix 32bit issue in sep_log_api test (#7752)
commit
|
commitdiff
|
tree
2021-12-06
Gereon Kremer
Disable option regression for competition build (#7751)
commit
|
commitdiff
|
tree
2021-12-06
Gereon Kremer
Use unique_ptr instead of raw pointers (#7749)
commit
|
commitdiff
|
tree
2021-12-04
Gereon Kremer
More robust fix for 32bit issues. (#7735)
commit
|
commitdiff
|
tree
2021-12-03
Gereon Kremer
Fix a few broken links (#7734)
commit
|
commitdiff
|
tree
2021-12-02
Gereon Kremer
Add explicit 64bit getters for Integer class (#7728)
commit
|
commitdiff
|
tree
2021-12-02
Gereon Kremer
Remove void as possible option type (#7731)
commit
|
commitdiff
|
tree
2021-12-02
Gereon Kremer
Check docs for broken links before uploading (#7729)
commit
|
commitdiff
|
tree
2021-12-02
Gereon Kremer
Add unit tests for api::Solver::setOption() (#7708)
commit
|
commitdiff
|
tree
2021-12-01
Gereon Kremer
Add the first example for z3pycompat (#7722)
commit
|
commitdiff
|
tree
2021-12-01
Gereon Kremer
Use new token for docs-release (#7709)
commit
|
commitdiff
|
tree
2021-11-30
Gereon Kremer
Always run update-pr (#7719)
commit
|
commitdiff
|
tree
2021-11-30
Gereon Kremer
Extend docs example extension (#7717)
commit
|
commitdiff
|
tree
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
next