projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Make witness form visited ref counted (#8081)
2022-02-03
mudathirmahgoub
Add table.product operator (#8020)
commit
|
commitdiff
|
tree
2022-02-02
mudathirmahgoub
Update datatypes.rst (#8009)
commit
|
commitdiff
|
tree
2022-02-02
mudathirmahgoub
Fix parser issue with tuple_project operator (#8021)
commit
|
commitdiff
|
tree
2022-02-01
mudathirmahgoub
Add bag.filter operator (#8006)
commit
|
commitdiff
|
tree
2022-01-26
mudathirmahgoub
Add Card solver to bags (#7986)
commit
|
commitdiff
|
tree
2022-01-04
mudathirmahgoub
Add bag.member operator to theory of bags (#7857)
commit
|
commitdiff
|
tree
2022-01-04
mudathirmahgoub
Refactor bag solver (#7770)
commit
|
commitdiff
|
tree
2021-12-17
mudathirmahgoub
Remove Rewriter::rewrite from bags type enumerator...
commit
|
commitdiff
|
tree
2021-12-17
mudathirmahgoub
Add relations.cpp, relations.py examples (#7801)
commit
|
commitdiff
|
tree
2021-12-16
mudathirmahgoub
Add regression bags-of-bags-subtypes.smt2 (#7814)
commit
|
commitdiff
|
tree
2021-12-14
mudathirmahgoub
Fix cvc5-projects issue 358 (#7804)
commit
|
commitdiff
|
tree
2021-12-13
mudathirmahgoub
A more efficient implementation for bag.card operator...
commit
|
commitdiff
|
tree
2021-12-13
mudathirmahgoub
Update Relations.java (#7796)
commit
|
commitdiff
|
tree
2021-12-13
mudathirmahgoub
Fix cvc5-projects issues #358 and #375 (#7743)
commit
|
commitdiff
|
tree
2021-12-07
mudathirmahgoub
Fix some java documentation links (#7757)
commit
|
commitdiff
|
tree
2021-12-07
mudathirmahgoub
Add documentation for QuickStart.java (#7730)
commit
|
commitdiff
|
tree
2021-12-02
mudathirmahgoub
add bag.fold operator (#7718)
commit
|
commitdiff
|
tree
2021-12-01
mudathirmahgoub
Enable Java examples (#7702)
commit
|
commitdiff
|
tree
2021-11-23
mudathirmahgoub
Add rewrite rule for bag.card operator using bag.map...
commit
|
commitdiff
|
tree
2021-11-17
mudathirmahgoub
Update SimpleVC.java (#7647)
commit
|
commitdiff
|
tree
2021-11-16
mudathirmahgoub
Fix compile errors with java examples (#7646)
commit
|
commitdiff
|
tree
2021-11-15
mudathirmahgoub
Add documentation for theory_bags_type_rules.h (#7642)
commit
|
commitdiff
|
tree
2021-11-13
mudathirmahgoub
Fix type error for rewriting bag.map bag.union_disjoint...
commit
|
commitdiff
|
tree
2021-11-13
mudathirmahgoub
Add operator set.map to theory of sets (#7641)
commit
|
commitdiff
|
tree
2021-11-12
mudathirmahgoub
bags: Rename kinds with a more consistent naming scheme...
commit
|
commitdiff
|
tree
2021-11-10
mudathirmahgoub
Fix soundness issue of missing premises for count bag...
commit
|
commitdiff
|
tree
2021-11-08
mudathirmahgoub
expand bag.choose operator (#7481)
commit
|
commitdiff
|
tree
2021-11-03
mudathirmahgoub
Enable CI for Junit tests (#7436)
commit
|
commitdiff
|
tree
2021-10-31
mudathirmahgoub
Fix soundess issue for bags with negative multiplicity...
commit
|
commitdiff
|
tree
2021-10-31
mudathirmahgoub
Remove assertSkeleton for bag elements during model...
commit
|
commitdiff
|
tree
2021-10-27
mudathirmahgoub
Fix mac compile errors in sort.cpp (#7507)
commit
|
commitdiff
|
tree
2021-10-25
mudathirmahgoub
Add inference for count map (#7264)
commit
|
commitdiff
|
tree
2021-10-24
mudathirmahgoub
Delete redundant file option_Info.cpp (#7477)
commit
|
commitdiff
|
tree
2021-10-22
mudathirmahgoub
Refactor java package name from cvc5 to io.github.cvc5...
commit
|
commitdiff
|
tree
2021-10-22
mudathirmahgoub
Add missing methods to Solver.java (#7299)
commit
|
commitdiff
|
tree
2021-10-07
mudathirmahgoub
Add missing functions in Term.java (#7297)
commit
|
commitdiff
|
tree
2021-10-01
mudathirmahgoub
Update java examples using the new Java API (#7225)
commit
|
commitdiff
|
tree
2021-09-30
mudathirmahgoub
Finish the Java Api (#6396)
commit
|
commitdiff
|
tree
2021-09-29
mudathirmahgoub
Add Statistics and Stat to the Java API (#7243)
commit
|
commitdiff
|
tree
2021-09-29
mudathirmahgoub
Add Sort.java to the java API (#6382)
commit
|
commitdiff
|
tree
2021-09-10
mudathirmahgoub
Add Op.java to the java API (#6387)
commit
|
commitdiff
|
tree
2021-09-08
mudathirmahgoub
Add Datatype.java to the Java API (#6389)
commit
|
commitdiff
|
tree
2021-09-08
mudathirmahgoub
Add DatatypeConstructor.java, DatatypeConstructorDecl...
commit
|
commitdiff
|
tree
2021-09-01
mudathirmahgoub
Fixed TestTheoryWhiteBagsRewriter.map failure (#7103)
commit
|
commitdiff
|
tree
2021-08-30
mudathirmahgoub
Add kind BAG_MAP and its type rule to bags (#6503)
commit
|
commitdiff
|
tree
2021-08-20
mudathirmahgoub
Add Term.java to the Java API (#6330)
commit
|
commitdiff
|
tree
2021-07-22
mudathirmahgoub
Add std::vector<Term> Op:: getIndices() and operator...
commit
|
commitdiff
|
tree
2021-06-21
mudathirmahgoub
Add Grammar.java to the java API (#6388)
commit
|
commitdiff
|
tree
2021-05-18
mudathirmahgoub
Add Solver.java to the Java API (#6196)
commit
|
commitdiff
|
tree
2021-05-14
mudathirmahgoub
Add Result.java to the java API (#6385)
commit
|
commitdiff
|
tree
2021-05-10
mudathirmahgoub
Add doc to Kind.java (#6498)
commit
|
commitdiff
|
tree
2021-04-21
mudathirmahgoub
Add getNumIndices to Op (#6386)
commit
|
commitdiff
|
tree
2021-04-05
mudathirmahgoub
Add documentation for theory_bags_type_rules.h (#6268)
commit
|
commitdiff
|
tree
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