Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Apr 13, 2026

• Add full provenance via in-engine derivation recorder.

  Show description for 4dcaa58
  burakemir

  committed
  4dcaa58

  Copy full SHA for 4dcaa58

• Fix silent group-key collision in evalDo aggregation.

  Show description for 97986d3
  burakemir

  committed
  97986d3

  Copy full SHA for 97986d3

• Add provenance support for derived facts.

  Show description for 93c0afb
  burakemir

  committed
  93c0afb

  Copy full SHA for 93c0afb

• Add scinfo tool to display simplecolumn file info.

  burakemir

  committed
  5509719

  Copy full SHA for 5509719

• Add zstd compression support to simplecolumn factstore.

  burakemir

  committed
  c98af04

  Copy full SHA for c98af04

Commits on Mar 24, 2026

• Fix typo.

  burakemir

  committed
  2487f86

  Copy full SHA for 2487f86

• update CONTRIBUTING.md

  burakemir

  committed
  6ceb4dd

  Copy full SHA for 6ceb4dd

Commits on Mar 20, 2026

• Fix formatting in README.

  burakemir

  committed
  b23d9b0

  Copy full SHA for b23d9b0

• Clarify that Mangle is developed independently.

  burakemir

  committed
  bfbf83b

  Copy full SHA for bfbf83b

• Remove star history and link to Codeberg issues instead of discussions.

  Show description for a4cdc53
  burakemir

  committed
  a4cdc53

  Copy full SHA for a4cdc53

Commits on Mar 15, 2026

• Add Clone() to UnionFind, use in UnifyTermsExtend

  Show description for 69dc00f
  

  burakemir

  and

  apocalypse9949

  committed
  69dc00f

  Copy full SHA for 69dc00f

Commits on Mar 11, 2026

• Add readthedocs pages for declarations and type expressions

  Show description for 146d96b
  

  burakemir

  and

  claude

  committed
  146d96b

  Copy full SHA for 146d96b

• Add tagged union type constructor for internally-tagged discriminated unions

  Show description for 77dfb39
  

  burakemir

  and

  claude

  committed
  77dfb39

  Copy full SHA for 77dfb39

Commits on Feb 20, 2026

• Fix flaky TestEvalExternal caused by non-deterministic map iteration

  Show description for 3ce7bac
  

  burakemir

  and

  claude

  committed
  3ce7bac

  Copy full SHA for 3ce7bac

• Fix expression typing gaps in bounds checker

  Show description for c8a7df6
  

  burakemir

  and

  claude

  committed
  c8a7df6

  Copy full SHA for c8a7df6

• Split validation.go into focused files for rule checking and bounds analysis

  Show description for e21a507
  

  burakemir

  and

  claude

  committed
  e21a507

  Copy full SHA for e21a507

• Fix logo image URL for Codeberg raw file serving

  Show description for 059b1e0
  

  burakemir

  and

  claude

  committed
  059b1e0

  Copy full SHA for 059b1e0

• Add Codeberg hosting note and projects using Mangle

  Show description for bd0921c
  

  burakemir

  and

  claude

  committed
  bd0921c

  Copy full SHA for bd0921c

Commits on Feb 19, 2026

• Update references GitHub->Codeberg

  burakemir

  committed
  1868fbc

  Copy full SHA for 1868fbc

• Update module path to codeberg.org/TauCeti/mangle-go

  Show description for e798665
  

  burakemir

  and

  claude

  committed
  e798665

  Copy full SHA for e798665

• Replace rust/ with pointer to mangle-rs repo

  Show description for 9f96780
  

  burakemir

  and

  claude

  committed
  9f96780

  Copy full SHA for 9f96780

Commits on Feb 11, 2026

• No public description

  Show description for 2997016
  

  burakemir

  authored and

  copybara-github

  committed
  2997016

  Copy full SHA for 2997016

Commits on Feb 9, 2026

• Implement full DatalogMTL support and fix temporal reasoning bugs.

  Show description for 77dd171
  

  danielostrow

  authored and

  copybara-github

  committed
  77dd171

  Copy full SHA for 77dd171

Commits on Feb 3, 2026

• Copybara import of the project:

  Show description for cef8025
  

  danielostrow

  authored and

  copybara-github

  committed
  cef8025

  Copy full SHA for cef8025

• Add workflow to check for go sum tidiness

  Show description for 019637f
  

  burakemir

  authored and

  copybara-github

  committed
  019637f

  Copy full SHA for 019637f

Commits on Feb 2, 2026

• Add time and duration built-in types for Mangle

  Show description for dd902ac
  

  burakemir

  authored and

  copybara-github

  committed
  dd902ac

  Copy full SHA for dd902ac

Commits on Jan 19, 2026

• rust: Fix deps, move traits

  Show description for 7a5bbf7
  

  burakemir

  authored and

  copybara-github

  committed
  7a5bbf7

  Copy full SHA for 7a5bbf7

Commits on Jan 16, 2026

• No public description

  Show description for 7fb5181
  

  Mangle Team

  authored and

  copybara-github

  committed
  7fb5181

  Copy full SHA for 7fb5181

• No public description

  Show description for a295ef7
  

  burakemir

  authored and

  copybara-github

  committed
  a295ef7

  Copy full SHA for a295ef7

Commits on Jan 14, 2026

• Refactor Mangle Rust Architecture for Pluggable Storage, WASM and bring to parity with go implementation.

  Show description for 5ae6816
  

  burakemir

  authored and

  copybara-github

  committed
  5ae6816

  Copy full SHA for 5ae6816

Commits on Jan 8, 2026

• Adds missing let in readthedocs examples. Fixes #81

  Show description for a38a660
  

  burakemir

  authored and

  copybara-github

  committed
  a38a660

  Copy full SHA for a38a660

Commits on Dec 19, 2025

• ast package (go): Do not tolerate invalid UTF-8 in serde Escape

  Show description for 36f2233
  

  burakemir

  authored and

  copybara-github

  committed
  36f2233

  Copy full SHA for 36f2233

Commits on Dec 9, 2025

• rust: add printing that includes name lookup from arena.

  Show description for 677c05e
  

  burakemir

  authored and

  copybara-github

  committed
  677c05e

  Copy full SHA for 677c05e

Commits on Oct 21, 2025

• Move logo to readthedocs folder and include there, too.

  Show description for 19d930e
  

  burakemir

  authored and

  copybara-github

  committed
  19d930e

  Copy full SHA for 19d930e

Commits on Oct 10, 2025

• Add Mangle logo to repo

  Show description for 2e26f5a
  

  burakemir

  authored and

  copybara-github

  committed
  2e26f5a

  Copy full SHA for 2e26f5a