projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add mkInteger to the API (#5274)
[cvc5.git]
/
examples
/
sets-translate
/
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
tree
|
commitdiff
2020-06-19
Andres Noetzli
Cleanup examples (#4634)
tree
|
commitdiff
2020-06-16
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2019-09-25
Mathias Preiner
Use separate CMake project for CVC4 examples. (#3196)
tree
|
commitdiff
2019-04-30
Andres Noetzli
Fix use of APPLY kind in examples (#2984)
tree
|
commitdiff
2019-03-26
Aina Niemetz
Update copyright headers.
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
Fix mem leak in sets_translate example. (#2589)
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 target examples (currently .cpp examples...
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-08-09
Aina Niemetz
Plug solver API object into parser. (#2240)
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-03-07
Mathias Preiner
Make statistics output consistent. (#1647)
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-07
Mathias Preiner
Update copyright headers.
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-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
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
2014-10-03
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-10-02
Morgan Deters
Merge branch '1.4.x'.
tree
|
commitdiff
2014-09-30
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-27
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-26
Morgan Deters
Merge branch '1.4.x'
tree
|
commitdiff
2014-09-17
Kshitij Bansal
Merge branch '1.4.x' while ignoring commit 8d5eb49.
tree
|
commitdiff
2014-09-17
Kshitij Bansal
Merge branch '1.4.x'
tree
|
commitdiff
2014-08-24
Kshitij Bansal
fix type in sets_translate
tree
|
commitdiff
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
tree
|
commitdiff
2014-07-01
Morgan Deters
Update copyrights.
tree
|
commitdiff
2014-07-01
Morgan Deters
Merge pull request #44 from mdeters/prio-queue-updates
tree
|
commitdiff
2014-07-01
Morgan Deters
Merge pull request #45 from mdeters/turn-off-strings-exp
tree
|
commitdiff
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
tree
|
commitdiff
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
tree
|
commitdiff
2014-06-25
Kshitij Bansal
rename subseteq to subset in smtlib, all kinds and...
tree
|
commitdiff
2014-06-22
Kshitij Bansal
Renaming of SMT2 operator names, kinds for set theory
tree
|
commitdiff
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
tree
|
commitdiff
2014-06-19
Morgan Deters
Fix make install-examples.
tree
|
commitdiff
2014-06-19
Kshitij Bansal
basic fixes for sets translator, separate binaries
tree
|
commitdiff
2014-06-19
Morgan Deters
Fix make install-examples.
tree
|
commitdiff
2014-06-18
Kshitij Bansal
Merge remote-tracking branch 'upstream/master' into...
tree
|
commitdiff
2014-06-18
Kshitij Bansal
basic fixes for sets translator, separate binaries
tree
|
commitdiff
2014-06-09
Kshitij Bansal
Merge pull request #29 from kbansal/alternatefix
tree
|
commitdiff
2014-06-08
Kshitij Bansal
sets translate: a different translation using axioms
tree
|
commitdiff
2014-06-06
Kshitij Bansal
sets translator: fix for dags
tree
|
commitdiff
2014-06-06
Kshitij Bansal
Merge pull request #28 from kbansal/sets
tree
|
commitdiff
2014-06-06
Kshitij Bansal
Sets translate, and other short fixes
tree
|
commitdiff