projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge pull request #18 from timothy-king/master
[cvc5.git]
/
examples
/
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-19
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-27
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-18
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-17
Kshitij Bansal
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-09
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-08
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-01-02
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-27
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-26
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2013-12-24
Morgan Deters
Cleanup related to output language fix.
tree
|
commitdiff
2013-12-24
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-24
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-24
Morgan Deters
Java datatype API fixups, datatype API examples
tree
|
commitdiff
2013-12-15
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-12-14
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2013-12-14
Morgan Deters
Another fix for clang.
tree
|
commitdiff
2013-12-05
Morgan Deters
Update copyrights, add missing file-level documentation...
tree
|
commitdiff
2013-12-03
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2013-11-27
Morgan Deters
Incremental is now on by default when using from API...
tree
|
commitdiff
2013-09-30
Liana Hadarean
merged golden
tree
|
commitdiff
2013-08-26
Kshitij Bansal
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-25
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-19
Morgan Deters
Merge branch '1.2.x'
tree
|
commitdiff
2013-06-17
Morgan Deters
Java streams example I forgot to add a long time ago
tree
|
commitdiff
2013-04-02
Morgan Deters
Regenerated copyrights: canonicalized names, no emails
tree
|
commitdiff
2013-04-02
Morgan Deters
update copyrights
tree
|
commitdiff
2013-03-27
lianah
Merge branch 'master' into bv-core
tree
|
commitdiff
2013-03-26
Morgan Deters
Fixes for warnings from clang++, from -std=gnu++0x...
tree
|
commitdiff
2013-03-15
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-14
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-13
lianah
post failed attempts at getting the incremental solver...
tree
|
commitdiff
2013-03-05
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-01
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-26
lianah
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-17
Kshitij Bansal
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-17
Kshitij Bansal
Merge pull request #6 from kbansal/decNewoptions
tree
|
commitdiff
2013-02-16
Morgan Deters
Some cleanup and copyright updating
tree
|
commitdiff
2012-12-01
Morgan Deters
updated examples
tree
|
commitdiff
2012-12-01
Liana Hadarean
added a new example for the combination of bit-vectors...
tree
|
commitdiff
2012-12-01
Tim King
Polishing API examples.
tree
|
commitdiff
2012-11-30
Morgan Deters
all API examples now have java versions too; bitvectors...
tree
|
commitdiff
2012-11-30
Tim King
Updating the combination.cpp example.
tree
|
commitdiff
2012-11-30
Morgan Deters
change detection/handling of output language more reaso...
tree
|
commitdiff
2012-11-30
Liana Hadarean
added a simple API example example showing how to use...
tree
|
commitdiff
2012-11-30
Tim King
Changes to SExpr to accept autoconversion from bool...
tree
|
commitdiff
2012-11-28
Tim King
Adding the helloworld.cpp example.
tree
|
commitdiff
2012-11-27
Tim King
Adding an example to show how to use arithmetic.
tree
|
commitdiff
2012-11-26
Morgan Deters
some fixes to language bindings and function visibility
tree
|
commitdiff
2012-10-22
Morgan Deters
fix misleading comment in example
tree
|
commitdiff
2012-10-06
Morgan Deters
* Some documentation about building compatibility and...
tree
|
commitdiff
2012-10-05
Morgan Deters
Bug-related:
tree
|
commitdiff
2012-10-05
Dejan Jovanović
BoolExpr removed and replaced with Expr
tree
|
commitdiff
2012-10-03
Morgan Deters
better documentation, allow examples to be installed...
tree
|
commitdiff
2012-09-28
Morgan Deters
* fix compatibility library naming for SMT-LIBv1
tree
|
commitdiff
2012-08-16
Morgan Deters
some fixes for language bindings
tree
|
commitdiff
2012-07-31
Morgan Deters
Options merge. This commit:
tree
|
commitdiff
2012-07-14
Morgan Deters
fixing make dist
tree
|
commitdiff
2012-07-14
Dejan Jovanović
an example that uses bitvectors to simulate sha1 comput...
tree
|
commitdiff
2012-07-10
Dejan Jovanović
* fixing the simple_vc_cxx.cpp compile issue (no more...
tree
|
commitdiff
2011-11-22
Morgan Deters
fix module name for CVC4 jar file; part of the fix...
tree
|
commitdiff
2011-11-22
Morgan Deters
More language bindings work:
tree
|
commitdiff
2011-11-16
Morgan Deters
Fix "make dist". Fixes to python and ruby bindings...
tree
|
commitdiff
2011-11-15
Morgan Deters
Bindings work (ocaml bindings are now sort of working...
tree
|
commitdiff
2011-11-15
Morgan Deters
additional minor changes to get python binding on bette...
tree
|
commitdiff
2011-11-15
Morgan Deters
fixes for python language binding, added python example
tree
|
commitdiff
2011-10-03
Morgan Deters
user push/pop support in minisat and simplification...
tree
|
commitdiff
2011-09-30
Morgan Deters
forgot to put some things in the distro
tree
|
commitdiff
2011-09-30
Morgan Deters
interfaces fixes and cleanups...and examples of each...
tree
|
commitdiff