speckl/compiler/src/generators
hermes 69f668db7c feat(speckl): protobuf backend + service block + record interface fields
- parser.ts: distinguish enum / record / service kinds in interface blocks
- parser.ts: add service { rpc X(R) returns (R); } syntax
- generators/protobuf.ts: emit proto3 (enums, messages, services) from .speckdl
- index.ts: add --target protobuf choice

Dogfood: FederatedMeetup.speckdl → 188-line .proto → buf generate →
working Go + ConnectRPC code with zero glue.

Closes speckl#61 (parser drops field declarations).
2026-06-28 01:25:54 -07:00
..
cyclonedx.ts Add SpeckDL compiler scaffold 2026-04-29 15:12:08 -07:00
protobuf.ts feat(speckl): protobuf backend + service block + record interface fields 2026-06-28 01:25:54 -07:00
provenance.ts Add SpeckDL compiler scaffold 2026-04-29 15:12:08 -07:00
rust.ts TS generator: fix #12 (5 expression patterns) + #11 (opaque record types) 2026-05-11 10:16:15 -07:00
spdx.ts Add SpeckDL compiler scaffold 2026-04-29 15:12:08 -07:00
typescript-state-machine.ts fix(speckl-48): implement verifyN() with LTL inner-expression translator (Z3 call-out, runtime-side) 2026-06-03 10:31:46 -07:00
z3.ts TS generator: fix #12 (5 expression patterns) + #11 (opaque record types) 2026-05-11 10:16:15 -07:00