projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fixes memory leak when an exception goes through runCvc4(). (Fixes #4590) (#4750)
[cvc5.git]
/
src
/
main
/
driver_unified.cpp
2020-07-16
Gereon Kremer
Fixes memory leak when an exception goes through runCvc...
blob
|
commitdiff
|
raw
2020-07-13
Gereon Kremer
Implement --tlimit for windows (#4716)
blob
|
commitdiff
|
raw
|
diff to current
2020-07-08
Gereon Kremer
Re-implement handling of --tlimit (#4655)
blob
|
commitdiff
|
raw
|
diff to current
2020-07-07
Andrew Reynolds
Transfer ownership of internal Options from NodeManager...
blob
|
commitdiff
|
raw
|
diff to current
2020-06-16
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2020-04-21
Andrew Reynolds
Update to sygus version 2 (#4372)
blob
|
commitdiff
|
raw
|
diff to current
2020-03-31
Andrew Reynolds
Remove replay and use-theory options and idl (#4186)
blob
|
commitdiff
|
raw
|
diff to current
2020-03-12
Aina Niemetz
New C++ API: Remove support for (reset). (#4037)
blob
|
commitdiff
|
raw
|
diff to current
2020-03-05
Mathias Preiner
Enable -Wshadow and fix warnings. (#3909)
blob
|
commitdiff
|
raw
|
diff to current
2019-09-07
Andrew Reynolds
Remove portfolio (#3236)
blob
|
commitdiff
|
raw
|
diff to current
2019-09-06
Mathias Preiner
Remove SMT1 parser. (#3228)
blob
|
commitdiff
|
raw
|
diff to current
2019-08-14
Mathias Preiner
Remove option --continued-execution. (#3189)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-26
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2018-10-22
Andres Noetzli
CMake: Set PORTFOLIO_BUILD when building pcvc4 (#2666)
blob
|
commitdiff
|
raw
|
diff to current
2018-08-23
Haniel Barbosa
Makes the filename be set in the SMT engine by default...
blob
|
commitdiff
|
raw
|
diff to current
2018-08-10
Aina Niemetz
Fix portfolio command executor for changes from #2240...
blob
|
commitdiff
|
raw
|
diff to current
2018-08-09
Aina Niemetz
Plug solver API object into parser. (#2240)
blob
|
commitdiff
|
raw
|
diff to current
2018-08-08
Andres Noetzli
Require Swig 3 (#2283)
blob
|
commitdiff
|
raw
|
diff to current
2018-08-02
Andres Noetzli
Remove Subversion build info (#2250)
blob
|
commitdiff
|
raw
|
diff to current
2018-08-01
Aina Niemetz
InteractiveShell: Remove redundant options argument...
blob
|
commitdiff
|
raw
|
diff to current
2018-06-25
Aina Niemetz
Updated copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2017-11-03
Andrew Reynolds
Sygus clean main (#1297)
blob
|
commitdiff
|
raw
|
diff to current
2017-10-10
Aina Niemetz
Add copyright information. (#1201)
blob
|
commitdiff
|
raw
|
diff to current
2017-08-31
Andres Noetzli
Use thread_local instead of compiler extensions (#210)
blob
|
commitdiff
|
raw
|
diff to current
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
blob
|
commitdiff
|
raw
|
diff to current
2017-08-04
ajreynol
Set default language to smt lib 2.6 (including as a...
blob
|
commitdiff
|
raw
|
diff to current
2017-07-17
Tim King
Merge branch 'master' into cleanup-regexp
blob
|
commitdiff
|
raw
|
diff to current
2017-07-17
Andres Noetzli
Remove PtrCloser (#198)
blob
|
commitdiff
|
raw
|
diff to current
2017-07-07
Mathias Preiner
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2017-05-17
Clark Barrett
Merge pull request #155 from makaimann/conditional_coverage
blob
|
commitdiff
|
raw
|
diff to current
2017-05-16
Clark Barrett
Merge pull request #161 from 4tXJ7f/fix_parser
blob
|
commitdiff
|
raw
|
diff to current
2017-05-16
Andrew Reynolds
Merge pull request #156 from 4tXJ7f/fix_safe_print
blob
|
commitdiff
|
raw
|
diff to current
2017-05-15
Andres Noetzli
Minor fix in safe_print function
blob
|
commitdiff
|
raw
|
diff to current
2017-05-12
Andres Notzli
Make signal handlers safer
blob
|
commitdiff
|
raw
|
diff to current
2016-12-14
Clark Barrett
Merge pull request #119 from 4tXJ7f/smt_v2_5
blob
|
commitdiff
|
raw
|
diff to current
2016-12-14
Andres Notzli
Switch from SMT-LIB v2.0 to v2.5 for smt2 files
blob
|
commitdiff
|
raw
|
diff to current
2016-12-14
Clark Barrett
Made tear-down-incremental more like it used to be...
blob
|
commitdiff
|
raw
|
diff to current
2016-11-10
Tim King
Merge pull request #103 from timothy-king/uniq-ptr
blob
|
commitdiff
|
raw
|
diff to current
2016-11-09
Tim King
Renaming the class PtrCloser to not cause confusion...
blob
|
commitdiff
|
raw
|
diff to current
2016-11-09
Tim King
Merge branch 'master' into uniq-ptr
blob
|
commitdiff
|
raw
|
diff to current
2016-11-07
Tim King
Adds a C++05 version of unique_ptr. Used this to solve...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
PaulMeng
update from the master
blob
|
commitdiff
|
raw
|
diff to current
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2016-04-04
Tim King
Updating the copyright headers and scripts.
blob
|
commitdiff
|
raw
|
diff to current
2016-03-22
Tim King
New version of the recursive options parsing strategy.
blob
|
commitdiff
|
raw
|
diff to current
2016-02-02
Tim King
Moving dump.*, command.*, model.*, and ite_removal...
blob
|
commitdiff
|
raw
|
diff to current
2016-01-28
Tim King
Adding listeners to Options.
blob
|
commitdiff
|
raw
|
diff to current
2016-01-09
Tim King
Removing StatisticsRegistry's static functions current...
blob
|
commitdiff
|
raw
|
diff to current
2016-01-06
Tim King
Add SmtGlobals Class
blob
|
commitdiff
|
raw
|
diff to current
2015-12-31
Clark Barrett
Modified tear-down-incremental option to take an intege...
blob
|
commitdiff
|
raw
|
diff to current
2015-12-30
Tim King
Shuffling around public vs. private headers
blob
|
commitdiff
|
raw
|
diff to current
2015-12-19
Tim King
Modifying emptyset.h and sexpr. Adding SetLanguage.
blob
|
commitdiff
|
raw
|
diff to current
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
blob
|
commitdiff
|
raw
|
diff to current
2015-11-24
Tim King
Freeing memory allocated for signal handling.
blob
|
commitdiff
|
raw
|
diff to current
2015-10-12
Kshitij Bansal
Merge pull request #76 from CVC4/proofs
blob
|
commitdiff
|
raw
|
diff to current
2015-10-11
Kshitij Bansal
fix regression tests, support fallback mode for proofs
blob
|
commitdiff
|
raw
|
diff to current
2015-07-28
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2015-07-25
ajreynol
Add option --sygus-inv-templ for synthesizing strengthe...
blob
|
commitdiff
|
raw
|
diff to current
2015-06-12
ajreynol
Make sygus an output language. Parse declare-fun in...
blob
|
commitdiff
|
raw
|
diff to current
2015-04-02
Kshitij Bansal
Merge pull request #71 from kbansal/const-are-triggers
blob
|
commitdiff
|
raw
|
diff to current
2015-03-31
Kshitij Bansal
fix echo command in --tear-down-incremental
blob
|
commitdiff
|
raw
|
diff to current
2015-02-06
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2015-01-30
ajreynol
Generalize conflict clauses in sygus sym break, merge...
blob
|
commitdiff
|
raw
|
diff to current
2015-01-14
Morgan Deters
sygus input language and benchmark
blob
|
commitdiff
|
raw
|
diff to current
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2014-11-17
Liana Hadarean
Resource-limiting work.
blob
|
commitdiff
|
raw
|
diff to current
2014-11-12
Morgan Deters
Fix tokenization of "reset" in SMT-LIB v2.0. It's...
blob
|
commitdiff
|
raw
|
diff to current
2014-11-10
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-11-05
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-23
Morgan Deters
Parsing and infrastructure support for SMT-LIBv2.5...
blob
|
commitdiff
|
raw
|
diff to current
2014-10-17
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-16
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-11
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-10
Kshitij Bansal
Merge remote-tracking branch 'origin/1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-09
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-07
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-06
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-06
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-03
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-03
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-10-02
Morgan Deters
Merge branch '1.4.x'.
blob
|
commitdiff
|
raw
|
diff to current
2014-09-30
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-09-30
Morgan Deters
Fix improper #inclusion of private header outside library.
blob
|
commitdiff
|
raw
|
diff to current
2014-09-30
Morgan Deters
Fix a command-replay bug in tear-down-incremental mode...
blob
|
commitdiff
|
raw
|
diff to current
2014-09-30
Morgan Deters
Proofs- and cores-related segfault fixes (mainly a...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
Update copyrights.
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
Merge pull request #44 from mdeters/prio-queue-updates
blob
|
commitdiff
|
raw
|
diff to current
2014-07-01
Morgan Deters
Merge pull request #45 from mdeters/turn-off-strings-exp
blob
|
commitdiff
|
raw
|
diff to current
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Kshitij Bansal
Merge pull request #46 from mdeters/bug573
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Morgan Deters
Potential fix for bug 573.
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #34 from mdeters/datatypes-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #37 from mdeters/quants-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Andrew Reynolds
Merge pull request #38 from mdeters/uf-kinds
blob
|
commitdiff
|
raw
|
diff to current
2014-06-25
Kshitij Bansal
Merge pull request #43 from mdeters/threadstack
blob
|
commitdiff
|
raw
|
diff to current
next