projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Remove regex header from cvc4cpp.cpp (#5826)
[cvc5.git]
/
src
/
main
/
2020-12-23
Haniel Barbosa
Dumping unsat cores after check-sat-assuming/QUERY...
tree
|
commitdiff
2020-12-12
Andrew Reynolds
Flush statistics through NodeManager in SmtEngine ...
tree
|
commitdiff
2020-12-03
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-12-02
Aina Niemetz
Rename macro Message to CVC4Message. (#5576)
tree
|
commitdiff
2020-11-30
Abdalrhman Mohamed
Eliminate uses of SExpr from the parser. (#5496)
tree
|
commitdiff
2020-11-18
Andrew Reynolds
Fix asan issues related to solver and symbol manager...
tree
|
commitdiff
2020-11-11
Andrew Reynolds
Move symbol manager to src/expr/ (#5420)
tree
|
commitdiff
2020-11-11
Andrew Reynolds
Pass symbol manager to commands (#5410)
tree
|
commitdiff
2020-11-09
Andrew Reynolds
Add symbol manager (#5380)
tree
|
commitdiff
2020-09-23
Abdalrhman Mohamed
Refactor Commands to use the Public API. (#5105)
tree
|
commitdiff
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
tree
|
commitdiff
2020-09-16
Abdalrhman Mohamed
Dump commands in internal code using command printing...
tree
|
commitdiff
2020-09-15
Aina Niemetz
Rename system tests to api tests and remove obsolete...
tree
|
commitdiff
2020-09-03
FabianWolff
Drop {INCLUDE,LIBRARY,RUNTIME}_INSTALL_DIR variables...
tree
|
commitdiff
2020-07-30
Andrew V. Jones
When linking Editline, use 'pkg-config' to correctly...
tree
|
commitdiff
2020-07-17
Andrew V. Jones
Support for using 'libedit' over 'readline' #4571 ...
tree
|
commitdiff
2020-07-16
Gereon Kremer
Fixes memory leak when an exception goes through runCvc...
tree
|
commitdiff
2020-07-13
Gereon Kremer
Implement --tlimit for windows (#4716)
tree
|
commitdiff
2020-07-08
Gereon Kremer
Re-implement handling of --tlimit (#4655)
tree
|
commitdiff
2020-07-07
Andrew Reynolds
Transfer ownership of internal Options from NodeManager...
tree
|
commitdiff
2020-06-16
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-06-15
Aina Niemetz
BV: Add missing type check for INT_TO_BITVECTOR. (...
tree
|
commitdiff
2020-04-21
Andrew Reynolds
Update to sygus version 2 (#4372)
tree
|
commitdiff
2020-04-08
Andrew Reynolds
Fix dump models and dump proofs (#4230)
tree
|
commitdiff
2020-03-31
Andrew Reynolds
Remove replay and use-theory options and idl (#4186)
tree
|
commitdiff
2020-03-12
Aina Niemetz
New C++ API: Remove support for (reset). (#4037)
tree
|
commitdiff
2020-03-05
Mathias Preiner
Enable -Wshadow and fix warnings. (#3909)
tree
|
commitdiff
2020-02-26
Andres Noetzli
Remove portfolio leftovers (#3821)
tree
|
commitdiff
2019-12-17
Mathias Preiner
Generate code for options with modes. (#3561)
tree
|
commitdiff
2019-09-25
Mathias Preiner
Use separate CMake project for CVC4 examples. (#3196)
tree
|
commitdiff
2019-09-07
Andrew Reynolds
Remove portfolio (#3236)
tree
|
commitdiff
2019-09-06
Mathias Preiner
Remove SMT1 parser. (#3228)
tree
|
commitdiff
2019-08-14
Mathias Preiner
Remove option --continued-execution. (#3189)
tree
|
commitdiff
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
tree
|
commitdiff
2019-03-26
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2018-11-08
Mathias Preiner
cmake: Add option to explicitely enable/disable static...
tree
|
commitdiff
2018-10-22
Andres Noetzli
CMake: Set PORTFOLIO_BUILD when building pcvc4 (#2666)
tree
|
commitdiff
2018-10-19
Mathias Preiner
Remove autotools build system. (#2639)
tree
|
commitdiff
2018-09-24
Mathias Preiner
cmake: Add program prefix option. (#2515)
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Build fully static binaries with option --static.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: More documentation, clean up.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Add make install rule.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Only build libcvc4 and libcvc4parser as libraries.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Add portfolio support.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Add support for CxxTest.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Do not set global output directories for binarie...
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Add module finder for readline.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Generate token headers.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Cleanup CMakeLists.txt files, remove SHARED.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Working build infrastructure.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-08-23
Haniel Barbosa
Makes the filename be set in the SMT engine by default...
tree
|
commitdiff
2018-08-10
Aina Niemetz
Fix portfolio command executor for changes from #2240...
tree
|
commitdiff
2018-08-09
Aina Niemetz
Plug solver API object into parser. (#2240)
tree
|
commitdiff
2018-08-08
Andres Noetzli
Require Swig 3 (#2283)
tree
|
commitdiff
2018-08-08
Andres Noetzli
Delete functions instead of using CVC4_UNDEFINED (...
tree
|
commitdiff
2018-08-02
Andres Noetzli
Remove Subversion build info (#2250)
tree
|
commitdiff
2018-08-01
Aina Niemetz
InteractiveShell: Remove redundant options argument...
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-05-03
Andrew Reynolds
Initial support for string standard in smt lib 2.6...
tree
|
commitdiff
2018-03-07
Mathias Preiner
Make statistics output consistent. (#1647)
tree
|
commitdiff
2018-02-03
Tim King
Restoring ostream format. Resolves a few CIDs 1362780...
tree
|
commitdiff
2018-01-09
Tim King
Removing more miscellaneous throw specifiers. (#1488)
tree
|
commitdiff
2018-01-04
Tim King
Removing miscellaneous throw specifiers. (#1474)
tree
|
commitdiff
2017-12-12
Mathias Preiner
Add SIGTERM handler. (#1440)
tree
|
commitdiff
2017-11-03
Andrew Reynolds
Sygus clean main (#1297)
tree
|
commitdiff
2017-10-10
Aina Niemetz
Add copyright information. (#1201)
tree
|
commitdiff
2017-09-20
Andres Noetzli
Fix issue #1081, memory leak in cmd executor (#1109)
tree
|
commitdiff
2017-09-01
Andres Noetzli
Replace CVC4_THREADLOCAL in interactive_shell (#1065)
tree
|
commitdiff
2017-08-31
Andres Noetzli
Use thread_local instead of compiler extensions (#210)
tree
|
commitdiff
2017-08-24
Andres Noetzli
Add include to fix build
tree
|
commitdiff
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
tree
|
commitdiff
2017-08-04
ajreynol
Set default language to smt lib 2.6 (including as a...
tree
|
commitdiff
2017-07-17
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-17
Andres Noetzli
Remove PtrCloser (#198)
tree
|
commitdiff
2017-07-10
ajreynol
Merge datatype shared selectors/sygus comp 2017 branch...
tree
|
commitdiff
2017-07-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
2017-06-21
Andrew Reynolds
Merge pull request #175 from CVC4/fix_uninit
tree
|
commitdiff
2017-06-21
Andrew Reynolds
Merge pull request #176 from CVC4/smtcomp2017
tree
|
commitdiff
2017-06-21
Clément Pit-Claudel
Check for sigaltstack in configure (#172)
tree
|
commitdiff
2017-06-20
Andres Noetzli
Fix SIGILL handler
tree
|
commitdiff
2017-05-17
Clark Barrett
Merge pull request #155 from makaimann/conditional_coverage
tree
|
commitdiff
2017-05-16
Clark Barrett
Merge pull request #161 from 4tXJ7f/fix_parser
tree
|
commitdiff
2017-05-16
Clark Barrett
Merge pull request #160 from 4tXJ7f/fix_win_build
tree
|
commitdiff
2017-05-16
Andres Noetzli
Fix error in Windows build
tree
|
commitdiff
2017-05-16
Andrew Reynolds
Merge pull request #156 from 4tXJ7f/fix_safe_print
tree
|
commitdiff
2017-05-15
Andres Noetzli
Minor fix in safe_print function
tree
|
commitdiff
2017-05-12
Andres Notzli
Make signal handlers safer
tree
|
commitdiff
2017-04-13
Clark Barrett
Fix for some compilers
tree
|
commitdiff
2017-03-18
Clark Barrett
Fix for bug 707.
tree
|
commitdiff
2017-03-16
ajreynol
Parsing support for SMT LIB 2.6. Minor fixes for printi...
tree
|
commitdiff
2017-01-18
Andrew Reynolds
Merge pull request #128 from 4tXJ7f/fix_lfsc_perf
tree
|
commitdiff
2017-01-14
Clark Barrett
Merge pull request #130 from chadbrewbaker/master
tree
|
commitdiff
2017-01-11
Clark Barrett
Merge pull request #129 from timothy-king/regression...
tree
|
commitdiff
2017-01-11
Clark Barrett
Merge pull request #127 from cristian-mattarei/issue_679
tree
|
commitdiff
2017-01-09
Cristian Mattarei
With reference to Bug 679, this commit integrates part...
tree
|
commitdiff
2016-12-14
Clark Barrett
Merge pull request #119 from 4tXJ7f/smt_v2_5
tree
|
commitdiff
2016-12-14
Andres Notzli
Switch from SMT-LIB v2.0 to v2.5 for smt2 files
tree
|
commitdiff
2016-12-14
Clark Barrett
Made tear-down-incremental more like it used to be...
tree
|
commitdiff
2016-11-18
Clark Barrett
Merge pull request #110 from 4tXJ7f/fix_makefiles
tree
|
commitdiff
next