Repository navigation

All pull requests

Labels (10)Milestones (0)New pull request

Open

(21)

Closed

(107)

Validate configured statement and command buffer limits
#277zakariyaghazzol opened Oct 17, 2026
Use the configured size type for sequence arguments
#276zakariyaghazzol opened Oct 17, 2026
Keep source context with imported diagnostics
#275zakariyaghazzol opened Oct 17, 2026
Report excessive nesting during code generation
#274zakariyaghazzol opened Oct 17, 2026
Validate arguments for parameterless Wasm sequences
#273zakariyaghazzol opened Oct 17, 2026
Preserve quotes and decode string literal escapes
#272zakariyaghazzol opened Oct 17, 2026
Use the configured time-context type in time()
#271zakariyaghazzol opened Oct 16, 2026
Update spelling action to fix fork PR checks
#270zakariyaghazzol opened Oct 16, 2026
Test string layouts using the dictionary's FwSizeStoreType
#269zakariyaghazzol opened Oct 16, 2026
Reject a constant write_to_port port index at or above MAX_SERIAL_PORTS
#250zimri-leisher opened Sep 9, 2026Collaborator
1
Simplify bytecode numeric conversion dispatch
#245zimri-leisher opened Sep 9, 2026Collaborator
Share LLVM aggregate serialization traversal
#244zimri-leisher opened Sep 9, 2026Collaborator
Centralize bytecode expression emission
#243zimri-leisher opened Sep 9, 2026Collaborator
Share AST child enumeration
#242zimri-leisher opened Sep 9, 2026Collaborator
Share bytecode statement emission
#241zimri-leisher opened Sep 9, 2026Collaborator
Simplify numeric common-type selection
#240zimri-leisher opened Sep 9, 2026Collaborator
Report a diagnostic when a non-finite float constant is cast to an integer (#229)
#237zimri-leisher opened Sep 8, 2026Collaborator
wasm: give a folded access a temp slot when a runtime index reaches into it
#218zimri-leisher opened Sep 5, 2026Collaborator
Reject == and != between void expressions
#214zimri-leisher opened Sep 5, 2026Collaborator
Clean up test helpers
#165zimri-leisher opened Aug 12, 2026Collaborator
4
Formally prove totality and determinism of numeric casts
#85zimri-leisher opened Jul 5, 2026Collaborator
7

Pull requests