projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Support get-abduct-next (#7850)
[cvc5.git]
/
src
/
printer
/
printer.cpp
2021-12-21
Andrew Reynolds
Support get-abduct-next (#7850)
blob
|
commitdiff
|
raw
2021-12-20
Andrew Reynolds
Allow SyGuS subsolver to be reused in incremental mode...
blob
|
commitdiff
|
raw
|
diff to current
2021-11-11
Abdalrhman Mohamed
Add an API method to get the raw name of a term. (...
blob
|
commitdiff
|
raw
|
diff to current
2021-11-04
Andrew Reynolds
Replace the old dump infrastructure (#7572)
blob
|
commitdiff
|
raw
|
diff to current
2021-11-02
Abdalrhman Mohamed
Add printing methods for some commands. (#7557)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-29
Abdalrhman Mohamed
Remove support for extended `(check-sat <term>)` comman...
blob
|
commitdiff
|
raw
|
diff to current
2021-09-23
Abdalrhman Mohamed
Use `|` to print quoted strings in `set-info` command...
blob
|
commitdiff
|
raw
|
diff to current
2021-09-22
Mathias Preiner
Remove CVC language support (#7219)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-14
Andrew Reynolds
Add get-difficulty to the API (#7194)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-14
Andrew Reynolds
Support sygus version 2.1 command assume (#7081)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-14
Andrew Reynolds
Utilities in preparation for print benchmark utility...
blob
|
commitdiff
|
raw
|
diff to current
2021-09-01
Andrew Reynolds
Print response to get-model using the API (#7084)
blob
|
commitdiff
|
raw
|
diff to current
2021-08-26
Gereon Kremer
Consolidate language types (#7065)
blob
|
commitdiff
|
raw
|
diff to current
2021-08-04
Andrew Reynolds
Add optional debug information for dumping instantiatio...
blob
|
commitdiff
|
raw
|
diff to current
2021-06-07
Gereon Kremer
Remove `Options::wasSetByUser()` (#6682)
blob
|
commitdiff
|
raw
|
diff to current
2021-05-21
Andrew Reynolds
Update to sygus standard output for check-synth respons...
blob
|
commitdiff
|
raw
|
diff to current
2021-04-26
Gereon Kremer
First part of options refactoring (#6428)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-20
Andrew Reynolds
Add instantiation pool feature to the API (#6358)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-20
Aina Niemetz
Remove support for CVC3 language. (#6369)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-15
Aina Niemetz
Rename occurrences of CVC4 to CVC5. (#6351)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-06
Mathias Preiner
Remove SMT-LIB 2.5 and 2.0 support. (#6068)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-03
Abdalrhman Mohamed
Remove uses of SExpr class. (#6035)
blob
|
commitdiff
|
raw
|
diff to current
2021-01-24
Andrew Reynolds
(proof-new) Instantiation list utility (#5768)
blob
|
commitdiff
|
raw
|
diff to current
2020-12-16
Andrew Reynolds
Simplify synth-fun printer (#5682)
blob
|
commitdiff
|
raw
|
diff to current
2020-12-03
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2020-11-25
Andrew Reynolds
Use symbol manager for printing responses get-model...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-18
Andrew Reynolds
Use symbol manager for get assignment (#5451)
blob
|
commitdiff
|
raw
|
diff to current
2020-11-10
Andrew Reynolds
Add proper support for the declare-heap command for...
blob
|
commitdiff
|
raw
|
diff to current
2020-10-28
Andrew Reynolds
Remove more uses of Expr (#5357)
blob
|
commitdiff
|
raw
|
diff to current
2020-10-20
Abdalrhman Mohamed
Remove some Commands from the API. (#5268)
blob
|
commitdiff
|
raw
|
diff to current
2020-10-16
Andrew Reynolds
Refactor SMT-level model object (#5277)
blob
|
commitdiff
|
raw
|
diff to current
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
blob
|
commitdiff
|
raw
|
diff to current
2020-09-04
Abdalrhman Mohamed
Use Result::Sat instead of BenchmarkStatus in printers...
blob
|
commitdiff
|
raw
|
diff to current
2020-09-02
Abdalrhman Mohamed
Introduce an internal version of Commands. (#4988)
blob
|
commitdiff
|
raw
|
diff to current
2020-08-18
Abdalrhman Mohamed
Refactor functions that print commands (Part 2) (#4905)
blob
|
commitdiff
|
raw
|
diff to current
2020-08-12
Abdalrhman Mohamed
Refactor functions that print commands (Part 1) (#4869)
blob
|
commitdiff
|
raw
|
diff to current
2020-07-14
Andrew Reynolds
Remove sygus print callback (#4727)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-25
Andrew Reynolds
Remove sygus1 parser (#4651)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-16
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2020-06-05
Haniel Barbosa
Changing default language (#4561)
blob
|
commitdiff
|
raw
|
diff to current
2020-05-19
Andrew Reynolds
Update enum and option names for sygus languages (...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-28
Andrew Reynolds
Support the SMT-LIB Unicode string standard by default...
blob
|
commitdiff
|
raw
|
diff to current
2020-02-26
Andrew Reynolds
More fixes for printing sygus commands (#3812)
blob
|
commitdiff
|
raw
|
diff to current
2019-10-30
Mathias Preiner
Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-01
Andrew Reynolds
Support sygus version 2 format (#3066)
blob
|
commitdiff
|
raw
|
diff to current
2019-03-26
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2018-09-11
Andrew Reynolds
Support model cores via option --produce-model-cores...
blob
|
commitdiff
|
raw
|
diff to current
2018-05-03
Andres Noetzli
Remove (dummy) SMT1 printer (#1854)
blob
|
commitdiff
|
raw
|
diff to current
2018-05-03
Andrew Reynolds
Initial support for string standard in smt lib 2.6...
blob
|
commitdiff
|
raw
|
diff to current
2018-03-09
Aina Niemetz
Printers are now managed as unique_ptr (fix mem leak...
blob
|
commitdiff
|
raw
|
diff to current
2017-11-28
Tim King
Removing throw specifiers from internal Printer hierarc...
blob
|
commitdiff
|
raw
|
diff to current
2017-11-15
Andrew Reynolds
Sygus print callbacks (#1348)
blob
|
commitdiff
|
raw
|
diff to current
2017-10-11
Andrew Reynolds
Move unsat core names to smt engine (#1192)
blob
|
commitdiff
|
raw
|
diff to current
2017-07-07
Mathias Preiner
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2017-03-16
ajreynol
Parsing support for SMT LIB 2.6. Minor fixes for printi...
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-02-03
Clark Barrett
Added --omit-dont-cares option which doesn't print...
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-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
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
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-27
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-09-26
Morgan Deters
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-09-17
Kshitij Bansal
Merge branch '1.4.x' while ignoring commit 8d5eb49.
blob
|
commitdiff
|
raw
|
diff to current
2014-09-17
Kshitij Bansal
Merge branch '1.4.x'
blob
|
commitdiff
|
raw
|
diff to current
2014-08-26
Morgan Deters
Improved SMT-LIBv2 language support for unsat cores.
blob
|
commitdiff
|
raw
|
diff to current
2014-08-23
Morgan Deters
Unsat core printing.
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-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
blob
|
commitdiff
|
raw
|
diff to current
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
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-22
Morgan Deters
Output language "cvc3" (as opposed to "cvc" or "cvc4...
blob
|
commitdiff
|
raw
|
diff to current
2014-06-22
Morgan Deters
Minor cleanup stuff.
blob
|
commitdiff
|
raw
|
diff to current
2014-04-01
Tim King
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
next