git.libre-soc.org Git - cvc5.git/history - src/theory/bags/bags

[cvc5.git] / src / theory / bags / bags_rewriter.cpp

2021-12-02	mudathirmahgoub	add bag.fold operator (#7718)	blob \| commitdiff \| raw
2021-11-23	mudathirmahgoub	Add rewrite rule for bag.card operator using bag.map...	blob \| commitdiff \| raw \| diff to current
2021-11-13	mudathirmahgoub	Fix type error for rewriting bag.map bag.union_disjoint...	blob \| commitdiff \| raw \| diff to current
2021-11-12	mudathirmahgoub	bags: Rename kinds with a more consistent naming scheme...	blob \| commitdiff \| raw \| diff to current
2021-11-12	Andres Noetzli	Remove `ConstantMap<Rational>` (#7635)	blob \| commitdiff \| raw \| diff to current
2021-11-08	mudathirmahgoub	expand bag.choose operator (#7481)	blob \| commitdiff \| raw \| diff to current
2021-11-08	Aina Niemetz	sets: Rename kinds with a more consistent naming scheme...	blob \| commitdiff \| raw \| diff to current
2021-10-31	mudathirmahgoub	Fix soundess issue for bags with negative multiplicity...	blob \| commitdiff \| raw \| diff to current
2021-10-25	mudathirmahgoub	Add inference for count map (#7264)	blob \| commitdiff \| raw \| diff to current
2021-09-02	Andres Noetzli	[Unit Tests] Fix bags rewrite test (#7114)	blob \| commitdiff \| raw \| diff to current
2021-08-30	mudathirmahgoub	Add kind BAG_MAP and its type rule to bags (#6503)	blob \| commitdiff \| raw \| diff to current
2021-05-26	Andres Noetzli	More precise includes of `Node` constants (#6617)	blob \| commitdiff \| raw \| diff to current
2021-04-14	Gereon Kremer	Refactor / reimplement statistics (#6162)	blob \| commitdiff \| raw \| diff to current
2021-04-12	Aina Niemetz	Refactor and update copyright headers. (#6316)	blob \| commitdiff \| raw \| diff to current
2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw \| diff to current
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-15	Gereon Kremer	Replace HistogramStat by IntegralHistogramStat (#6126)	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2021-02-01	mudathirmahgoub	Fix BagsRewriter::rewriteUnionDisjoint (#5840)	blob \| commitdiff \| raw \| diff to current
2021-01-08	mudathirmahgoub	Add bags inference generator (#5731)	blob \| commitdiff \| raw \| diff to current
2020-12-03	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-11-21	mudathirmahgoub	Add posRewriteEqual to bags rewriter (#5498)	blob \| commitdiff \| raw \| diff to current
2020-10-27	mudathirmahgoub	Add DUPICATE_REMOVAL operator to bags (#5336)	blob \| commitdiff \| raw \| diff to current
2020-10-21	mudathirmahgoub	Implement bags evaluator (#5322)	blob \| commitdiff \| raw \| diff to current
2020-10-21	mudathirmahgoub	Add operator MakeBagOp for constructing bags (#5209)	blob \| commitdiff \| raw \| diff to current
2020-10-06	mudathirmahgoub	Add operators bag.from_set, bag.to_set to the theory...	blob \| commitdiff \| raw \| diff to current
2020-09-29	mudathirmahgoub	Fix bags headers (#5165)	blob \| commitdiff \| raw \| diff to current
2020-09-28	mudathirmahgoub	Implement bags rewriter (#5132)	blob \| commitdiff \| raw \| diff to current

RSS Atom