Skip to content

Actions: leanprover-community/lean-auto

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
160 workflow runs
160 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update hammer to align with main's most recent changes ci #479: Commit ca61166 pushed by JOSHCLUNE
1s hammer
hammer
1s
add comment about SMT parser in SMT.lean ci #478: Commit b04b698 pushed by PratherConid
1s main
main
1s
add Auto/Parser/SMTParser.lean from the hammer branch ci #477: Commit 4fa2f76 pushed by PratherConid
1s main
main
1s
complete separation ci #476: Commit 84b17e4 pushed by PratherConid
1s hammer
hammer
1s
fix panic messages ci #475: Commit 2a6b842 pushed by PratherConid
1s main
main
1s
separate namespace ci #474: Commit 2a6d3e2 pushed by PratherConid
2s hammer
hammer
2s
fix errors caused by renaming ci #473: Commit cd2851e pushed by PratherConid
1s hammer
hammer
1s
rename SMTParser symbols to prepare for merge ci #472: Commit 14a82ba pushed by PratherConid
1s hammer
hammer
1s
add reference file ci #471: Commit 910a9c8 pushed by PratherConid
1s hammer
hammer
1s
tiny fixes ci #470: Commit 9fc0791 pushed by PratherConid
1s main
main
1s
Consolidate LexInit.lean ci #469: Commit be95b7a pushed by PratherConid
2s hammer
hammer
2s
consolidate LexInit.lean ci #468: Commit 2ee877f pushed by PratherConid
2s main
main
2s
add SMT parser test file and rename "Auto.Lexer.SMTSexp" to "Auto.Lex… ci #467: Commit a852f56 pushed by PratherConid
1s main
main
1s
Fix issues in test ci #466: Commit 9980f8f pushed by PratherConid
2s hammer
hammer
2s
fix error messages in SMTSexp, and add sanity checks for SMT parser ci #465: Commit f2151e1 pushed by PratherConid
2s hammer
hammer
2s
rename and modify smt parser to prepare for merge with main branch ci #464: Commit c36b44b pushed by PratherConid
1s hammer
hammer
1s
tiny fix ci #463: Commit 8415bd6 pushed by PratherConid
1s main
main
1s
improve comment for "LexInit.lean" ci #462: Commit 747d4c0 pushed by PratherConid
3s main
main
3s
finish refactoring bitvecconst ci #461: Commit c22ebfd pushed by PratherConid
1s main
main
1s
starting refactoring bitvecconst ci #460: Commit 8c3fab6 pushed by PratherConid
1s main
main
1s
small fixes ci #459: Commit cdd25b5 pushed by PratherConid
1s main
main
1s
small fixes ci #458: Commit 22d978a pushed by PratherConid
Skipped main
main
Skipped
keep refactoring ci #457: Commit 48996a6 pushed by PratherConid
1s main
main
1s
refactoring intconst ci #456: Commit f9356f2 pushed by PratherConid
2s main
main
2s
tiny whitespace fix ci #455: Commit 87e5ec6 pushed by PratherConid
1s main
main
1s