projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Make sure conflicts are not rewritten (in arithmetic) (#5219)
[cvc5.git]
/
examples
/
2020-10-04
mudathirmahgoub
Remove subtyping for sets theory (#5179)
tree
|
commitdiff
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
tree
|
commitdiff
2020-09-02
Andres Noetzli
[API] Fix Python Examples (#4943)
tree
|
commitdiff
2020-08-03
yoni206
Examples for using sygus python api (#4822)
tree
|
commitdiff
2020-07-30
Andres Noetzli
Python API: Add support for sequences (#4757)
tree
|
commitdiff
2020-07-07
Andrew V. Jones
Increase the minimum version of CMake due to the use...
tree
|
commitdiff
2020-06-29
Andres Noetzli
Make ExprManager constructor private (#4669)
tree
|
commitdiff
2020-06-23
Aina Niemetz
New C++ API: Remove examples for old API. (#4650)
tree
|
commitdiff
2020-06-19
Andres Noetzli
Cleanup examples (#4634)
tree
|
commitdiff
2020-06-18
Andres Noetzli
Improve memory management in Java bindings (#4629)
tree
|
commitdiff
2020-06-16
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-06-09
Andres Noetzli
Language bindings: Enable catching of exceptions (...
tree
|
commitdiff
2020-06-09
Andres Noetzli
Fix Java target and Relations example (#4583)
tree
|
commitdiff
2020-06-04
makaimann
Wrap Result in Python API (#4473)
tree
|
commitdiff
2020-06-04
Aina Niemetz
New C++ Api: First batch of API guards. (#4557)
tree
|
commitdiff
2020-05-23
Abdalrhman Mohamed
Fix mistakes in sygus API comments. (#4520)
tree
|
commitdiff
2020-05-21
Abdalrhman Mohamed
Make Grammar reusable. (#4506)
tree
|
commitdiff
2020-04-21
Abdalrhman Mohamed
Introduce a public interface for Sygus commands. (...
tree
|
commitdiff
2020-04-15
Andrew Reynolds
Change option names --default-dag-thresh and --default...
tree
|
commitdiff
2020-04-01
Aina Niemetz
Rename checkValid/query to checkEntailed. (#4191)
tree
|
commitdiff
2020-03-12
Andrew Reynolds
Simplifications to the Datatypes API (#4040)
tree
|
commitdiff
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
next