projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[proof-new] Adding a proof-producing ensure literal method (#5889)
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
2019-09-04
Mathias Preiner
Remove duplicate regression tests. (#3227)
commit
|
commitdiff
|
tree
2019-08-26
Mathias Preiner
Make contrib/get-* more robust. (#3198)
commit
|
commitdiff
|
tree
2019-08-15
Mathias Preiner
cmake: Use ExactVersion instead of SameMinorVersion...
commit
|
commitdiff
|
tree
2019-08-14
Mathias Preiner
Remove option --continued-execution. (#3189)
commit
|
commitdiff
|
tree
2019-08-14
Mathias Preiner
cmake: Export CVC4 library interface. (#3179)
commit
|
commitdiff
|
tree
2019-08-08
Mathias Preiner
Fix issues with Ninja build system and add configure...
commit
|
commitdiff
|
tree
2019-08-04
Mathias Preiner
Fix regression script for incremental SMT-LIB v2 benchmarks...
commit
|
commitdiff
|
tree
2019-08-02
Mathias Preiner
Update CaDiCaL to version 1.0.3. (#3137)
commit
|
commitdiff
|
tree
2019-08-02
Mathias Preiner
Add better Python detection for contrib scripts. (...
commit
|
commitdiff
|
tree
2019-08-02
Mathias Preiner
Fix BVGauss unit tests. (#3142)
commit
|
commitdiff
|
tree
2019-08-01
Mathias Preiner
Fix memory leak in rewriter (debug mode). (#3141)
commit
|
commitdiff
|
tree
2019-05-15
Mathias Preiner
cmake: Install JAR and JNI files for Java bindings...
commit
|
commitdiff
|
tree
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
commit
|
commitdiff
|
tree
2019-03-26
Mathias Preiner
get-authors: Exclude empty lines.
commit
|
commitdiff
|
tree
2019-03-26
Mathias Preiner
get-authors: Exclude common source code patterns. ...
commit
|
commitdiff
|
tree
2019-03-14
Mathias Preiner
Disable DCO signing for organization members.
commit
|
commitdiff
|
tree
2019-03-13
Mathias Preiner
Fix public headers for make install. (#2856)
commit
|
commitdiff
|
tree
2019-01-05
Mathias Preiner
cmake: Disable unit tests for static builds. (#2775)
commit
|
commitdiff
|
tree
2018-11-14
Mathias Preiner
cmake: Require boost 1.50.0 for examples. (#2710)
commit
|
commitdiff
|
tree
2018-11-08
Mathias Preiner
cmake: Add option to explicitely enable/disable static...
commit
|
commitdiff
|
tree
2018-10-20
Mathias Preiner
Remove antlr_undefines.h. (#2664)
commit
|
commitdiff
|
tree
2018-10-19
Mathias Preiner
Remove autotools build system. (#2639)
commit
|
commitdiff
|
tree
2018-10-19
Mathias Preiner
cmake: Run regression level 2 for make check. (#2645)
commit
|
commitdiff
|
tree
2018-10-16
Mathias Preiner
cmake: Add CxxTest include directory to unit test includes...
commit
|
commitdiff
|
tree
2018-10-15
Mathias Preiner
cmake: Generate git_versioninfo.cpp on build time....
commit
|
commitdiff
|
tree
2018-10-11
Mathias Preiner
cmake: Use gcovr instead lcov for coverage report generation...
commit
|
commitdiff
|
tree
2018-10-03
Mathias Preiner
unit: Fix ASAN detection for GCC. (#2561)
commit
|
commitdiff
|
tree
2018-10-02
Mathias Preiner
cmake: Add examples to build-tests, add warning for...
commit
|
commitdiff
|
tree
2018-10-01
Mathias Preiner
cmake: Generate compile_commands.json on configure...
commit
|
commitdiff
|
tree
2018-10-01
Mathias Preiner
cmake: Add build target build-tests to build all test...
commit
|
commitdiff
|
tree
2018-09-30
Mathias Preiner
cmake: Ignore ctest exit code for coverage reports.
commit
|
commitdiff
|
tree
2018-09-28
Mathias Preiner
cmake: Add CxxTest finder module to allow custom paths...
commit
|
commitdiff
|
tree
2018-09-27
Mathias Preiner
cmake: Only print dumping warning if not disabled by...
commit
|
commitdiff
|
tree
2018-09-26
Mathias Preiner
cmake: Fix test target dependency issues. (#2540)
commit
|
commitdiff
|
tree
2018-09-26
Mathias Preiner
cmake: Exclude examples for coverage target. (#2535)
commit
|
commitdiff
|
tree
2018-09-26
Mathias Preiner
cmake: Add check for GCC 4.5.1 and warn user. (#2533)
commit
|
commitdiff
|
tree
2018-09-25
Mathias Preiner
cmake: Fix tag code generation dependencies. (#2529)
commit
|
commitdiff
|
tree
2018-09-25
Mathias Preiner
cmake: Fix dependencies for code generation. (#2524)
commit
|
commitdiff
|
tree
2018-09-25
Mathias Preiner
Fix wiki urls. (#2504)
commit
|
commitdiff
|
tree
2018-09-24
Mathias Preiner
cmake: Fix theory order #2. (#2522)
commit
|
commitdiff
|
tree
2018-09-24
Mathias Preiner
cmake: Fix theory order. (#2518)
commit
|
commitdiff
|
tree
2018-09-24
Mathias Preiner
cmake: Add program prefix option. (#2515)
commit
|
commitdiff
|
tree
2018-09-24
Mathias Preiner
Fix generating debug/trace tags.
commit
|
commitdiff
|
tree
next