projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
(proof-new) Change merge policy for proof node updater (#5242)
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