Compare commits

...

9 Commits

Author SHA1 Message Date
Kim Morrison
79574364b7 cleanup 2025-06-26 12:52:25 +10:00
Kim Morrison
9caf04852e remove simp annotations in test file 2025-06-26 12:51:42 +10:00
Kim Morrison
1e4ecc6624 cleanup 2025-06-26 12:47:09 +10:00
Kim Morrison
5cf3e0a313 restore grind annotations 2025-06-26 12:39:45 +10:00
Kim Morrison
ca1c85a59f unrevert more 2025-06-26 12:09:14 +10:00
Kim Morrison
d3163eae1d unrevert some files 2025-06-26 12:07:57 +10:00
Kim Morrison
33e1efd66b Revert "feat: use grind in BitVec/Lemmas (#8967)"
This reverts commit 3e8d28ae6b.
2025-06-26 12:06:16 +10:00
Kim Morrison
33aab7090a Revert "chore: cleanup of grind in BitVec/Lemmas (#8989)"
This reverts commit 708c5f1d9a.
2025-06-26 12:04:55 +10:00
Kim Morrison
37d0da4af4 copy current BitVec/Lemmas to tests 2025-06-26 11:47:11 +10:00
2 changed files with 6120 additions and 578 deletions

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff