projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
FloatingPoint: Separate out symFPU glue code. (#5492)
[cvc5.git] / src / theory / bags /
2020-10-27 mudathirmahgoubAdd DUPICATE_REMOVAL operator to bags (#5336) tree | commitdiff
2020-10-21 mudathirmahgoubImplement bags evaluator (#5322) tree | commitdiff
2020-10-21 mudathirmahgoubAdd operator MakeBagOp for constructing bags (#5209) tree | commitdiff
2020-10-06 mudathirmahgoubAdd operators bag.from_set, bag.to_set to the theory... tree | commitdiff
2020-09-29 mudathirmahgoubFix bags headers (#5165) tree | commitdiff
2020-09-28 mudathirmahgoubImplement bags rewriter (#5132) tree | commitdiff
2020-09-22 mudathirmahgoubAdd skeleton for theory of bags (multisets) (#5100) tree | commitdiff