projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add a new arith constraint proof rule: IntTightenAP (#3818)
[cvc5.git]
/
examples
/
2020-03-05
Andrew Reynolds
Migrate a majority of the functionality in parsers...
tree
|
commitdiff
2020-02-25
mudathirmahgoub
Sets & Relations Java example (#3816)
tree
|
commitdiff
2020-02-19
makaimann
Add Python bindings using Cython -- see below for more...
tree
|
commitdiff
2020-02-19
makaimann
Change datatype selector/constructor/tester to terms...
tree
|
commitdiff
2020-02-12
Andres Noetzli
Rename Java package to edu.stanford.CVC4 (#3752)
tree
|
commitdiff
2019-12-06
Andrew Reynolds
Add ExprManager as argument to Datatype (#3535)
tree
|
commitdiff
2019-12-02
makaimann
OpTerm Refactor: Allow retrieving OpTerm used to create...
tree
|
commitdiff
2019-11-18
Andrew Reynolds
Updates to the unit tests, api, and examples for dataty...
tree
|
commitdiff
2019-10-03
Aina Niemetz
Travis: Reenable building and running of examples....
tree
|
commitdiff
2019-09-25
Mathias Preiner
Use separate CMake project for CVC4 examples. (#3196)
tree
|
commitdiff
2019-09-06
Mathias Preiner
Remove SMT1 parser. (#3228)
tree
|
commitdiff
2019-08-08
Mathias Preiner
Fix issues with Ninja build system and add configure...
tree
|
commitdiff
2019-06-22
Andres Noetzli
Add floating-point support in the Java API (#3063)
tree
|
commitdiff
2019-05-16
Andres Noetzli
Fix iterators in Java API (#3000)
tree
|
commitdiff
2019-04-30
Andres Noetzli
Fix use of APPLY kind in examples (#2984)
tree
|
commitdiff
2019-04-26
Aina Niemetz
New C++ API: Clean up API: mkVar vs mkConst vs mkBoundV...
tree
|
commitdiff
2019-04-03
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2019-04-01
makaimann
Update includes to use cvc4 top-level directory in...
tree
|
commitdiff
2019-03-26
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2019-03-19
Aina Niemetz
New C++: Remove redundant mkVar function.
tree
|
commitdiff
2019-02-13
Aina Niemetz
New C++ API: Remove redundant declareFun function....
tree
|
commitdiff
2019-01-29
Aina Niemetz
New C++ API: Fix checks for mkTerm. (#2820)
tree
|
commitdiff
2019-01-03
Aina Niemetz
New C++ API: Add tests for mk-functions in solver objec...
tree
|
commitdiff
2018-11-14
Mathias Preiner
cmake: Require boost 1.50.0 for examples. (#2710)
tree
|
commitdiff
2018-10-19
Mathias Preiner
Remove autotools build system. (#2639)
tree
|
commitdiff
2018-10-09
Aina Niemetz
Cmake: Fix ctest call for example/translator. (#2600)
tree
|
commitdiff
2018-10-04
Aina Niemetz
New C++ API: Add checks for Sorts. (#2519)
tree
|
commitdiff
2018-10-04
Aina Niemetz
Fix mem leak in sha1_collision example. (#2588)
tree
|
commitdiff
2018-10-04
Aina Niemetz
Fix mem leak in sets_translate example. (#2589)
tree
|
commitdiff
2018-09-26
Aina Niemetz
cmake: New INSTALL.md for build and testing instruction...
tree
|
commitdiff
2018-09-26
Aina Niemetz
examples/hashsmt/sha1_inversion: Fix includes for newer...
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Add more documentation, some fixes and cleanup.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Refactor cvc4_add_unit_test macro to support...
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Add target runexamples.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Guard examples that require Boost.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: examples: Configure output directory per target.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added java examples
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added target examples (currently .cpp examples...
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-09-12
Aina Niemetz
Examples: Remove obsolete flag CVC4_MAKE_EXAMPLES....
tree
|
commitdiff
2018-09-04
Andres Noetzli
Remove CVC3 compatibility layer (#2418)
tree
|
commitdiff
2018-08-09
Aina Niemetz
Plug solver API object into parser. (#2240)
tree
|
commitdiff
2018-07-26
Aina Niemetz
New C++ API: Enable examples. (#2222)
tree
|
commitdiff
2018-07-23
Aina Niemetz
New C++ API: declare-datatype. (#2166)
tree
|
commitdiff
2018-07-03
Aina Niemetz
Fix datatypes example: nil constructor was missing...
tree
|
commitdiff
2018-06-27
Aina Niemetz
Header for new C++ API. (#1697)
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-05-21
Andres Noetzli
Fix compiler warning in hashsmt example (#1927)
tree
|
commitdiff
2018-04-05
Andres Noetzli
Make Python bindings example compatible w/ Python3...
tree
|
commitdiff
2018-04-02
Clark Barrett
Remove references to nyu (#1721)
tree
|
commitdiff
2018-03-21
Aina Niemetz
Add bit-vector extract example. (#1681)
tree
|
commitdiff
2018-03-20
Aina Niemetz
Add parameterized datatypes example. (#1676)
tree
|
commitdiff
2018-03-07
Mathias Preiner
Make statistics output consistent. (#1647)
tree
|
commitdiff
2018-03-05
Aina Niemetz
Add support for check-sat-assuming. (#1637)
tree
|
commitdiff
2017-09-27
Andrew Reynolds
Add quantifiers API example, fixes #879 (#1146)
tree
|
commitdiff
2017-07-21
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-21
Tim King
Moving from the gnu extensions for hash maps to the...
tree
|
commitdiff
2017-07-17
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-17
Tim King
Moving to static_assert now that c++11 is available.
tree
|
commitdiff
2017-07-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
2017-03-02
ajreynol
Eliminate Boolean term conversion. Generalizes removeIT...
tree
|
commitdiff
2017-01-18
Andrew Reynolds
Merge pull request #128 from 4tXJ7f/fix_lfsc_perf
tree
|
commitdiff
2017-01-14
Clark Barrett
Merge pull request #130 from chadbrewbaker/master
tree
|
commitdiff
2017-01-11
Clark Barrett
Merge pull request #129 from timothy-king/regression...
tree
|
commitdiff
2017-01-11
Clark Barrett
Merge pull request #131 from makaimann/fix_702
tree
|
commitdiff
2017-01-11
makaimann
Proposed fix for bug 702. Checks to make sure the Expr...
tree
|
commitdiff
2016-04-20
PaulMeng
update from the master
tree
|
commitdiff
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-04-04
Tim King
Updating the copyright headers and scripts.
tree
|
commitdiff
2016-02-02
Tim King
Moving dump.*, command.*, model.*, and ite_removal...
tree
|
commitdiff
2016-01-28
Tim King
Adding listeners to Options.
tree
|
commitdiff
2016-01-06
Tim King
Add SmtGlobals Class
tree
|
commitdiff
2015-12-30
Tim King
Shuffling around public vs. private headers
tree
|
commitdiff
2015-12-27
Clark Barrett
Merged my changes from experimental branch (new array...
tree
|
commitdiff
2015-12-23
Clark Barrett
Added extract.cpp example
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-07-28
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2015-06-30
Kshitij Bansal
fix sets-translate
tree
|
commitdiff
2015-05-12
barrettcw
Merge pull request #74 from finnhaedicke/namespace_minisat
tree
|
commitdiff
2015-04-23
Clark Barrett
Merge branch 'master' into google
tree
|
commitdiff
2015-04-23
Clark Barrett
A few more minor updates to match google repository...
tree
|
commitdiff
2014-12-09
Morgan Deters
Cleanup.
tree
|
commitdiff
2014-12-06
Tianyi Liang
Added string constant in java api example.
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-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-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
2014-10-09
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-07
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-06
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-03
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
next