sscoble/speckl
1
0
Fork 0
Code Issues 2 Pull requests Projects Releases Packages Wiki Activity Actions

SpeckDL Language Specification (v0.1) #6

New issue
Closed
opened 2026-04-28 16:06:41 +00:00 by sscoble · 0 comments
sscoble commented 2026-04-28 16:06:41 +00:00
Owner
Copy link

Completed: SpeckDL SPEC.md v0.1 pushed to speckdl/SPEC.md. Includes EBNF grammar, type system, compilation pipeline, Z3 mapping reference, and 5 example Specks (simple, medium, complex, edge, composed).

Completed: SpeckDL SPEC.md v0.1 pushed to speckdl/SPEC.md. Includes EBNF grammar, type system, compilation pipeline, Z3 mapping reference, and 5 example Specks (simple, medium, complex, edge, composed).
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
lagrangia-v1.1
ifblock-fix
now-fix
lagrangia-score
fix/speckl-55-ltl-inner-identifier-scope
fix/parser-precondition-postcondition
fix/compiler-enum-rewrite-parser-quotes
No results found.
Labels
Clear labels   
blocked

   
bug

   
design

   
docs

   
engineering

   
feature

   
infra

   
priority:high

   
priority:low

   
priority:medium

   
question
No labels
blocked
bug
design
docs
engineering
feature
infra
priority:high
priority:low
priority:medium
question
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: sscoble/speckl#6
No description provided.
Delete branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?