projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add substr, contains and equality rewrites (#2665)
[cvc5.git] / src / main /
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
2016-11-18 Clark BarrettAdd support for set-logic ALL, fix compiler error in... tree | commitdiff
2016-11-10 Tim KingMerge pull request #103 from timothy-king/uniq-ptr tree | commitdiff
2016-11-09 Tim KingRenaming the class PtrCloser to not cause confusion... tree | commitdiff
2016-11-09 Tim KingMerge branch 'master' into uniq-ptr tree | commitdiff
2016-11-07 Tim KingAdds a C++05 version of unique_ptr. Used this to solve... tree | commitdiff
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format tree | commitdiff
2016-09-26 Tim KingDeleting the intermediate command singleton. tree | commitdiff
2016-08-31 Tim KingRemoving typeof from command_executor_portfolio.cpp. tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-05-28 Clark BarrettRemoving check that is no longer valid. tree | commitdiff
2016-05-16 Clark BarrettFix memory leak in interactive_shell.cpp tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-04-04 Tim KingUpdating the copyright headers and scripts. tree | commitdiff
2016-03-22 Tim KingNew version of the recursive options parsing strategy. tree | commitdiff
2016-03-08 ajreynolExtend synthesis solver to handle single invocation... tree | commitdiff
2016-02-02 Tim KingMoving dump.*, command.*, model.*, and ite_removal... tree | commitdiff
2016-02-01 Tim KingRemoving the CVC4_NEEDS_REPLACEMENT_FUNCTIONS guard... tree | commitdiff
2016-01-28 Tim KingAdding listeners to Options. tree | commitdiff
2016-01-09 Tim KingRemoving StatisticsRegistry's static functions current... tree | commitdiff
2016-01-06 Tim KingAdd SmtGlobals Class tree | commitdiff
2016-01-05 Tim KingAdding a new class LastExceptionBuffer for the purpose... tree | commitdiff
2015-12-31 Clark BarrettModified tear-down-incremental option to take an intege... tree | commitdiff
2015-12-30 Tim KingShuffling around public vs. private headers tree | commitdiff
2015-12-24 Tim KingMiscellaneous fixes tree | commitdiff
2015-12-19 Tim KingModifying emptyset.h and sexpr. Adding SetLanguage. tree | commitdiff
2015-12-16 Tim KingRemoving the Record iterator from the swig interface... tree | commitdiff
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking tree | commitdiff
2015-12-02 Tim KingGuarding the destruction of the a linux specific variab... tree | commitdiff
2015-11-24 Tim KingFreeing memory allocated for signal handling. tree | commitdiff
2015-10-12 Kshitij BansalMerge pull request #76 from CVC4/proofs tree | commitdiff
2015-10-11 Kshitij Bansalfix regression tests, support fallback mode for proofs tree | commitdiff
2015-09-02 Kshitij BansalMerge remote-tracking branch 'origin/master' tree | commitdiff
2015-08-21 Kshitij BansalFix bug 649 (errors to regular output channel) tree | commitdiff
2015-07-28 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2015-07-25 ajreynolAdd option --sygus-inv-templ for synthesizing strengthe... tree | commitdiff
next