projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Rename namespace CVC4 to CVC5. (#6249)
2021-03-20
mudathirmahgoub
Generate cvc/Kind.java for the java API (#6143)
commit
|
commitdiff
|
tree
2021-03-03
mudathirmahgoub
Add tuple projection operator (#5904)
commit
|
commitdiff
|
tree
2021-02-01
mudathirmahgoub
Fix BagsRewriter::rewriteUnionDisjoint (#5840)
commit
|
commitdiff
|
tree
2021-01-29
mudathirmahgoub
Add bag inferences for operators: intersection, duplicate_re...
commit
|
commitdiff
|
tree
2021-01-28
mudathirmahgoub
Remove regex header from cvc4cpp.cpp (#5826)
commit
|
commitdiff
|
tree
2021-01-25
mudathirmahgoub
Refactor bags::SolverState (#5783)
commit
|
commitdiff
|
tree
2021-01-25
mudathirmahgoub
rename InferInfo::d_newSkolem to InferInfo::d_skolems...
commit
|
commitdiff
|
tree
2021-01-09
mudathirmahgoub
Fix issue 5513 (#5757)
commit
|
commitdiff
|
tree
2021-01-08
mudathirmahgoub
Rename getAntecedent to getPremises (#5754)
commit
|
commitdiff
|
tree
2021-01-08
mudathirmahgoub
Add bags inference generator (#5731)
commit
|
commitdiff
|
tree
2020-12-16
mudathirmahgoub
Renamed InferInfo::getAntecedant to InferInfo::getAntecedent...
commit
|
commitdiff
|
tree
2020-11-21
mudathirmahgoub
Add posRewriteEqual to bags rewriter (#5498)
commit
|
commitdiff
|
tree
2020-11-06
mudathirmahgoub
Fix issue #5342 (#5349)
commit
|
commitdiff
|
tree
2020-11-05
mudathirmahgoub
Remove mkSingleton from the API (#5366)
commit
|
commitdiff
|
tree
2020-10-29
mudathirmahgoub
Add mkInteger to the API (#5274)
commit
|
commitdiff
|
tree
2020-10-27
mudathirmahgoub
Add DUPICATE_REMOVAL operator to bags (#5336)
commit
|
commitdiff
|
tree
2020-10-24
mudathirmahgoub
Fix issue 5271 (#5335)
commit
|
commitdiff
|
tree
2020-10-22
mudathirmahgoub
Fix issue 5309 (#5327)
commit
|
commitdiff
|
tree
2020-10-21
mudathirmahgoub
Implement bags evaluator (#5322)
commit
|
commitdiff
|
tree
2020-10-21
mudathirmahgoub
Add operator MakeBagOp for constructing bags (#5209)
commit
|
commitdiff
|
tree
2020-10-14
mudathirmahgoub
Fix issue #5269 (#5270)
commit
|
commitdiff
|
tree
2020-10-06
mudathirmahgoub
Add operators bag.from_set, bag.to_set to the theory...
commit
|
commitdiff
|
tree
2020-10-06
mudathirmahgoub
Remove subtyping for sets (#5205)
commit
|
commitdiff
|
tree
2020-10-04
mudathirmahgoub
Remove subtyping for sets theory (#5179)
commit
|
commitdiff
|
tree
2020-09-29
mudathirmahgoub
Fix bags headers (#5165)
commit
|
commitdiff
|
tree
2020-09-28
mudathirmahgoub
Implement bags rewriter (#5132)
commit
|
commitdiff
|
tree
2020-09-22
mudathirmahgoub
Add skeleton for theory of bags (multisets) (#5100)
commit
|
commitdiff
|
tree
2020-09-09
mudathirmahgoub
Add is_singleton operator to the theory of sets (#5033)
commit
|
commitdiff
|
tree
2020-05-23
mudathirmahgoub
remove unused field d_emp_exp in TheorySetsPrivate...
commit
|
commitdiff
|
tree
2020-05-19
mudathirmahgoub
Renamed operator CHOICE to WITNESS (#4207)
commit
|
commitdiff
|
tree
2020-04-08
mudathirmahgoub
Added CHOOSE operator for sets (#4211)
commit
|
commitdiff
|
tree
2020-03-30
mudathirmahgoub
Frontend support for the choice operator (#4175)
commit
|
commitdiff
|
tree
2020-03-03
mudathirmahgoub
Refactoring and cleaning the type enumerator for sets...
commit
|
commitdiff
|
tree
2020-02-25
mudathirmahgoub
Sets & Relations Java example (#3816)
commit
|
commitdiff
|
tree
2020-02-25
mudathirmahgoub
Sets & Relations Java example (#3816)
commit
|
commitdiff
|
tree
2020-02-07
mudathirmahgoub
Univeset Cardinality constraints for infinite types...
commit
|
commitdiff
|
tree
2020-02-04
mudathirmahgoub
Update INSTALL.md (#3714)
commit
|
commitdiff
|
tree
2020-02-03
mudathirmahgoub
Fix cardinality of uninterpreted types when univset...
commit
|
commitdiff
|
tree
2020-01-08
mudathirmahgoub
Universe set cardinality for finite types with finite...
commit
|
commitdiff
|
tree