V0.2.0/constraint storage foundations - #86

Merged

thanos merged 16 commits into

mainfrom

v0.2.0/Constraint-Storage_Foundations

May 15, 2026

Commits on May 14, 2026

Tasks/Issues Closed
thanos
committed
ca11dd6
Merge branch 'main' of github.com:thanos/ex_datalog
thanos
committed
0956d05
**Tasks/Issues Closed**
thanos
committed
8193ac8
Phase 3 introduces the extensible `ExDatalog.Constraint` behaviour with dispatch-based evaluation, replacing inline constraint logic in the engine with a clean module-per-constraint-type architectu…
thanos
committed
f6b5338
Key changes:
thanos
committed
bff7b93
All clean. Evaluator coverage increased from 71.4% to 94.6% with 18 new tests covering:
thanos
committed
fd438e0
fixed dialyzer issues
thanos
committed
11921be
All critical and high-severity issues are fixed, 557 tests pass, credo is clean, dialyzer is clean, and formatting is applied. Here's a summary of all changes made:
thanos
committed
7341ba2
T1: Constructor + introspection + validity tests
thanos
committed
1c76040

Commits on May 15, 2026

Completed in this session
thanos
committed
42c415a
closed #108 - Detailed Code Review — PR #86
thanos
committed
b700fcc
preparing for v0.2.0 release
thanos
committed
bb9371f
updated references in the README file
thanos
committed
4a04918
elixir 1.20 fix
thanos
committed
006a1a2
fixed mix file or bad doc refs
thanos
committed
debadd0
The fix: removed the on_exit(fn -> Storage.ETS.teardown(ets_state) end) callback that was running ETS teardown in the ExUnit supervisor process (which doesn't own the tables). ETS tables with :priv…
thanos
committed
69b8447