Commits

Branch selector

 main

User selector

All users

All time

Commit History

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

Commits on Oct 8, 2025

• Copybara import of the project:

  Show description for 09a7556
  

  valt-x

  authored and

  copybara-github

  committed
  09a7556

  Copy full SHA for 09a7556

Commits on Oct 7, 2025

• Add proof of concept from Carbon memory safety discussion.

  Show description for 4ebee62
  

  burakemir

  authored and

  copybara-github

  committed
  4ebee62

  Copy full SHA for 4ebee62

Commits on Oct 1, 2025

• Copybara import of the project:

  Show description for 548f0d1
  

  valt-x

  authored and

  copybara-github

  committed
  548f0d1

  Copy full SHA for 548f0d1

Commits on Sep 30, 2025

• Support arbitrary filter pushdown in external predicates API.

  Show description for 3596fd9
  

  burakemir

  authored and

  copybara-github

  committed
  3596fd9

  Copy full SHA for 3596fd9

• Copybara import of the project:

  Show description for f9e00ab
  

  RyanCarlisle

  authored and

  copybara-github

  committed
  f9e00ab

  Copy full SHA for f9e00ab

Commits on Sep 25, 2025

• Copybara import of the project:

  Show description for 3c74c28
  

  hertzcodes

  authored and

  copybara-github

  committed
  3c74c28

  Copy full SHA for 3c74c28

Commits on Sep 24, 2025

• Add support for external predicates, fixes #59

  Show description for ea0330c
  

  burakemir

  authored and

  copybara-github

  committed
  ea0330c

  Copy full SHA for ea0330c

Commits on Sep 22, 2025

• Add readthedocs intro page for aggregation.

  Show description for 4d58fd2
  

  burakemir

  authored and

  copybara-github

  committed
  4d58fd2

  Copy full SHA for 4d58fd2

• Add SQL translation to readthedocs docu, fixes #57

  Show description for f7fc117
  

  burakemir

  authored and

  copybara-github

  committed
  f7fc117

  Copy full SHA for f7fc117

Commits on Sep 12, 2025

• Fix readthedocs documentation mistakes in basic example.

  Show description for 081bd25
  

  burakemir

  authored and

  copybara-github

  committed
  081bd25

  Copy full SHA for 081bd25

Commits on Sep 11, 2025

• In aggregations, permit calls of normal (non-reducer) functions.

  Show description for a77833b
  

  burakemir

  authored and

  copybara-github

  committed
  a77833b

  Copy full SHA for a77833b

Commits on Sep 8, 2025

• Copybara import of the project:

  Show description for b7203eb
  

  0xflotus

  authored and

  copybara-github

  committed
  b7203eb

  Copy full SHA for b7203eb

• Add star history chart to README.

  Show description for e27a632
  

  burakemir

  authored and

  copybara-github

  committed
  e27a632

  Copy full SHA for e27a632

Commits on Sep 3, 2025

• rust: change factstore API to take a reference to a Receiver<'a>.

  Show description for 6d23679
  

  burakemir

  authored and

  copybara-github

  committed
  6d23679

  Copy full SHA for 6d23679

Commits on Sep 2, 2025

• Deprecate EvalProgram, in favor of EvalStratifiedProgramWithStats.

  Show description for 3c1ec60
  

  burakemir

  authored and

  copybara-github

  committed
  3c1ec60

  Copy full SHA for 3c1ec60

• Copybara import of the project:

  Show description for fabb740
  

  Ritik82

  authored and

  copybara-github

  committed
  fabb740

  Copy full SHA for fabb740

Commits on Aug 12, 2025

• Copybara import of the project:

  Show description for 8d1e1c0
  

  swdunlop

  authored and

  copybara-github

  committed
  8d1e1c0

  Copy full SHA for 8d1e1c0

Commits on Jul 4, 2025

• mangle rust: add program stratification

  Show description for 3d00d48
  

  Mangle Team

  authored and

  copybara-github

  committed
  3d00d48

  Copy full SHA for 3d00d48

Commits on Jun 22, 2025

• mangle rust: use FxHashSet for PredicateSet type alias.

  Show description for 98f0158
  

  burakemir

  authored and

  copybara-github

  committed
  98f0158

  Copy full SHA for 98f0158

Commits on Jun 19, 2025

• fix bug in simplecolumn deserialization: percent unescape is only needed for names /foobar

  Show description for 13fad55
  

  burakemir

  authored and

  copybara-github

  committed
  13fad55

  Copy full SHA for 13fad55

Commits on Jun 11, 2025

• mangle rust: introduce arena.

  Show description for f1c1fa6
  

  burakemir

  authored and

  copybara-github

  committed
  f1c1fa6

  Copy full SHA for f1c1fa6

Commits on Apr 23, 2025

• Copybara import of the project:

  Show description for 8cc2024
  

  cwarden

  authored and

  copybara-github

  committed
  8cc2024

  Copy full SHA for 8cc2024

• Copybara import of the project:

  Show description for 6a4ed2b
  

  cwarden

  authored and

  copybara-github

  committed
  6a4ed2b

  Copy full SHA for 6a4ed2b

• Copybara import of the project:

  Show description for 24827b7
  

  cwarden

  authored and

  copybara-github

  committed
  24827b7

  Copy full SHA for 24827b7

• Copybara import of the project:

  Show description for a727651
  

  dependabot[bot]

  authored and

  copybara-github

  committed
  a727651

  Copy full SHA for a727651

Commits on Apr 7, 2025

• rust: add the .Type<> syntax

  Show description for 1b48189
  

  burakemir

  authored and

  copybara-github

  committed
  1b48189

  Copy full SHA for 1b48189

Commits on Mar 14, 2025

• Fix another minor typo in readthedocs datalog page.

  Show description for 0a95629
  

  burakemir

  authored and

  copybara-github

  committed
  0a95629

  Copy full SHA for 0a95629

Commits on Mar 13, 2025

• Fixes to datalog readthedocs docu.

  Show description for e729e85
  

  burakemir

  authored and

  copybara-github

  committed
  e729e85

  Copy full SHA for e729e85

Commits on Mar 10, 2025

• Add datalog intro to readthedocs docu.

  Show description for 29c13de
  

  burakemir

  authored and

  copybara-github

  committed
  29c13de

  Copy full SHA for 29c13de

Commits on Mar 8, 2025

• Add example for aggregation. Fixes #42 (with a salute to Douglas Adams)

  Show description for 3549b4f
  

  burakemir

  authored and

  copybara-github

  committed
  3549b4f

  Copy full SHA for 3549b4f

Commits on Mar 3, 2025

• Support ⟸ (leftwards leaning double arrow) in clause syntax.

  Show description for 0674bad
  

  burakemir

  authored and

  copybara-github

  committed
  0674bad

  Copy full SHA for 0674bad

Commits on Jan 21, 2025

• Grammar change add better syntax for types, especially struct types. Fixes #27

  Show description for 882cf93
  

  burakemir

  authored and

  copybara-github

  committed
  882cf93

  Copy full SHA for 882cf93

Commits on Jan 7, 2025

• Make a function so that you can construct a goal atom from a single PredicateSym.

  Show description for 7beb0d1
  

  Mangle Team

  authored and

  copybara-github

  committed
  7beb0d1

  Copy full SHA for 7beb0d1