Skip to content

Pull requests: Wasm-DSL/spectec

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

[IL Semantics] Meta-theory in rocq
#222 opened Feb 23, 2026 by DCupello1 Draft
5 of 10 tasks
Middlend Fixes
#216 opened Feb 10, 2026 by DCupello1 Loading…
Else simplification pass
#214 opened Jan 15, 2026 by DCupello1 Loading…
Let premise introduction pass
#213 opened Jan 13, 2026 by DCupello1 Draft
[spectec] extend IterPr AST in IL
#209 opened Nov 20, 2025 by zilinc Draft
Rocq backend
#207 opened Nov 19, 2025 by DCupello1 Draft
3 of 7 tasks
Deftorel pass
#206 opened Nov 18, 2025 by DCupello1 Draft
test setup: avoid _specification, ignored by dune
#202 opened Nov 14, 2025 by nomeata Loading…
Lean4 wip
#192 opened Nov 7, 2025 by nomeata Draft
5 of 8 tasks
Numerics
#165 opened May 21, 2025 by zilinc Loading…
Minor refactor of context rules
#130 opened Oct 10, 2024 by rossberg Loading…
Meta-level parser [WIP]
#121 opened Aug 28, 2024 by rossberg Loading…
Notify
#68 opened Feb 4, 2024 by rossberg Draft
Introduce ocamlformat
#21 opened May 11, 2023 by matijapretnar Draft
CI: Test PR head
#14 opened Apr 22, 2023 by nomeata Loading…
ProTip! Filter pull requests by the default branch with base:main.