Skip to content

Commit 1727c7c

Browse files
bollubollu
committed
chore: move extract_goals into success/ and failure/ folders
1 parent 23a9eff commit 1727c7c

File tree

15,913 files changed

+81626
-155123
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

15,913 files changed

+81626
-155123
lines changed

‎SSA/Projects/InstCombine/tests/goals/failure/g2004h02h23hShiftShiftOverflow_proof_test_thm_extracted_1__1.lean‎

Lines changed: 13 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎SSA/Projects/InstCombine/tests/goals/failure/g2004h08h10hBoolSetCC_proof_test_thm_extracted_1__1.lean‎

Lines changed: 8 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎SSA/Projects/InstCombine/tests/goals/failure/g2004h11h27hSetCCForCastLargerAndConstant_proof_different_size_sext_sext_sgt_thm_extracted_1__1.lean‎

Lines changed: 9 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎SSA/Projects/InstCombine/tests/goals/failure/g2004h11h27hSetCCForCastLargerAndConstant_proof_different_size_sext_sext_sle_thm_extracted_1__1.lean‎

Lines changed: 9 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎SSA/Projects/InstCombine/tests/goals/failure/g2004h11h27hSetCCForCastLargerAndConstant_proof_different_size_sext_sext_ule_thm_extracted_1__1.lean‎

Lines changed: 9 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎SSA/Projects/InstCombine/tests/goals/failure/g2004h11h27hSetCCForCastLargerAndConstant_proof_different_size_zext_zext_sgt_thm_extracted_1__1.lean‎

Lines changed: 9 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎SSA/Projects/InstCombine/tests/goals/failure/g2004h11h27hSetCCForCastLargerAndConstant_proof_different_size_zext_zext_slt_thm_extracted_1__1.lean‎

Lines changed: 9 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎SSA/Projects/InstCombine/tests/goals/failure/g2004h11h27hSetCCForCastLargerAndConstant_proof_different_size_zext_zext_ugt_thm_extracted_1__1.lean‎

Lines changed: 9 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎SSA/Projects/InstCombine/tests/goals/failure/g2004h11h27hSetCCForCastLargerAndConstant_proof_different_size_zext_zext_ult_thm_extracted_1__1.lean‎

Lines changed: 9 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎SSA/Projects/InstCombine/tests/goals/failure/g2004h11h27hSetCCForCastLargerAndConstant_proof_gt_signed_to_large_negative_thm_extracted_1__1.lean‎

Lines changed: 9 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)