projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add bag inferences for operators: intersection, duplicate_removal, and empty bags...
[cvc5.git] / src / main /
2020-12-23 Haniel BarbosaDumping unsat cores after check-sat-assuming/QUERY... tree | commitdiff
2020-12-12 Andrew ReynoldsFlush statistics through NodeManager in SmtEngine ... tree | commitdiff
2020-12-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-12-02 Aina NiemetzRename macro Message to CVC4Message. (#5576) tree | commitdiff
2020-11-30 Abdalrhman MohamedEliminate uses of SExpr from the parser. (#5496) tree | commitdiff
2020-11-18 Andrew ReynoldsFix asan issues related to solver and symbol manager... tree | commitdiff
2020-11-11 Andrew ReynoldsMove symbol manager to src/expr/ (#5420) tree | commitdiff
2020-11-11 Andrew ReynoldsPass symbol manager to commands (#5410) tree | commitdiff
2020-11-09 Andrew ReynoldsAdd symbol manager (#5380) tree | commitdiff
2020-09-23 Abdalrhman MohamedRefactor Commands to use the Public API. (#5105) tree | commitdiff
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-09-16 Abdalrhman MohamedDump commands in internal code using command printing... tree | commitdiff
2020-09-15 Aina NiemetzRename system tests to api tests and remove obsolete... tree | commitdiff
2020-09-03 FabianWolffDrop {INCLUDE,LIBRARY,RUNTIME}_INSTALL_DIR variables... tree | commitdiff
2020-07-30 Andrew V. JonesWhen linking Editline, use 'pkg-config' to correctly... tree | commitdiff
2020-07-17 Andrew V. JonesSupport for using 'libedit' over 'readline' #4571 ... tree | commitdiff
2020-07-16 Gereon KremerFixes memory leak when an exception goes through runCvc... tree | commitdiff
2020-07-13 Gereon KremerImplement --tlimit for windows (#4716) tree | commitdiff
2020-07-08 Gereon KremerRe-implement handling of --tlimit (#4655) tree | commitdiff
2020-07-07 Andrew ReynoldsTransfer ownership of internal Options from NodeManager... tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-06-15 Aina NiemetzBV: Add missing type check for INT_TO_BITVECTOR. (... tree | commitdiff
2020-04-21 Andrew ReynoldsUpdate to sygus version 2 (#4372) tree | commitdiff
2020-04-08 Andrew ReynoldsFix dump models and dump proofs (#4230) tree | commitdiff
2020-03-31 Andrew ReynoldsRemove replay and use-theory options and idl (#4186) tree | commitdiff
2020-03-12 Aina NiemetzNew C++ API: Remove support for (reset). (#4037) tree | commitdiff
2020-03-05 Mathias PreinerEnable -Wshadow and fix warnings. (#3909) tree | commitdiff
2020-02-26 Andres NoetzliRemove portfolio leftovers (#3821) tree | commitdiff
2019-12-17 Mathias PreinerGenerate code for options with modes. (#3561) tree | commitdiff
2019-09-25 Mathias PreinerUse separate CMake project for CVC4 examples. (#3196) tree | commitdiff
2019-09-07 Andrew ReynoldsRemove portfolio (#3236) tree | commitdiff
2019-09-06 Mathias PreinerRemove SMT1 parser. (#3228) tree | commitdiff
2019-08-14 Mathias PreinerRemove option --continued-execution. (#3189) tree | commitdiff
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2018-11-08 Mathias Preinercmake: Add option to explicitely enable/disable static... tree | commitdiff
2018-10-22 Andres NoetzliCMake: Set PORTFOLIO_BUILD when building pcvc4 (#2666) tree | commitdiff
2018-10-19 Mathias PreinerRemove autotools build system. (#2639) tree | commitdiff
2018-09-24 Mathias Preinercmake: Add program prefix option. (#2515) tree | commitdiff
2018-09-22 Mathias Preinercmake: Build fully static binaries with option --static. tree | commitdiff
2018-09-22 Aina Niemetzcmake: More documentation, clean up. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add make install rule. tree | commitdiff
2018-09-22 Mathias Preinercmake: Only build libcvc4 and libcvc4parser as libraries. tree | commitdiff
2018-09-22 Mathias Preinercmake: Add portfolio support. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Add support for CxxTest. tree | commitdiff
2018-09-22 Mathias Preinercmake: Do not set global output directories for binarie... tree | commitdiff
2018-09-22 Mathias Preinercmake: Add module finder for readline. tree | commitdiff
2018-09-22 Mathias Preinercmake: Generate token headers. tree | commitdiff
2018-09-22 Mathias Preinercmake: Cleanup CMakeLists.txt files, remove SHARED. tree | commitdiff
2018-09-22 Mathias Preinercmake: Working build infrastructure. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-08-23 Haniel BarbosaMakes the filename be set in the SMT engine by default... tree | commitdiff
2018-08-10 Aina NiemetzFix portfolio command executor for changes from #2240... tree | commitdiff
2018-08-09 Aina NiemetzPlug solver API object into parser. (#2240) tree | commitdiff
2018-08-08 Andres NoetzliRequire Swig 3 (#2283) tree | commitdiff
2018-08-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (... tree | commitdiff
2018-08-02 Andres NoetzliRemove Subversion build info (#2250) tree | commitdiff
2018-08-01 Aina Niemetz InteractiveShell: Remove redundant options argument... tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-05-03 Andrew ReynoldsInitial support for string standard in smt lib 2.6... tree | commitdiff
2018-03-07 Mathias PreinerMake statistics output consistent. (#1647) tree | commitdiff
2018-02-03 Tim KingRestoring ostream format. Resolves a few CIDs 1362780... tree | commitdiff
2018-01-09 Tim KingRemoving more miscellaneous throw specifiers. (#1488) tree | commitdiff
2018-01-04 Tim KingRemoving miscellaneous throw specifiers. (#1474) tree | commitdiff
2017-12-12 Mathias PreinerAdd SIGTERM handler. (#1440) tree | commitdiff
2017-11-03 Andrew ReynoldsSygus clean main (#1297) tree | commitdiff
2017-10-10 Aina NiemetzAdd copyright information. (#1201) tree | commitdiff
2017-09-20 Andres NoetzliFix issue #1081, memory leak in cmd executor (#1109) tree | commitdiff
2017-09-01 Andres NoetzliReplace CVC4_THREADLOCAL in interactive_shell (#1065) tree | commitdiff
2017-08-31 Andres NoetzliUse thread_local instead of compiler extensions (#210) tree | commitdiff
2017-08-24 Andres NoetzliAdd include to fix build tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-04 ajreynolSet default language to smt lib 2.6 (including as a... tree | commitdiff
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-17 Andres NoetzliRemove PtrCloser (#198) tree | commitdiff
2017-07-10 ajreynolMerge datatype shared selectors/sygus comp 2017 branch... tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2017-06-21 Andrew ReynoldsMerge pull request #175 from CVC4/fix_uninit tree | commitdiff
2017-06-21 Andrew ReynoldsMerge pull request #176 from CVC4/smtcomp2017 tree | commitdiff
2017-06-21 Clément Pit-ClaudelCheck for sigaltstack in configure (#172) tree | commitdiff
2017-06-20 Andres NoetzliFix SIGILL handler tree | commitdiff
2017-05-17 Clark BarrettMerge pull request #155 from makaimann/conditional_coverage tree | commitdiff
2017-05-16 Clark BarrettMerge pull request #161 from 4tXJ7f/fix_parser tree | commitdiff
2017-05-16 Clark BarrettMerge pull request #160 from 4tXJ7f/fix_win_build tree | commitdiff
2017-05-16 Andres NoetzliFix error in Windows build tree | commitdiff
2017-05-16 Andrew ReynoldsMerge pull request #156 from 4tXJ7f/fix_safe_print tree | commitdiff
2017-05-15 Andres NoetzliMinor fix in safe_print function tree | commitdiff
2017-05-12 Andres NotzliMake signal handlers safer tree | commitdiff
2017-04-13 Clark BarrettFix for some compilers tree | commitdiff
2017-03-18 Clark BarrettFix for bug 707. tree | commitdiff
2017-03-16 ajreynolParsing support for SMT LIB 2.6. Minor fixes for printi... tree | commitdiff
2017-01-18 Andrew ReynoldsMerge pull request #128 from 4tXJ7f/fix_lfsc_perf tree | commitdiff
2017-01-14 Clark BarrettMerge pull request #130 from chadbrewbaker/master tree | commitdiff
2017-01-11 Clark BarrettMerge pull request #129 from timothy-king/regression... tree | commitdiff
2017-01-11 Clark BarrettMerge pull request #127 from cristian-mattarei/issue_679 tree | commitdiff
2017-01-09 Cristian MattareiWith reference to Bug 679, this commit integrates part... tree | commitdiff
2016-12-14 Clark BarrettMerge pull request #119 from 4tXJ7f/smt_v2_5 tree | commitdiff
2016-12-14 Andres NotzliSwitch from SMT-LIB v2.0 to v2.5 for smt2 files tree | commitdiff
2016-12-14 Clark BarrettMade tear-down-incremental more like it used to be... tree | commitdiff
2016-11-18 Clark BarrettMerge pull request #110 from 4tXJ7f/fix_makefiles tree | commitdiff
next