Skip to content

Actions: Arthur742Ramos/Metatheory

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
103 workflow runs
103 workflow runs

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
docs: improve README CI #103: Pull request #1 opened by webbrain-one
Action required webbrain-one:webbrain/readme-improvement
webbrain-one:webbrain/readme-improvement
Action required
Add external decreasing-diagram artifacts and WPTE prep bundle CI #102: Commit 70bae84 pushed by Arthur742Ramos
19s main
main
19s
Add compressed decreasing-diagrams certification CI #101: Commit c3065a8 pushed by Arthur742Ramos
26s main
main
26s
fleet: Create Metatheory/SystemF/Parametricity.lean — Rey CI #100: Commit 3d1b46f pushed by Arthur742Ramos
28s main
main
28s
feat(SystemF): standardization theorem CI #99: Commit 4474d39 pushed by Arthur742Ramos
17s main
main
17s
fleet: Create Metatheory/SystemF/Decidability.lean — deci CI #98: Commit f4c435e pushed by Arthur742Ramos
27s main
main
27s
feat(SystemF): decidability of type checking CI #97: Commit a3f1542 pushed by Arthur742Ramos
20s main
main
20s
docs: update README and add ARCHITECTURE.md CI #96: Commit d7296d1 pushed by Arthur742Ramos
18s main
main
18s
Armada 642: eliminate all sorry — complete proofs + Aristotle contrib… CI #95: Commit ab29259 pushed by Arthur742Ramos
23s main
main
23s
Armada 654: eliminate all sorry CI #94: Commit 253fb10 pushed by Arthur742Ramos
18s main
main
18s
Merge all branches into main — unify complete codebase CI #93: Commit 89af736 pushed by Arthur742Ramos
19s master
master
19s
Merge all branches into main — unify complete codebase CI #92: Commit 89af736 pushed by Arthur742Ramos
22s main
main
22s
Armada 608: Effect systems and algebraic effects — row-polymorphic ef… CI #91: Commit b35a74a pushed by Arthur742Ramos
40s main
main
40s
Armada 606: GADTs + TypeFamilies (50+ theorems) CI #90: Commit 531e70f pushed by Arthur742Ramos
18s main
main
18s
Armada 603: AtomicOperations + FuturesPromises (50+ theorems) CI #89: Commit 838ff91 pushed by Arthur742Ramos
23s main
main
23s
Armada 600: ConstantPropagation + Inlining — METATHEORY push (118 the… CI #88: Commit fe71f05 pushed by Arthur742Ramos
23s main
main
23s
Armada 597: InstructionSelection + TailCallOptimization (73 theorems) CI #87: Commit 318edbc pushed by Arthur742Ramos
17s main
main
17s
Armada 594: SeparateCompilation + PackageManagement (67 theorems) CI #86: Commit 3377153 pushed by Arthur742Ramos
19s main
main
19s
Armada 591: DataflowAnalysis + EscapeAnalysis (49 theorems) CI #85: Commit a94aee4 pushed by Arthur742Ramos
32s main
main
32s
Armada 588: GarbageCollection + RegionInference (65 theorems) CI #84: Commit 6a811ad pushed by Arthur742Ramos
25s main
main
25s
Armada 586: ANormalForm + ContinuationPassing (87 theorems) CI #83: Commit adc81bc pushed by Arthur742Ramos
18s main
main
18s
Armada 583b: AlgebraicEffectsDeep + TypeclassResolution (76 theorems) CI #82: Commit 6d49c4e pushed by Arthur742Ramos
33s main
main
33s
Armada 580b: SSAForm + ClosureConversion (54 theorems) CI #81: Commit 07a329c pushed by Arthur742Ramos
18s main
main
18s
Armada 577: SubstructuralTypes + ModalTypes + QuantitativeTypes (75+ … CI #80: Commit 0009b4e pushed by Arthur742Ramos
20s main
main
20s
Armada 574: SeparationLogic + ProgramVerification + AbstractMachines … CI #79: Commit 7ca3cf6 pushed by Arthur742Ramos
21s main
main
21s