projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add bag.fold operator (#7718)
[cvc5.git] / test / unit / theory / theory_bags_rewriter_white.cpp
2021-12-02 mudathirmahgoubadd bag.fold operator (#7718) blob | commitdiff | raw
2021-11-13 mudathirmahgoubFix type error for rewriting bag.map bag.union_disjoint... blob | commitdiff | raw | diff to current
2021-11-12 mudathirmahgoubbags: Rename kinds with a more consistent naming scheme... blob | commitdiff | raw | diff to current
2021-11-12 Andres NoetzliRemove `ConstantMap<Rational>` (#7635) blob | commitdiff | raw | diff to current
2021-10-31 mudathirmahgoubFix soundess issue for bags with negative multiplicity... 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-09-01 mudathirmahgoubFixed TestTheoryWhiteBagsRewriter.map failure (#7103) blob | commitdiff | raw | diff to current
2021-08-30 mudathirmahgoubAdd 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-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-07 Andrew ReynoldsReplace calls to NodeManager::mkSkolem with SkolemManag... blob | commitdiff | raw | diff to current
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) blob | commitdiff | raw | diff to current
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2021-02-26 Aina Niemetzgoogle test: theory: Migrate theory_sets_type_enumerato... blob | commitdiff | raw | diff to current
2021-02-24 Aina Niemetzgoogle test: theory: Migrate theory_bags_rewriter_white... blob | commitdiff | raw | diff to current