-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
soundness: IC3 reports OK on a spec with a real violation (DieHard)
bugSomething isn't workingSomething isn't workingStatus: Open.#96 In danwt/specl;bug: partial dict init panics with out-of-bounds index instead of erroring
bugSomething isn't workingSomething isn't workingStatus: Open.#95 In danwt/specl;- Status: Open.#94 In danwt/specl;
- Status: Open.#92 In danwt/specl;
Module composition: EXTENDS / INSTANCE
enhancementNew feature or requestNew feature or requestStatus: Open.#91 In danwt/specl;Liveness checking: evaluate temporal operators and fairness
enhancementNew feature or requestNew feature or requestStatus: Open.#90 In danwt/specl;Toolchain: annotation-driven model generation for model-checking business logic (LLM + standard tooling + Specl)
enhancementNew feature or requestNew feature or requestStatus: Open.#89 In danwt/specl;- Status: Open.#88 In danwt/specl;
- Status: Open.#87 In danwt/specl;
- Status: Open.#71 In danwt/specl;
feat: support string-keyed maps
enhancementNew feature or requestNew feature or requestStatus: Open.#50 In danwt/specl;- Status: Open.#35 In danwt/specl;