projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Cleanup in transcendental solver, add ApproximationBounds struct. (#5945)
[cvc5.git]
/
src
/
theory
/
builtin
/
2021-01-11
Andrew Reynolds
Further simplifications in preparation for removing...
tree
|
commitdiff
2020-12-03
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-12-02
Andrew Reynolds
(proof-new) Proofs for expand definitions (#5562)
tree
|
commitdiff
2020-11-11
Andrew Reynolds
Rewrite witness terms at prerewrite (#5419)
tree
|
commitdiff
2020-11-10
Andrew Reynolds
Make mkGroundTerm deterministic (#5347)
tree
|
commitdiff
2020-10-21
Andrew Reynolds
(proof-new) Fixes for proofs in rewriter (#5307)
tree
|
commitdiff
2020-10-20
Andrew Reynolds
Fix miscellaneous warnings (#5256)
tree
|
commitdiff
2020-10-18
Andrew Reynolds
(proof-new) Implementation of trust substitution (...
tree
|
commitdiff
2020-10-18
Andrew Reynolds
(proof-new) More features for SMT proof post-processor...
tree
|
commitdiff
2020-10-14
Andrew Reynolds
(proof-new) Simplifications for proof rule checker...
tree
|
commitdiff
2020-10-08
Andrew Reynolds
(proof-new) Fixes and improvements for smt proof postpr...
tree
|
commitdiff
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
tree
|
commitdiff
2020-09-02
Andrew Reynolds
(proof-new) Updates to builtin proof checker (#4962)
tree
|
commitdiff
2020-08-18
Andrew Reynolds
(proof-new) Theory preprocessor proof producing (#4807)
tree
|
commitdiff
2020-08-12
Andrew Reynolds
(proof-new) Witness form proof generator (#4782)
tree
|
commitdiff
2020-07-27
Andrew Reynolds
(proof-new) Proof production for term formula removal...
tree
|
commitdiff
2020-07-15
Andres Noetzli
Use TypeNode in UninterpretedConstant (#4748)
tree
|
commitdiff
2020-07-14
Andrew Reynolds
(proof-new) Skeleton proof support in the Rewriter...
tree
|
commitdiff
2020-07-14
Andres Noetzli
Use TypeNode/Node in ArrayStoreAll (#4728)
tree
|
commitdiff
2020-07-13
Andrew Reynolds
(proof-new) SMT Preprocess proof generator (#4708)
tree
|
commitdiff
2020-07-11
Andrew Reynolds
(proof-new) Update Theory interface for proof-new ...
tree
|
commitdiff
2020-07-10
Andrew Reynolds
Ensure legal elimination for witness rewrite (#4688)
tree
|
commitdiff
2020-07-02
Andrew Reynolds
(proof-new) Proof rule checkers run on skolem forms...
tree
|
commitdiff
2020-07-01
Andrew Reynolds
(proof-new) Improve rewriter for WITNESS (#4661)
tree
|
commitdiff
2020-06-16
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2020-06-15
Haniel Barbosa
Support AND/OR definitions in lambda to array rewriting...
tree
|
commitdiff
2020-06-10
Andrew Reynolds
(proof-new) Theory proof step buffer utility (#4580)
tree
|
commitdiff
2020-06-05
Andrew Reynolds
(proof-new) Rename ProofSkolemCache to SkolemManager...
tree
|
commitdiff
2020-06-03
Andrew Reynolds
(proof-new) Add builtin proof checker (#4537)
tree
|
commitdiff
2020-05-20
Andrew Reynolds
Do not eliminate variables that are equal to unevaluata...
tree
|
commitdiff
2020-05-19
mudathirmahgoub
Renamed operator CHOICE to WITNESS (#4207)
tree
|
commitdiff
2020-04-03
Andres Noetzli
Update theory rewriter ownership, add stats to strings...
tree
|
commitdiff
2020-04-03
Andrew Reynolds
Only rewrite lambdas via array representations when...
tree
|
commitdiff
2020-04-02
Andres Noetzli
Initialize theory rewriters in theories (#4197)
tree
|
commitdiff
2020-03-30
mudathirmahgoub
Frontend support for the choice operator (#4175)
tree
|
commitdiff
2020-03-03
Andrew Reynolds
Standardize the interface for SMT engine subsolvers...
tree
|
commitdiff
2020-02-24
Andres Noetzli
Make lambda rewriter more robust (#3806)
tree
|
commitdiff
2020-02-20
Andrew Reynolds
Remove front-end support for Chain (#3767)
tree
|
commitdiff
2019-12-18
Andres Noetzli
Avoid calling rewriter from type checker (#3548)
tree
|
commitdiff
2019-12-09
Andres Noetzli
Make theory rewriters non-static (#3547)
tree
|
commitdiff
2019-10-30
Mathias Preiner
Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...
tree
|
commitdiff
2019-09-16
Andrew Reynolds
Fix HO model construction for functions having Boolean...
tree
|
commitdiff
2019-04-30
Andrew Reynolds
Eliminate APPLY kind (#2976)
tree
|
commitdiff
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
tree
|
commitdiff
2019-03-26
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2018-10-04
Andrew Reynolds
Clean remaining references to getNextDecisionRequest...
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Remove unused CMakeLists.txt
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-08-16
Andres Noetzli
Move node algorithms to separate file (#2311)
tree
|
commitdiff
2018-07-26
Andrew Reynolds
Fix rewriter for lambda (#2211)
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-03-05
Mathias Preiner
Enable -Wsuggest-override by default. (#1643)
tree
|
commitdiff
2018-01-10
Tim King
Removing throw specifiers for TypeRules. (#1501)
tree
|
commitdiff
2018-01-10
Tim King
Removing throw specifiers from type enumerators. (...
tree
|
commitdiff
2018-01-04
Andrew Reynolds
Improvements for CBQI (#1478)
tree
|
commitdiff
2017-11-13
Andrew Reynolds
Implement enumerator for functions. (#1243)
tree
|
commitdiff
2017-10-27
Andrew Reynolds
Implement Hilbert choice operator (#1291)
tree
|
commitdiff
2017-10-11
Andrew Reynolds
Ho node manager types (#1203)
tree
|
commitdiff
2017-09-14
Andrew Reynolds
Remove unhandled subtypes (#1098)
tree
|
commitdiff
2017-09-14
Andrew Reynolds
Add isConst check for lambda expressions. (#1084)
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-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
2017-04-06
Clark Barrett
Merge pull request #143 from FabianWolff/master
tree
|
commitdiff
2017-04-04
Fabian Wolff
Fix several spelling errors
tree
|
commitdiff
2017-03-27
Clark Barrett
Merge pull request #137 from 4tXJ7f/throw_quals
tree
|
commitdiff
2017-03-27
Andres Notzli
Remove throw qualifiers in type enumerators
tree
|
commitdiff
2017-03-02
ajreynol
Eliminate Boolean term conversion. Generalizes removeIT...
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-01-28
Tim King
Adding listeners to Options.
tree
|
commitdiff
2016-01-15
ajreynol
Type enumerators take optional argument indicating...
tree
|
commitdiff
2016-01-06
Tim King
Add SmtGlobals Class
tree
|
commitdiff
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
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-24
ajreynol
Partial support for codatatype models.
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-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
Andrew Reynolds
Merge pull request #34 from mdeters/datatypes-kinds
tree
|
commitdiff
next