Skip to content

Actions: Inferara/inference

Actions

Publish Compiler Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish-compiler-book.yml
27 workflow runs
27 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(conformance): cite the upstream report for the unchecked index n… Publish Compiler Book #27: Commit 1153d56 pushed by 0xGeorgii
2m 6s main
main
2m 6s
test(stellar): compare the two gates that state the target's ABI policy Publish Compiler Book #26: Commit ead0ed9 pushed by 0xGeorgii
1m 22s main
main
1m 22s
fix(analysis): report a u64 product that overflows the folder's own w… Publish Compiler Book #25: Commit f29c7ea pushed by 0xGeorgii
1m 53s main
main
1m 53s
fix(linker): resolve reachability obligations before the guard-free f… Publish Compiler Book #24: Commit 0a3f636 pushed by 0xGeorgii
1m 54s main
main
1m 54s
fix(parser): report the alias only where an alias is written Publish Compiler Book #23: Commit 07d15c3 pushed by 0xGeorgii
1m 53s main
main
1m 53s
docs: record the struct-field refusal and the layout identity fix Publish Compiler Book #22: Commit da31a23 pushed by 0xGeorgii
1m 59s main
main
1m 59s
docs: describe fail-closed code generation and the three new rules Publish Compiler Book #21: Commit e2bee5a pushed by 0xGeorgii
1m 52s main
main
1m 52s
ci: fetch the runner's wasm-verifier checkout before reading the pin Publish Compiler Book #20: Commit b3f58f6 pushed by 0xGeorgii
1m 38s main
main
1m 38s
docs: scope the proof-mode lowering claim to what survives Publish Compiler Book #19: Commit 7957264 pushed by 0xGeorgii
1m 54s main
main
1m 54s
fix: reject an obligation over a contested merged-root alias Publish Compiler Book #18: Commit 5aa321b pushed by 0xGeorgii
1m 42s main
main
1m 42s
Discharge dynamic array bounds as Rocq proof obligations (#214) (#440) Publish Compiler Book #17: Commit b608bf9 pushed by 0xGeorgii
2m 9s main
main
2m 9s
Gitignore Rocq build artifacts, in this repo and in scaffolded projec… Publish Compiler Book #16: Commit 9ca321b pushed by 0xGeorgii
1m 58s main
main
1m 58s
mut on external fn parameters as a linker-verified write-set decl… Publish Compiler Book #15: Commit d71a9c3 pushed by 0xGeorgii
1m 44s main
main
1m 44s
Resolve an external fn by its declaration rather than its bare name (… Publish Compiler Book #14: Commit 07c36ab pushed by 0xGeorgii
1m 52s main
main
1m 52s
363 linker envelope numeric (#426) Publish Compiler Book #13: Commit d869f9e pushed by 0xGeorgii
1m 48s main
main
1m 48s
Reject a specification function whose obligation says nothing (#356) … Publish Compiler Book #12: Commit b6a03a5 pushed by 0xGeorgii
1m 33s main
main
1m 33s
Fix negative literal lexing (#396) Publish Compiler Book #11: Commit 3446478 pushed by 0xGeorgii
2m 7s main
main
2m 7s
Resolve wasm-dependencies for a single file project (#373) Publish Compiler Book #10: Commit c9ac5a8 pushed by 0xGeorgii
1m 46s main
main
1m 46s
infs: resolve infc relative to the running executable (#372) Publish Compiler Book #9: Commit dcda1c8 pushed by 0xGeorgii
1m 58s main
main
1m 58s
infs: forward [wasm-dependencies] and -L to infc from project-mode bu… Publish Compiler Book #8: Commit 5372c4f pushed by 0xGeorgii
1m 52s main
main
1m 52s
wasm-codegen: pass provably-unwritten compound parameters by referenc… Publish Compiler Book #7: Commit 5e90a48 pushed by 0xGeorgii
2m 5s main
main
2m 5s
Remove memory.fill instruction from lowering (#326) Publish Compiler Book #6: Commit 892b1ff pushed by 0xGeorgii
1m 52s main
main
1m 52s
wasm-codegen: trap narrow division overflow and invalid enum tags at … Publish Compiler Book #5: Commit 4f6738a pushed by 0xGeorgii
1m 55s main
main
1m 55s
wasm-codegen: constrain narrow-typed uzumaki draws to the declared va… Publish Compiler Book #4: Commit 880750e pushed by 0xGeorgii
1m 55s main
main
1m 55s
Update book + small vscode ext edits (#300) Publish Compiler Book #3: Commit be1d239 pushed by 0xGeorgii
1m 59s main
main
1m 59s