Re-ran the test generator

opencompl · Oct 15, 2024 · b7598f0 · b7598f0
1 parent f9f94e0
commit b7598f0
Show file tree

Hide file tree

Showing 88 changed files with 2,886 additions and 1,146 deletions.
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2004h02h23hShiftShiftOverflow.lean b/SSA/Projects/InstCombine/tests/LLVM/g2004h02h23hShiftShiftOverflow.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2004h02h23hShiftShiftOverflow_proof.lean b/SSA/Projects/InstCombine/tests/LLVM/g2004h02h23hShiftShiftOverflow_proof.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2008h02h23hMulSub.lean b/SSA/Projects/InstCombine/tests/LLVM/g2008h02h23hMulSub.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2008h02h23hMulSub_proof.lean b/SSA/Projects/InstCombine/tests/LLVM/g2008h02h23hMulSub_proof.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2008h05h31hAddBool.lean b/SSA/Projects/InstCombine/tests/LLVM/g2008h05h31hAddBool.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2008h05h31hAddBool_proof.lean b/SSA/Projects/InstCombine/tests/LLVM/g2008h05h31hAddBool_proof.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2008h05h31hBools.lean b/SSA/Projects/InstCombine/tests/LLVM/g2008h05h31hBools.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2008h05h31hBools_proof.lean b/SSA/Projects/InstCombine/tests/LLVM/g2008h05h31hBools_proof.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2008h07h11hRemAnd.lean b/SSA/Projects/InstCombine/tests/LLVM/g2008h07h11hRemAnd.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2008h07h11hRemAnd_proof.lean b/SSA/Projects/InstCombine/tests/LLVM/g2008h07h11hRemAnd_proof.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2010h11h23hDistributed.lean b/SSA/Projects/InstCombine/tests/LLVM/g2010h11h23hDistributed.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2010h11h23hDistributed_proof.lean b/SSA/Projects/InstCombine/tests/LLVM/g2010h11h23hDistributed_proof.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2012h08h28hudiv_ashl.lean b/SSA/Projects/InstCombine/tests/LLVM/g2012h08h28hudiv_ashl.lean
diff --git a/SSA/Projects/InstCombine/tests/LLVM/g2012h08h28hudiv_ashl_proof.lean b/SSA/Projects/InstCombine/tests/LLVM/g2012h08h28hudiv_ashl_proof.lean