speckl/compiler
Scott Scoble 9de0a5ca0f feat(compiler): parse precondition/postcondition in action blocks
- Add 'precondition' and 'postcondition' ActionStatement types
- Parse precondition: expr and postcondition: expr in action bodies
- Support 'or' continuation lines for multi-clause pre/postconditions
- TigerBeetleLedger now parses 21 preconditions + 24 postconditions
  (previously all dropped, resulting in empty action bodies)
- All 41 existing tests pass

Addresses marcus/engineering#9 (parser gap)
Does NOT wire into generators yet — TypeScript/WASM output
will be empty for pre/postconditions. Generator wiring
is follow-up work.
2026-05-09 09:12:15 -07:00
..
__tests__ WASM E2E test: Speckl specs compile to runnable WebAssembly 2026-05-03 13:13:55 -07:00
dist fix: add dist-check guard + List<T> type parsing + state machine examples 2026-05-05 03:11:53 -07:00
node_modules fix: add dist-check guard + List<T> type parsing + state machine examples 2026-05-05 03:11:53 -07:00
out/speckl-compile feat(compiler): self-hosting spec + generator multi-enum support 2026-05-03 14:42:03 -07:00
specs feat(compiler): self-hosting spec + generator multi-enum support 2026-05-03 14:42:03 -07:00
src feat(compiler): parse precondition/postcondition in action blocks 2026-05-09 09:12:15 -07:00
test-output fix: add dist-check guard + List<T> type parsing + state machine examples 2026-05-05 03:11:53 -07:00
.gitignore Add .gitignore for compiler dependencies and build artifacts 2026-04-29 15:12:37 -07:00
.last-build fix: add dist-check guard + List<T> type parsing + state machine examples 2026-05-05 03:11:53 -07:00
check-dist.sh fix: add dist-check guard + List<T> type parsing + state machine examples 2026-05-05 03:11:53 -07:00
package-lock.json WASM E2E test: Speckl specs compile to runnable WebAssembly 2026-05-03 13:13:55 -07:00
package.json WASM E2E test: Speckl specs compile to runnable WebAssembly 2026-05-03 13:13:55 -07:00
tsconfig.json Add SpeckDL compiler scaffold 2026-04-29 15:12:08 -07:00