Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,029 workflow runs
9,029 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Prove new k-induction algorithm Evaluation #225: Pull request #1005 opened by bollu
February 10, 2025 11:19 3h 13m 17s new-k-induction-proof
new-k-induction-proof
February 10, 2025 11:19 3h 13m 17s
feat: Prove new k-induction algorithm tools, scaling, and auto-generated statements #3480: Pull request #1005 opened by bollu
February 10, 2025 11:19 12m 46s new-k-induction-proof
new-k-induction-proof
February 10, 2025 11:19 12m 46s
feat: bring back limits on lean based automata tactic (#1004) tools, scaling, and auto-generated statements #3479: Commit b9f38e3 pushed by github-merge-queue bot
February 10, 2025 10:56 12m 44s main
main
February 10, 2025 10:56 12m 44s
feat: bring back limits on lean based automata tactic (#1004) Evaluation #224: Commit b9f38e3 pushed by github-merge-queue bot
February 10, 2025 10:56 3h 12m 47s main
main
February 10, 2025 10:56 3h 12m 47s
feat: bring back limits on lean based automata tactic (#1004) core library #5276: Commit b9f38e3 pushed by github-merge-queue bot
February 10, 2025 10:56 11m 33s main
main
February 10, 2025 10:56 11m 33s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3478: Merge group checks requested
February 10, 2025 10:43 12m 42s
February 10, 2025 10:43 12m 42s
core library core library #5275: Merge group checks requested
February 10, 2025 10:43 11m 31s
February 10, 2025 10:43 11m 31s
feat: bring back limits on lean based automata tactic core library #5274: Pull request #1004 opened by bollu
February 10, 2025 10:32 11m 11s lean-automata-tac-limits
lean-automata-tac-limits
February 10, 2025 10:32 11m 11s
feat: bring back limits on lean based automata tactic Evaluation #223: Pull request #1004 opened by bollu
February 10, 2025 10:32 1h 48m 41s lean-automata-tac-limits
lean-automata-tac-limits
February 10, 2025 10:32 1h 48m 41s
feat: bring back limits on lean based automata tactic tools, scaling, and auto-generated statements #3477: Pull request #1004 opened by bollu
February 10, 2025 10:32 12m 35s lean-automata-tac-limits
lean-automata-tac-limits
February 10, 2025 10:32 12m 35s
feat: add comb dialect Evaluation #222: Pull request #949 synchronize by luisacicolini
February 7, 2025 15:33 4h 55m 6s comb-dialect
comb-dialect
February 7, 2025 15:33 4h 55m 6s
feat: add comb dialect tools, scaling, and auto-generated statements #3476: Pull request #949 synchronize by luisacicolini
February 7, 2025 15:33 12m 13s comb-dialect
comb-dialect
February 7, 2025 15:33 12m 13s
feat: add comb dialect core library #5273: Pull request #949 synchronize by luisacicolini
February 7, 2025 15:33 10m 47s comb-dialect
comb-dialect
February 7, 2025 15:33 10m 47s
Bv circuit automata eval analysis improvements (#1003) core library #5272: Commit 0f4de5f pushed by github-merge-queue bot
February 7, 2025 15:01 10m 57s main
main
February 7, 2025 15:01 10m 57s
Bv circuit automata eval analysis improvements (#1003) Evaluation #221: Commit 0f4de5f pushed by github-merge-queue bot
February 7, 2025 15:01 3h 38m 58s main
main
February 7, 2025 15:01 3h 38m 58s
Bv circuit automata eval analysis improvements (#1003) tools, scaling, and auto-generated statements #3475: Commit 0f4de5f pushed by github-merge-queue bot
February 7, 2025 15:01 12m 3s main
main
February 7, 2025 15:01 12m 3s
tools, scaling, and auto-generated statements tools, scaling, and auto-generated statements #3474: Merge group checks requested
February 7, 2025 14:49 11m 56s
February 7, 2025 14:49 11m 56s
core library core library #5271: Merge group checks requested
February 7, 2025 14:49 11m 6s
February 7, 2025 14:49 11m 6s
Bv circuit automata eval analysis improvements Evaluation #220: Pull request #1003 opened by bollu
February 7, 2025 14:38 2h 12m 44s bv-circuit-automata-eval-analysis-improvements
bv-circuit-automata-eval-analysis-improvements
February 7, 2025 14:38 2h 12m 44s
Bv circuit automata eval analysis improvements core library #5270: Pull request #1003 opened by bollu
February 7, 2025 14:38 10m 53s bv-circuit-automata-eval-analysis-improvements
bv-circuit-automata-eval-analysis-improvements
February 7, 2025 14:38 10m 53s
Bv circuit automata eval analysis improvements tools, scaling, and auto-generated statements #3473: Pull request #1003 opened by bollu
February 7, 2025 14:38 12m 5s bv-circuit-automata-eval-analysis-improvements
bv-circuit-automata-eval-analysis-improvements
February 7, 2025 14:38 12m 5s
feat: changes made to evaluation runner of width-generic tactics (#1001) tools, scaling, and auto-generated statements #3472: Commit d5d4f38 pushed by github-merge-queue bot
February 7, 2025 10:48 12m 26s main
main
February 7, 2025 10:48 12m 26s
feat: changes made to evaluation runner of width-generic tactics (#1001) core library #5269: Commit d5d4f38 pushed by github-merge-queue bot
February 7, 2025 10:48 10m 39s main
main
February 7, 2025 10:48 10m 39s
feat: changes made to evaluation runner of width-generic tactics (#1001) Evaluation #219: Commit d5d4f38 pushed by github-merge-queue bot
February 7, 2025 10:48 4h 13m 3s main
main
February 7, 2025 10:48 4h 13m 3s
core library core library #5268: Merge group checks requested
February 7, 2025 10:37 10m 47s
February 7, 2025 10:37 10m 47s