| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-11-12 | bags: Rename kinds with a more consistent naming scheme (#7611) | mudathirmahgoub |
| 2021-11-11 | Add lazy approach for handling lambdas in the HO extension (#7625) | Andrew Reynolds |
| 2021-11-10 | Fix soundness issue of missing premises for count bag lemmas (#7615) | mudathirmahgoub |
| 2021-11-08 | expand bag.choose operator (#7481) | mudathirmahgoub |
| 2021-10-31 | Fix soundess issue for bags with negative multiplicity (#7539) | mudathirmahgoub |
| 2021-10-31 | Remove assertSkeleton for bag elements during model building (#7538) | mudathirmahgoub |
| 2021-10-25 | Add inference for count map (#7264) | mudathirmahgoub |
| 2021-08-30 | Add kind BAG_MAP and its type rule to bags (#6503) | mudathirmahgoub |
| 2021-01-29 | Add bag inferences for operators: intersection, duplicate_removal, and empty ... | mudathirmahgoub |
| 2021-01-25 | Refactor bags::SolverState (#5783) | mudathirmahgoub |
| 2021-01-08 | Add bags inference generator (#5731) | mudathirmahgoub |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback