Release history

Sowiedu/Edict releases

Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.

Back to tool Latest release

All releases

32 shown

No immediate action

v1.23.2 Maintenance 1mo

Routine maintenance and dependency updates.

Open

No immediate action

v1.23.1 Maintenance 2mo

Routine maintenance and dependency updates.

Open

No immediate action

v1.23.0 New feature 2mo

edict_explain hint + polymorphic containers

Open

No immediate action

v1.22.1 Bug fix 2mo

CI build order fix

Open

No immediate action

v1.22.0 New feature 2mo

QF-LIA solver + SolverContext extraction

Open

No immediate action

v1.21.0 Mixed 2mo

StructuredError variants + Int64 fix

Open

No immediate action

v1.20.0 New feature 2mo

edict_invoke, DenoHostAdapter, Workers deploy, SkillMemory

Open

No immediate action

v1.19.0 New feature 2mo

Schema snippet bundling

Open

No immediate action

v1.18.0 New feature 2mo

Schema kind enum constraints

Open

No immediate action

v1.17.0 New feature 2mo

IR pipeline switchover

Open

No immediate action

v1.16.1 Bug fix 2mo

Coverage thresholds restored

Open

No immediate action

v1.16.0 New feature 2mo

IR codegen

Open

No immediate action

v1.15.0 Bug fix 2mo

Compact AST expansion

Open

No immediate action

v1.14.0 New feature 2mo

toString builtin + auto-coercion

Open

No immediate action

v1.13.1 Bug fix 2mo

Fix examples inclusion

Open

No immediate action

v1.13.0 New feature 2mo

Agent format in edict_schema

Open

No immediate action

v1.12.0 New feature 2mo

New tools + features

Open

No immediate action

v1.11.0 New feature 2mo

browser-full bundle + Z3 integration

Open

No immediate action

v1.10.1 Maintenance 2mo

Routine maintenance and dependency updates.

Open

No immediate action

v1.10.0 New feature 2mo

ESM bundle + BrowserHostAdapter

Open

No immediate action

v1.9.2 Bug fix 2mo

Examples validation fix

Open

No immediate action

v1.9.1 Bug fix 2mo

Namespace case + JSON length

Open

No immediate action

v1.9.0 Breaking risk 2mo

ApprovalGate.description → .reason

Open

Review required

v1.8.0 Security relevant 2mo

Auth RBAC

Security sandbox

Open

No immediate action

v1.7.0 New feature 2mo

option.edict.json example

Open

No immediate action

v1.6.0 New feature 2mo

Analysis uncertainty reporting

Open

Review required

v1.5.0 New feature 2mo

Crypto / TLS

New builtins: crypto, date/time, Int64, regex, HTTP, IO

Open

No immediate action

v1.4.0 New feature 3mo

edict_lint + HOF builtins + Option support

Open

Review required

v1.3.0 New feature 3mo

RCE / SSRF Dependencies

Closures + higher‑order functions

Open

No immediate action

v1.2.0 New feature 3mo

Array & string builtins + error resource

Open

No immediate action

v1.1.0 New feature 3mo

edict_patch tool + math builtins

Open

No immediate action

v1.0.0 Breaking risk 3mo

Fix suggestions for structured errors

Open