• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In
You are now the owner of this repo.

thanos / ex_datalog
93%

Build:
DEFAULT BRANCH: main
Repo Added 17 Apr 2026 07:18PM UTC
Token gEtQcYH7u4ph3W2ZAbhLEVY4TgVd8RhVF regen
Build 49 Last
Files 45
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH main
branch: SELECT
CHANGE BRANCH
x
Sync Branches
  • No branch selected
  • main
  • v0.1.0/Initial-Release
  • v0.2.0/Constraint-Storage_Foundations
  • v0.3.0/refactor
  • v0.4.0/DSL_Foundation
  • v0.4.1/PR-fixes
  • v0.5.0/aggregates-BEAM_callbacks-magic_sets-query_planner
  • v0.5.0/code_review_fixes

22 Jun 2026 10:35PM UTC coverage: 93.369% (-0.6%) from 93.998%
cb6c48c34ec601575458df8716b2764b9b265431

push

github

web-flow
Merge pull request #162 from thanos/v0.5.0/code_review_fixes

V0.5.0/code review fixes

363 of 404 new or added lines in 17 files covered. (89.85%)

1408 of 1508 relevant lines covered (93.37%)

514.03 hits per line

Relevant lines Covered
Build:
Build:
1508 RELEVANT LINES 1408 COVERED LINES
514.03 HITS PER LINE
Source Files on main
  • Tree
  • List 45
  • Changed 15
  • Source Changed 0
  • Coverage Changed 15
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
cb6c48c3... main Merge pull request #162 from thanos/v0.5.0/code_review_fixes V0.5.0/code review fixes push 22 Jun 2026 10:35PM UTC web-flow github
93.37
a5a58bc9... 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 22 Jun 2026 08:55PM UTC thanos github
93.37
3d2674b5... 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 22 Jun 2026 06:57PM UTC thanos github
93.31
eca4a546... main Merge pull request #126 from thanos/v0.4.1/PR-fixes Merge pull request #124 from thanos/main push 22 Jun 2026 02:30AM UTC web-flow github
94.0
547ad6b7... 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 22 Jun 2026 02:30AM UTC web-flow github
94.0
d2028bbd... main Merge pull request #125 from thanos/v0.4.1/PR-fixes v0.4.1 prepared: push 21 Jun 2026 05:15AM UTC web-flow github
94.0
380d030a... 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 21 Jun 2026 05:14AM UTC thanos github
94.0
081ce912... main Merge pull request #123 from thanos/v0.4.1/PR-fixes All 15 fixes from the review are complete. Summary of changes: push 21 Jun 2026 05:02AM UTC web-flow github
94.0
f5616b85... 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 21 Jun 2026 05:01AM UTC thanos github
94.0
1d6b299c... main Merge pull request #122 from thanos/v0.4.0/DSL_Foundation V0.4.0/dsl foundation push 21 Jun 2026 01:50AM UTC web-flow github
93.52
See All Builds (49)

Badge your Repo: ex_datalog

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.

Could not find badge in README.

Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

Refresh
  • Settings
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc