Skip to content

Actions: opencompl/lean-mlir

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
489 workflow runs
489 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: delete Scf docs #150: Commit 3cff3aa pushed by github-merge-queue bot
April 10, 2024 03:38 1m 25s main
main
April 10, 2024 03:38 1m 25s
factor out simp_alive_case_bash tactic docs #149: Commit 6131878 pushed by github-merge-queue bot
April 9, 2024 18:11 1m 11s main
main
April 9, 2024 18:11 1m 11s
chore: do not set decide := false in simp docs #148: Commit fe0ca1e pushed by github-merge-queue bot
April 8, 2024 13:33 1m 28s main
main
April 8, 2024 13:33 1m 28s
feat: add scaling test case for LLVM alive docs #147: Commit c842e57 pushed by github-merge-queue bot
April 8, 2024 13:05 1m 13s main
main
April 8, 2024 13:05 1m 13s
chore: simplify 'simp' in AliveHandwrittenExample docs #146: Commit 8f79ba9 pushed by github-merge-queue bot
April 8, 2024 13:02 1m 10s main
main
April 8, 2024 13:02 1m 10s
chore: remove unused simp options docs #145: Commit 15df4ae pushed by github-merge-queue bot
April 7, 2024 12:50 2m 30s main
main
April 7, 2024 12:50 2m 30s
chore: do not simplify SSA in alive_peephole docs #144: Commit aa9d44e pushed by github-merge-queue bot
April 6, 2024 20:59 1m 8s main
main
April 6, 2024 20:59 1m 8s
Remove unused lemma in simp_alive_peephole docs #143: Commit 8f28de8 pushed by github-merge-queue bot
April 6, 2024 19:22 1m 6s main
main
April 6, 2024 19:22 1m 6s
chore: introduce simp set for llvm docs #142: Commit ee16cca pushed by github-merge-queue bot
April 6, 2024 13:47 1m 8s main
main
April 6, 2024 13:47 1m 8s
chore: drop name of unused variable to appease linter docs #141: Commit 1b85053 pushed by tobiasgrosser
March 27, 2024 17:28 1m 20s main
main
March 27, 2024 17:28 1m 20s
chore: update to latest lean/std/mathlib docs #140: Commit 1509ed1 pushed by github-merge-queue bot
March 27, 2024 17:18 1m 24s main
main
March 27, 2024 17:18 1m 24s
chore: remove SSA tactics from simp_alive_peephole docs #139: Commit e9a8e8b pushed by github-merge-queue bot
March 27, 2024 09:14 1m 12s main
main
March 27, 2024 09:14 1m 12s
fix: indentation docs #138: Commit ef450e4 pushed by tobiasgrosser
March 26, 2024 22:08 1m 21s main
main
March 26, 2024 22:08 1m 21s
chore: polish 'Refinement' type docs #137: Commit f3819ee pushed by github-merge-queue bot
March 26, 2024 22:04 1m 9s main
main
March 26, 2024 22:04 1m 9s
Drop unnecessary try docs #136: Commit b46797e pushed by tobiasgrosser
March 26, 2024 19:06 1m 11s main
main
March 26, 2024 19:06 1m 11s
chore: simplify proofs docs #135: Commit 791d8a1 pushed by github-merge-queue bot
March 26, 2024 15:51 1m 11s main
main
March 26, 2024 15:51 1m 11s
chore: canonicalize namespaces in tactic docs #134: Commit 74cbc6e pushed by github-merge-queue bot
March 26, 2024 15:51 1m 23s main
main
March 26, 2024 15:51 1m 23s
chore: add context simplifation lemmas to simp_[alive_]peephole docs #133: Commit 121e9c7 pushed by github-merge-queue bot
March 26, 2024 12:01 1m 11s main
main
March 26, 2024 12:01 1m 11s
chore: drop 'try' before main simp call in simp_peephole docs #132: Commit e7d2f65 pushed by tobiasgrosser
March 26, 2024 11:42 1m 21s main
main
March 26, 2024 11:42 1m 21s
fix: make simp_alive_peephole work docs #131: Commit 5a03bfe pushed by github-merge-queue bot
March 26, 2024 11:03 1m 8s main
main
March 26, 2024 11:03 1m 8s
Merge pull request #199 from opencompl/fix-generalize docs #130: Commit 31d4e53 pushed by github-merge-queue bot
March 22, 2024 18:50 1m 15s main
main
March 22, 2024 18:50 1m 15s
Merge pull request #198 from opencompl/update_to_4.7.0.rc2 docs #129: Commit 9cfc415 pushed by github-merge-queue bot
March 21, 2024 16:01 1m 15s main
main
March 21, 2024 16:01 1m 15s
Merge pull request #193 from opencompl/bump_std docs #128: Commit 94ee7a7 pushed by github-merge-queue bot
March 20, 2024 18:30 1m 30s main
main
March 20, 2024 18:30 1m 30s
Merge pull request #195 from opencompl/goedel_rename docs #127: Commit 95ef899 pushed by github-merge-queue bot
March 13, 2024 15:11 1m 22s main
main
March 13, 2024 15:11 1m 22s
Merge pull request #194 from opencompl/scf-functorial docs #126: Commit 5de51e6 pushed by github-merge-queue bot
March 13, 2024 10:31 1m 11s main
main
March 13, 2024 10:31 1m 11s
ProTip! You can narrow down the results and go further in time using created:<2024-03-13 or the other filters available.