chore: remove Eval things that are out of scope

leanprover · Jul 16, 2024 · c10921c · c10921c
1 parent 7826d04
commit c10921c
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 24 deletions.
diff --git a/Eval/bitvec_AndOrXor_2443.lean b/Eval/bitvec_AndOrXor_2443.lean
diff --git a/Eval/bitvec_InstCombineShift__422_2.lean b/Eval/bitvec_InstCombineShift__422_2.lean
diff --git a/Eval/bitvec_InstCombineShift__458.lean b/Eval/bitvec_InstCombineShift__458.lean