projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix corner case of wrongly applied selector as trigger (#5786)
[cvc5.git] / src / theory / bags /
2021-01-09 mudathirmahgoubFix issue 5513 (#5757) tree | commitdiff
2021-01-08 mudathirmahgoubAdd bags inference generator (#5731) tree | commitdiff
2020-12-03 Aina NiemetzUpdate copyright headers. tree | commitdiff
2020-11-21 mudathirmahgoubAdd posRewriteEqual to bags rewriter (#5498) tree | commitdiff
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