git.libre-soc.org Git - cvc5.git/search

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
2021-09-29	Gereon Kremer	remove stuff (#7258)	commit \| commitdiff \| tree
2021-09-28	Gereon Kremer	Remove linking against RT (#7257)	commit \| commitdiff \| tree
2021-09-23	Gereon Kremer	Eliminate Output macro in favor of simple Env functions...	commit \| commitdiff \| tree
2021-09-23	Gereon Kremer	Refactor check interface of nonlinear extension (#7235)	commit \| commitdiff \| tree
2021-09-22	Gereon Kremer	Eliminate arithmetic proof macros (#7226)	commit \| commitdiff \| tree
2021-09-20	Gereon Kremer	Add anchors to cmdline options (#7210)	commit \| commitdiff \| tree
2021-09-18	Gereon Kremer	Refactor tag suggestion mechanism (#7199)	commit \| commitdiff \| tree
2021-09-17	Gereon Kremer	Replace write access to options by a local variable...	commit \| commitdiff \| tree
2021-09-17	Gereon Kremer	Minor cleanup related to EnvObj (#7206)	commit \| commitdiff \| tree
2021-09-15	Gereon Kremer	remove options that are no longer used (#7197)	commit \| commitdiff \| tree
2021-09-14	Gereon Kremer	Final cleanup (#7193)	commit \| commitdiff \| tree
2021-09-14	Gereon Kremer	Refactor code generation for option modules (#7182)	commit \| commitdiff \| tree
2021-09-14	Gereon Kremer	Turn sphinx generation into a function (#7181)	commit \| commitdiff \| tree
2021-09-13	Gereon Kremer	Add Solver::isOutputOn() (#7187)	commit \| commitdiff \| tree
2021-09-13	Gereon Kremer	Refactor generation code for getInfo() (#7176)	commit \| commitdiff \| tree
2021-09-13	Gereon Kremer	Add main options to cmake (#7178)	commit \| commitdiff \| tree
2021-09-13	Gereon Kremer	Reorder code (#7175)	commit \| commitdiff \| tree
2021-09-13	Gereon Kremer	Refactor options parsing (#7143)	commit \| commitdiff \| tree
2021-09-11	Gereon Kremer	Use StatisticsRegistry from Env (#7166)	commit \| commitdiff \| tree
2021-09-10	Gereon Kremer	Refactor command-line help (#7157)	commit \| commitdiff \| tree
2021-09-10	Gereon Kremer	Use EnvObj-based options in preprocessing (#7165)	commit \| commitdiff \| tree
2021-09-09	Gereon Kremer	Add Solver::getOutput() (#7162)	commit \| commitdiff \| tree
2021-09-08	Gereon Kremer	Refactor options::set() (#7138)	commit \| commitdiff \| tree
2021-09-08	Gereon Kremer	Work on comments (#7139)	commit \| commitdiff \| tree
2021-09-08	Gereon Kremer	A couple of minor cleanups (#7141)	commit \| commitdiff \| tree
2021-09-08	Gereon Kremer	Refactor code generation for options.h/.cpp (#7126)	commit \| commitdiff \| tree
2021-09-03	Gereon Kremer	Refactor option sanitizations (#7129)	commit \| commitdiff \| tree
2021-09-03	Gereon Kremer	Check that alternate is only set for bool (#7125)	commit \| commitdiff \| tree
2021-09-03	Gereon Kremer	Refactor options::get() and options::getNames() (#7135)	commit \| commitdiff \| tree
2021-09-03	Gereon Kremer	Remove "experimental" options (#7124)	commit \| commitdiff \| tree
2021-09-02	Gereon Kremer	Refactor options handlers (#7080)	commit \| commitdiff \| tree
2021-09-02	Gereon Kremer	Add API check whether option in getOptionInfo() exists...	commit \| commitdiff \| tree
2021-09-02	Gereon Kremer	Driver & Options cleanup (#7109)	commit \| commitdiff \| tree
2021-09-02	Gereon Kremer	Remove options::getAll() (#7111)	commit \| commitdiff \| tree
2021-09-01	Gereon Kremer	Make driver::totalTime a TimerStat (#7089)	commit \| commitdiff \| tree
2021-09-01	Gereon Kremer	No longer use direct access to options in driver (...	commit \| commitdiff \| tree
2021-08-31	Gereon Kremer	Make sure modes are sorted in ModeInfo (#7097)	commit \| commitdiff \| tree
2021-08-30	Gereon Kremer	Add API function to obtain information about a single...	commit \| commitdiff \| tree
2021-08-30	Gereon Kremer	Refactor filename handling (#7088)	commit \| commitdiff \| tree
2021-08-27	Gereon Kremer	Add Driver options (#7078)	commit \| commitdiff \| tree
next

RSS Atom