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

2021-05-20	Mathias Preiner	Update version of CaDiCaL. (#6583)	commit \| commitdiff \| tree
2021-05-19	Mathias Preiner	Correctly handle negated assertions for assumption...	commit \| commitdiff \| tree
2021-05-19	Mathias Preiner	bv: Add support for --bitblast=eager. (#6516)	commit \| commitdiff \| tree
2021-05-14	Mathias Preiner	bv: Assert input facts on user-level 0. (#6515)	commit \| commitdiff \| tree
2021-05-13	Mathias Preiner	Add std::hash overloads for Node, TNode and TypeNode...	commit \| commitdiff \| tree
2021-05-06	Mathias Preiner	Update README.md and remove last CVC4 references. ...	commit \| commitdiff \| tree
2021-05-04	Mathias Preiner	cmake: Fix ninja build. (#6481)	commit \| commitdiff \| tree
2021-04-30	Mathias Preiner	bv: Refactor ppAssert and move to TheoryBV. (#6470)	commit \| commitdiff \| tree
2021-04-24	Mathias Preiner	Add assumption-based unsat cores. (#6427)	commit \| commitdiff \| tree
2021-04-22	Mathias Preiner	cmake: Do not require --auto-download for already downloaded...	commit \| commitdiff \| tree
2021-04-21	Mathias Preiner	Goodbye CVC4, hello cvc5! (#6371)	commit \| commitdiff \| tree
2021-04-21	Mathias Preiner	cmake: Add optional module name argument for check_python_mo...	commit \| commitdiff \| tree
2021-04-16	Mathias Preiner	cmake: Build object libraries for base and context...	commit \| commitdiff \| tree
2021-04-15	Mathias Preiner	Build support library from base and context. (#6368)	commit \| commitdiff \| tree
2021-04-13	Mathias Preiner	ci: Use CVC5_REGRESSION_ARGS. (#6347)	commit \| commitdiff \| tree
2021-04-07	Mathias Preiner	cmake: Do not always regenerate cvc4kinds.{pxi,pxd...	commit \| commitdiff \| tree
2021-04-06	Mathias Preiner	cmake: Add helper to check if a given Python module...	commit \| commitdiff \| tree
2021-04-06	Mathias Preiner	genkinds: Do not use relative paths to find src directory...	commit \| commitdiff \| tree
2021-04-06	Mathias Preiner	parsekinds: Remove DEFAULT_HEADER. (#6294)	commit \| commitdiff \| tree
2021-04-02	Mathias Preiner	cmake: Do not link against main object library. (#6269)	commit \| commitdiff \| tree
2021-03-25	Mathias Preiner	Do not use Configuration class in API black tests....	commit \| commitdiff \| tree
2021-03-16	Mathias Preiner	ci: Enable checking of proofs + unsat cores. (#6088)	commit \| commitdiff \| tree
2021-03-16	Mathias Preiner	cmake: Generate cvc4_export.h and set visibility to...	commit \| commitdiff \| tree
2021-03-12	Mathias Preiner	cmake: Remove install rules for old API headers. (...	commit \| commitdiff \| tree
2021-03-12	Mathias Preiner	ci: Replace debug builds with assertion enabled production...	commit \| commitdiff \| tree
2021-03-11	Mathias Preiner	Fix compile warnings when compiling with GLPK. (#6115)	commit \| commitdiff \| tree
2021-03-11	Mathias Preiner	Use CVC4_ASSERTIONS instead of NDEBUG. (#6099)	commit \| commitdiff \| tree
2021-03-11	Mathias Preiner	Add GitHub action to automatically update approved...	commit \| commitdiff \| tree
2021-03-10	Mathias Preiner	Use Assert instead of assert. (#6095)	commit \| commitdiff \| tree
2021-03-10	Mathias Preiner	cmake: Fix optimization level for debug builds. (#6097)	commit \| commitdiff \| tree
2021-03-10	Mathias Preiner	test: Fix missing std::. (#6096)	commit \| commitdiff \| tree
2021-03-08	Mathias Preiner	contrib: Do not use HOST env variable for cross-compilation...	commit \| commitdiff \| tree
2021-03-06	Mathias Preiner	Remove partial UDIV/UREM operators. (#6069)	commit \| commitdiff \| tree
2021-03-06	Mathias Preiner	Remove SMT-LIB 2.5 and 2.0 support. (#6068)	commit \| commitdiff \| tree
2021-03-02	Mathias Preiner	Remove non-ASCII characters from source files. (#6039)	commit \| commitdiff \| tree
2021-03-02	Mathias Preiner	Add aarch64 (ARM64) cross-compile support. (#6033)	commit \| commitdiff \| tree
2021-03-02	Mathias Preiner	Fix nightly errors. (#6034)	commit \| commitdiff \| tree
2021-03-01	Mathias Preiner	Make -Werror optional but enable it for CI. (#6032)	commit \| commitdiff \| tree
2021-02-26	Mathias Preiner	Fix -Werror issues with clang and use clang for debug...	commit \| commitdiff \| tree
2021-02-25	Mathias Preiner	Enable -Werror. (#5969)	commit \| commitdiff \| tree
2021-02-23	Mathias Preiner	Switch to C++17. (#5959)	commit \| commitdiff \| tree
2021-02-17	Mathias Preiner	Add bit-level propagation support to BV bitblast solver...	commit \| commitdiff \| tree
2021-02-13	Mathias Preiner	Properly set up equality engine for BV bitblast solver...	commit \| commitdiff \| tree
2021-02-09	Mathias Preiner	cmake: Make Python3 default and improve toml error...	commit \| commitdiff \| tree
2021-02-03	Mathias Preiner	Add BV solver bitblast. (#5851)	commit \| commitdiff \| tree
2020-12-08	Mathias Preiner	Add support for BV proofs with the simple bitblasting...	commit \| commitdiff \| tree
2020-12-08	Mathias Preiner	Disable algebraic BV subtheory by default and make...	commit \| commitdiff \| tree
2020-12-04	Mathias Preiner	update-copyright: Preserve file permissions. (#5597)	commit \| commitdiff \| tree
2020-11-18	Mathias Preiner	Add -> operator overload for cd* iterators. (#5464)	commit \| commitdiff \| tree
2020-11-18	Mathias Preiner	ci: Simplify Python dependency installs for Linux and...	commit \| commitdiff \| tree
2020-10-27	Mathias Preiner	run_regression: Add --skip-timeout option, lower timeout...	commit \| commitdiff \| tree
2020-10-11	Mathias Preiner	SyGuS instantiation modes (#5228)	commit \| commitdiff \| tree
2020-10-09	Mathias Preiner	Remove deprecated add-path commands and use $GITHUB_PATH...	commit \| commitdiff \| tree
2020-10-03	Mathias Preiner	Fix CI builds and add cancel workflow.	commit \| commitdiff \| tree
2020-10-01	Mathias Preiner	Add additional ground terms to SyGuS instantiation...	commit \| commitdiff \| tree
2020-10-01	Mathias Preiner	Add GH action to cancel previous pending/running CI...	commit \| commitdiff \| tree
2020-09-22	Mathias Preiner	Add simple BV solver (#5065)	commit \| commitdiff \| tree
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	commit \| commitdiff \| tree
2020-09-08	Mathias Preiner	Fix printing of fp values. (#5041)	commit \| commitdiff \| tree
2020-09-04	Mathias Preiner	Split lazy bit-vector solver from TheoryBV (#5009)	commit \| commitdiff \| tree
2020-08-29	Mathias Preiner	New C++ API: Add REGEXP_{REPEAT,LOOP}_OP handling in...	commit \| commitdiff \| tree
2020-08-24	Mathias Preiner	Increase regress level to 2 for production build. ...	commit \| commitdiff \| tree
2020-08-04	Mathias Preiner	Add documentation and build instructions for recompilation...	commit \| commitdiff \| tree
2020-07-08	Mathias Preiner	Add getName() method to options. (#4704)	commit \| commitdiff \| tree
2020-06-30	Mathias Preiner	Fix GMP compilation for win64. (#4675)	commit \| commitdiff \| tree
2020-06-30	Mathias Preiner	contrib: Update to GMP 6.2.0, compile static and shared...	commit \| commitdiff \| tree
2020-06-23	Mathias Preiner	Add support for eqrange predicate (#4562)	commit \| commitdiff \| tree
2020-06-03	Mathias Preiner	Fix normalization of author names in contrib/get-authors...	commit \| commitdiff \| tree
2020-05-26	Mathias Preiner	Fix mismatched iterators (CID 1493892). (#4531)	commit \| commitdiff \| tree
2020-05-26	Mathias Preiner	Update to CaDiCaL version 1.2.1. (#4530)	commit \| commitdiff \| tree
2020-04-27	Mathias Preiner	Fix examples instructions in INSTALL.md. (#4397)	commit \| commitdiff \| tree
2020-04-17	Mathias Preiner	antlr: Use relative path in ANTLR script. (#4324)	commit \| commitdiff \| tree
2020-04-17	Mathias Preiner	SyGuS instantiation quantifiers module (#3910)	commit \| commitdiff \| tree
2020-04-09	Mathias Preiner	CI: Add a step to list dependencies. (#4255)	commit \| commitdiff \| tree
2020-04-01	Mathias Preiner	Fix install for ANTLR contrib script and CI dependency...	commit \| commitdiff \| tree
2020-03-31	Mathias Preiner	Switch to GitHub actions for CI (#4190)	commit \| commitdiff \| tree
2020-03-30	Mathias Preiner	Add coverage badge. (#4187)	commit \| commitdiff \| tree
2020-03-10	Mathias Preiner	Update bug report template	commit \| commitdiff \| tree
2020-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	commit \| commitdiff \| tree
2020-03-03	Mathias Preiner	Fix variable shadowing bug in sets. (#3898)	commit \| commitdiff \| tree
2020-02-20	Mathias Preiner	resource manager: Add statistic for every resource...	commit \| commitdiff \| tree
2020-02-12	Mathias Preiner	run_regression: Distinguish between timeout and failure...	commit \| commitdiff \| tree
2020-02-11	Mathias Preiner	cmake: Remove unused ENABLE_OPTIMIZED option. (#3749)	commit \| commitdiff \| tree
2020-02-11	Mathias Preiner	Update issue templates	commit \| commitdiff \| tree
2020-02-10	Mathias Preiner	cmake: Use ld.gold if available for faster link times...	commit \| commitdiff \| tree
2020-02-04	Mathias Preiner	Fix header installation on MacOS. (#3660)	commit \| commitdiff \| tree
2020-01-10	Mathias Preiner	Fix enum names in AIG bitblaster. (#3599)	commit \| commitdiff \| tree
2019-12-19	Mathias Preiner	Fix typo in smt_options.toml. (#3579)	commit \| commitdiff \| tree
2019-12-17	Mathias Preiner	Generate code for options with modes. (#3561)	commit \| commitdiff \| tree
2019-12-06	Mathias Preiner	contrib: Setup all dependencies in deps/ directory...	commit \| commitdiff \| tree
2019-11-08	Mathias Preiner	cmake: Disable C++ GNU extensions. (#3446)	commit \| commitdiff \| tree
2019-10-31	Mathias Preiner	Fix Unimplemented() macros missed in #3366. (#3424)	commit \| commitdiff \| tree
2019-10-30	Mathias Preiner	Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...	commit \| commitdiff \| tree
2019-10-10	Mathias Preiner	test: Add TS_UTILS_EXPECT_ABORT macro for unit tests...	commit \| commitdiff \| tree
2019-10-09	Mathias Preiner	cmake: Fix include of CVC4JavaTargets.cmake. (#3373)	commit \| commitdiff \| tree
2019-09-25	Mathias Preiner	Use separate CMake project for CVC4 examples. (#3196)	commit \| commitdiff \| tree
2019-09-25	Mathias Preiner	Add Windows cross-compiling instructions to INSTALL...	commit \| commitdiff \| tree
2019-09-06	Mathias Preiner	Remove parsing/printing of meta-info command. (#3260)	commit \| commitdiff \| tree
2019-09-06	Mathias Preiner	Remove SMT1 parser. (#3228)	commit \| commitdiff \| tree
2019-09-04	Mathias Preiner	Fix DAGification for printer. (#3233)	commit \| commitdiff \| tree
next

RSS Atom