-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Verification hardening backlog: stdlib conformance and deferred tracks
enhancementNew feature or requestNew feature or requestStatus: Open.#88 In bloxbean/julc;Verification DSL roadmap: ADR-016 E.1–E.6
enhancementNew feature or requestNew feature or requestStatus: Open.#87 In bloxbean/julc;ADR-029 Phase 5: PV11 compiler optimizations umbrella
enhancementNew feature or requestNew feature or requestStatus: Open.#77 In bloxbean/julc;ADR-029 Phase 4: Add an explicit V3/PV11 compiler target and diagnostics
enhancementNew feature or requestNew feature or requestStatus: Open.#76 In bloxbean/julc;[vm-scalus] Implement and certify protocol-aware LedgerEvaluationTarget evaluation
enhancementNew feature or requestNew feature or requestStatus: Open.#74 In bloxbean/julc;ADR-029: PV11 ledger-conformant evaluation readiness tracker
enhancementNew feature or requestNew feature or requestStatus: Open.#65 In bloxbean/julc;- Status: Open.#55 In bloxbean/julc;
Make JulcTransactionEvaluator thread-safe (currently requires one instance per thread)
enhancementNew feature or requestNew feature or requestStatus: Open.#40 In bloxbean/julc;- Status: Open.#22 In bloxbean/julc;