thanos / ex_datalog / cb6c48c34ec601575458df8716b2764b9b265431

Builds Branch Commit Type Ran Committer Via Coverage
cb6c48c34ec601575458df8716b2764b9b265431 main Merge pull request #162 from thanos/v0.5.0/code_review_fixes V0.5.0/code review fixes push web-flow github
93.37
a5a58bc94a3f97a021af103bf76be2963a025de9-PR-162 v0.5.0/code_review_fixes Summary of fixes High — Correctness - F-001 (the real bug): MagicSets.rewrite_rule/5 now uses Enum.map_reduce to give each supplementary rule a distinct ID, and do_transform runs a defensive assert_unique_rule_ids!/1 on the transformed IR. Verifie... Pull #162 thanos github
93.37
3d2674b51d6d4ed8ab43df2e967314f3b89c7bc6-PR-161 v0.5.0/aggregates-BEAM_callbacks-magic_sets-query_planner v0.5.0: aggregates, BEAM callbacks, magic sets, query planner, runtime facts M0.5 — Feasibility Spikes - Spike A: callback as {:callback, %IR.Callback{}} IR literal round-trips through compiler/evaluator (chest/spikes/README.md) - Spike B... Pull #161 thanos github
93.31
eca4a5466643e8fe191e7c46b2da4dce183b0710 main Merge pull request #126 from thanos/v0.4.1/PR-fixes Merge pull request #124 from thanos/main push web-flow github
94.0
547ad6b778c6b4dc76ecaeff1e2579c85e186c3a-PR-126 v0.4.1/PR-fixes Merge pull request #124 from thanos/main Merge pull request #123 from thanos/v0.4.1/PR-fixes Pull #126 web-flow github
94.0
d2028bbde985c4ebc21cef2757e2f2d8da2221df main Merge pull request #125 from thanos/v0.4.1/PR-fixes v0.4.1 prepared: push web-flow github
94.0
380d030a70b4426c9c53abdac177fc1dfef29f30-PR-125 v0.4.1/PR-fixes v0.4.1 prepared: - mix.exs: version bumped 0.4.0 → 0.4.1 - CHANGELOG.md: added full v0.4.1 section documenting all 12 fixes (C1, C2, H1, H2, M1, M2, L1–L6) - README.md: test count → 792, install version → ~> 0.4.1, roadmap updated with v0.4.1 entr... Pull #125 thanos github
94.0
081ce9127bbbc2e95a745794f9d6c6472f1572e9 main Merge pull request #123 from thanos/v0.4.1/PR-fixes All 15 fixes from the review are complete. Summary of changes: push web-flow github
94.0
f5616b85ed6b53351e7bc1e4b48e7ac0ac11ade0-PR-123 v0.4.1/PR-fixes All 15 fixes from the review are complete. Summary of changes: Critical (C1, C2) - C1: Fixed lowercase/uppercase variable documentation in schema.ex moduledoc (lines 49-66, 94, 97-99, 110-113, 124-126), rule/2 docstring (line 537), article 01 (lin... Pull #123 thanos github
94.0
1d6b299c773b01d6d5129c5329b5af59414a8d1f main Merge pull request #122 from thanos/v0.4.0/DSL_Foundation V0.4.0/dsl foundation push web-flow github
93.52
e641d5d7fc33bae354e1586cd878461776e5e196-PR-122 v0.4.0/DSL_Foundation Clean. The redundant clause warning is fixed by moving the :agg clause before the Enum.each(constraint_ops, ...) expansion, since Elixir matches function clauses in definition order and the expanded constraint ops all match {atom(), _, list()} whi... Pull #122 thanos github
93.52
7be603a8ed48d8c1b1dee360cd2267b619d94d43-PR-122 v0.4.0/DSL_Foundation moved to elixir 1.20 Pull #122 thanos github
93.52
dbccd4e47aba42cbf799e466d85295047e348c24-PR-122 v0.4.0/DSL_Foundation v0.4.0: Schema DSL for declaring Datalog programs Add Ecto-inspired macro DSL (use ExDatalog.Schema) with relation, fact, facts, rule, query, and wildcard macros that compile into the existing Program/Rule/Fact/Constraint/Knowledge builder APIs. ... Pull #122 thanos github
93.52
4d99958197ab180bdcc8a9d7ae57e1717fe4147d main Merge pull request #114 from thanos/v0.3.0/refactor V0.3.0/refactor push web-flow github
93.44
d74adccace32965da0d73892fe23450915835b69-PR-114 v0.3.0/refactor fixed format Pull #114 thanos github
93.44