projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Models as (#5581)
[cvc5.git]
/
src
/
printer
/
smt2
/
2018-05-08
Andrew Reynolds
Support for str.<= and str.< (#1882)
tree
|
commitdiff
2018-05-07
Andrew Reynolds
Add support for str.code (#1821)
tree
|
commitdiff
2018-05-04
Andrew Reynolds
Do not print tuples. (#1874)
tree
|
commitdiff
2018-05-03
Andrew Reynolds
Initial support for string standard in smt lib 2.6...
tree
|
commitdiff
2018-03-09
Aina Niemetz
Add support for SMT-LIB v2.5 command get-unsat-assumpti...
tree
|
commitdiff
2018-03-05
Aina Niemetz
Add support for check-sat-assuming. (#1637)
tree
|
commitdiff
2018-02-07
Andrew Reynolds
Add remaining transcendental functions (#1551)
tree
|
commitdiff
2018-02-05
Tim King
Cleaning up the printing of theory model representative...
tree
|
commitdiff
2017-12-28
Arjun Viswanathan
Rel smt parser (#1446)
tree
|
commitdiff
2017-12-07
Andrew Reynolds
Add command for define-fun-rec and add to API (#1412)
tree
|
commitdiff
2017-11-28
Tim King
Removing throw specifiers from internal Printer hierarc...
tree
|
commitdiff
2017-11-23
Haniel Barbosa
Converting defined functions and let expressions from...
tree
|
commitdiff
2017-11-22
Andrew Reynolds
Sygus Lambda Grammars (#1390)
tree
|
commitdiff
2017-11-15
Andrew Reynolds
Sygus print callbacks (#1348)
tree
|
commitdiff
2017-11-10
Andrew Reynolds
Printing for higher-order (#1347)
tree
|
commitdiff
2017-11-09
Andrew Reynolds
Higher-order prep (#1338)
tree
|
commitdiff
2017-10-27
Andrew Reynolds
Refactor theory model (#1236)
tree
|
commitdiff
2017-10-18
Andrew Reynolds
Strings API escape sequences (#1245)
tree
|
commitdiff
2017-10-11
Andrew Reynolds
Move unsat core names to smt engine (#1192)
tree
|
commitdiff
2017-10-10
Andrew Reynolds
Split term database (#1206)
tree
|
commitdiff
2017-10-03
Martin
Add 5 FP kinds for partial to total fn conversion ...
tree
|
commitdiff
2017-09-19
Andres Noetzli
Fix issue #1074, improve non-fatal error handling ...
tree
|
commitdiff
2017-09-19
Martin
Floating point symfpu support (#1103)
tree
|
commitdiff
2017-09-05
Andrew Reynolds
Remove support for conversions between uint32/uint16...
tree
|
commitdiff
2017-07-13
Aina Niemetz
Merge pull request #188 from aniemetz/cx11
tree
|
commitdiff
2017-07-12
ajreynol
Make type rules more strict for operators whose type...
tree
|
commitdiff
2017-07-10
ajreynol
Merge ntExt branch. Adds support for transcendental...
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
ajreynol
Properly handle subtypes in smt2 printer.
tree
|
commitdiff
2017-05-30
guykatzz
print only labeled assertions as part of the unsat...
tree
|
commitdiff
2017-05-28
Clark Barrett
Merge pull request #164 from CVC4/fix_comp
tree
|
commitdiff
2017-05-25
ajreynol
Quote unsat core names if applicable, fixes bug 816.
tree
|
commitdiff
2017-04-20
Andrew Reynolds
Merge pull request #149 from PaulMeng/master
tree
|
commitdiff
2017-04-20
ajreynol
Minor fixes.
tree
|
commitdiff
2017-04-14
ajreynol
Fix nullary operator printers, minor.
tree
|
commitdiff
2017-04-04
Clark Barrett
Merge pull request #141 from 4tXJ7f/remove_def
tree
|
commitdiff
2017-04-03
Andrew Reynolds
Merge pull request #142 from timothy-king/nlAlgMerge
tree
|
commitdiff
2017-04-03
Tim King
Adding a model based axiom instantiation scheme for...
tree
|
commitdiff
2017-03-16
ajreynol
Parsing support for SMT LIB 2.6. Minor fixes for printi...
tree
|
commitdiff
2017-03-07
ajreynol
More fixes for printing/parsing sets, fix kind name.
tree
|
commitdiff
2017-03-06
ajreynol
Support for set compliment and universe set. Simplify...
tree
|
commitdiff
2017-03-02
ajreynol
Eliminate Boolean term conversion. Generalizes removeIT...
tree
|
commitdiff
2017-01-04
ajreynol
Fix for tff type declarations inTPTP parser, fixes...
tree
|
commitdiff
2016-11-28
Clark Barrett
Merge pull request #112 from 4tXJ7f/fix_mult_distrib
tree
|
commitdiff
2016-11-22
ajreynol
Fix smt2 and cvc printers for testers when output and...
tree
|
commitdiff
2016-11-01
ajreynol
Working memory leak free version, changes interface...
tree
|
commitdiff
2016-10-13
Tim King
Revert "Merge branch 'origin' of https://github.com...
tree
|
commitdiff
2016-10-11
Paul Meng
Merge branch 'origin' of https://github.com/CVC4/CVC4.git
tree
|
commitdiff
2016-08-24
PaulMeng
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2016-07-20
ajreynol
Infrastructure for storing and printing heap models...
tree
|
commitdiff
2016-07-06
ajreynol
Add comment field for model, resolves hack for printing...
tree
|
commitdiff
2016-07-05
PaulMeng
Merge branch 'master' of https://github.com/CVC4/CVC4.git
tree
|
commitdiff
2016-06-20
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-06-17
ajreynol
Cleanup from last commit, treat sep.nil as variable...
tree
|
commitdiff
2016-06-17
ajreynol
Support for separation logic. Enable cbqi by default...
tree
|
commitdiff
2016-05-06
ajreynol
Minor clean up, fixes related to sygus.
tree
|
commitdiff
2016-04-20
PaulMeng
update from the master
tree
|
commitdiff
2016-04-15
PaulMeng
change transitive closure operator name to TCLOUSRE
tree
|
commitdiff
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-04-09
Kshitij Bansal
cardinality operation for finite sets (based on my...
tree
|
commitdiff
2016-04-04
Tim King
Updating the copyright headers and scripts.
tree
|
commitdiff
2016-03-23
guykatzz
Merge pull request #82 from CVC4/master_for_merge
tree
|
commitdiff
2016-03-23
Guy
squash-merge from proof branch
tree
|
commitdiff
2016-02-15
PaulMeng
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2016-02-15
PaulMeng
extended smt parser for the finite relations
tree
|
commitdiff
2016-02-15
ajreynol
Eliminate most of the internal representation infrastru...
tree
|
commitdiff
2015-12-19
Tim King
Modifying emptyset.h and sexpr. Adding SetLanguage.
tree
|
commitdiff
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
tree
|
commitdiff
2015-11-26
ajreynol
Front-end support for get-value of sort cardinality...
tree
|
commitdiff
2015-10-15
ajreynol
Change semantics of str.substr to allow endpoint out...
tree
|
commitdiff
2015-07-28
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2015-07-20
ajreynol
Squashed merge of SygusComp 2015 branch.
tree
|
commitdiff
2015-06-30
Kshitij Bansal
fix smt2 parameterized sort printing
tree
|
commitdiff
2015-06-12
ajreynol
Make sygus an output language. Parse declare-fun in...
tree
|
commitdiff
2015-05-12
barrettcw
Merge pull request #74 from finnhaedicke/namespace_minisat
tree
|
commitdiff
2015-04-28
ajreynol
Fix smt2 printing of fun-def. Simplification of mbqi...
tree
|
commitdiff
2015-04-02
Kshitij Bansal
Merge pull request #71 from kbansal/const-are-triggers
tree
|
commitdiff
2015-03-28
Tianyi Liang
printer change for string smtlib2
tree
|
commitdiff
2015-02-06
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2015-01-19
Tim King
Adding tests for get-value output for arithmetic.
tree
|
commitdiff
2015-01-11
Tianyi Liang
adjusted to both v2.0 and v2.5 string literals
tree
|
commitdiff
2015-01-09
Tianyi Liang
blocked unprintable characters in string literals;
tree
|
commitdiff
2015-01-08
Tianyi Liang
switch ascii encoding to unsigned char
tree
|
commitdiff
2014-12-06
Tianyi Liang
Added C++/Java api examples;
tree
|
commitdiff
2014-12-06
Tianyi Liang
Added C++/Java api examples;
tree
|
commitdiff
2014-12-04
Martin Brain
Floating point infrastructure.
tree
|
commitdiff
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-11-17
Liana Hadarean
Resource-limiting work.
tree
|
commitdiff
2014-11-10
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-11-05
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-23
Morgan Deters
Parsing and infrastructure support for SMT-LIBv2.5...
tree
|
commitdiff
2014-10-17
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-16
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-11
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-10
Kshitij Bansal
Merge remote-tracking branch 'origin/1.4.x'
tree
|
commitdiff
next