projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Make output list of `mkoptions.py` more accurate (#6572)
2021-05-18 mudathirmahgoubAdd Solver.java to the Java API (#6196)
 commit | commitdiff | tree
2021-05-14 mudathirmahgoubAdd Result.java to the java API (#6385)
 commit | commitdiff | tree
2021-05-10 mudathirmahgoubAdd doc to Kind.java (#6498)
 commit | commitdiff | tree
2021-04-21 mudathirmahgoubAdd getNumIndices to Op (#6386)
 commit | commitdiff | tree
2021-04-05 mudathirmahgoubAdd documentation for theory_bags_type_rules.h (#6268)
 commit | commitdiff | tree
2021-03-20 mudathirmahgoubGenerate cvc/Kind.java for the java API (#6143)
 commit | commitdiff | tree
2021-03-03 mudathirmahgoubAdd tuple projection operator (#5904)
 commit | commitdiff | tree
2021-02-01 mudathirmahgoubFix BagsRewriter::rewriteUnionDisjoint (#5840)
 commit | commitdiff | tree
2021-01-29 mudathirmahgoubAdd bag inferences for operators: intersection, duplicate_re...
commit | commitdiff | tree
2021-01-28 mudathirmahgoubRemove regex header from cvc4cpp.cpp (#5826)
 commit | commitdiff | tree
2021-01-25 mudathirmahgoubRefactor bags::SolverState (#5783)
 commit | commitdiff | tree
2021-01-25 mudathirmahgoubrename InferInfo::d_newSkolem to InferInfo::d_skolems...
commit | commitdiff | tree
2021-01-09 mudathirmahgoubFix issue 5513 (#5757)
 commit | commitdiff | tree
2021-01-08 mudathirmahgoubRename getAntecedent to getPremises (#5754)
 commit | commitdiff | tree
2021-01-08 mudathirmahgoubAdd bags inference generator (#5731)
 commit | commitdiff | tree
2020-12-16 mudathirmahgoubRenamed InferInfo::getAntecedant to InferInfo::getAntecedent...
commit | commitdiff | tree
2020-11-21 mudathirmahgoubAdd posRewriteEqual to bags rewriter (#5498)
 commit | commitdiff | tree
2020-11-06 mudathirmahgoubFix issue #5342 (#5349)
 commit | commitdiff | tree
2020-11-05 mudathirmahgoubRemove mkSingleton from the API (#5366)
 commit | commitdiff | tree
2020-10-29 mudathirmahgoubAdd mkInteger to the API (#5274)
 commit | commitdiff | tree
2020-10-27 mudathirmahgoubAdd DUPICATE_REMOVAL operator to bags (#5336)
 commit | commitdiff | tree
2020-10-24 mudathirmahgoubFix issue 5271 (#5335)
 commit | commitdiff | tree
2020-10-22 mudathirmahgoubFix issue 5309 (#5327)
 commit | commitdiff | tree
2020-10-21 mudathirmahgoubImplement bags evaluator (#5322)
 commit | commitdiff | tree
2020-10-21 mudathirmahgoubAdd operator MakeBagOp for constructing bags (#5209)
 commit | commitdiff | tree
2020-10-14 mudathirmahgoubFix issue #5269 (#5270)
 commit | commitdiff | tree
2020-10-06 mudathirmahgoubAdd operators bag.from_set, bag.to_set to the theory...
commit | commitdiff | tree
2020-10-06 mudathirmahgoubRemove subtyping for sets (#5205)
 commit | commitdiff | tree
2020-10-04 mudathirmahgoubRemove subtyping for sets theory (#5179)
 commit | commitdiff | tree
2020-09-29 mudathirmahgoubFix bags headers (#5165)
 commit | commitdiff | tree
2020-09-28 mudathirmahgoubImplement bags rewriter (#5132)
 commit | commitdiff | tree
2020-09-22 mudathirmahgoubAdd skeleton for theory of bags (multisets) (#5100)
 commit | commitdiff | tree
2020-09-09 mudathirmahgoubAdd is_singleton operator to the theory of sets (#5033)
 commit | commitdiff | tree
2020-05-23 mudathirmahgoubremove unused field d_emp_exp in TheorySetsPrivate...
commit | commitdiff | tree
2020-05-19 mudathirmahgoubRenamed operator CHOICE to WITNESS (#4207)
 commit | commitdiff | tree
2020-04-08 mudathirmahgoubAdded CHOOSE operator for sets (#4211)
 commit | commitdiff | tree
2020-03-30 mudathirmahgoubFrontend support for the choice operator (#4175)
 commit | commitdiff | tree
2020-03-03 mudathirmahgoubRefactoring and cleaning the type enumerator for sets...
commit | commitdiff | tree
2020-02-25 mudathirmahgoubSets & Relations Java example (#3816)
 commit | commitdiff | tree
2020-02-25 mudathirmahgoubSets & Relations Java example (#3816)
 commit | commitdiff | tree
2020-02-07 mudathirmahgoubUniveset Cardinality constraints for infinite types...
commit | commitdiff | tree
2020-02-04 mudathirmahgoubUpdate INSTALL.md (#3714)
 commit | commitdiff | tree
2020-02-03 mudathirmahgoubFix cardinality of uninterpreted types when univset...
commit | commitdiff | tree
2020-01-08 mudathirmahgoubUniverse set cardinality for finite types with finite...
commit | commitdiff | tree