Commits

Branch selector

 main

User selector

bclement-ocp

Datepicker

All time

Commit History

Commits on May 13, 2025

• datalog: Clear binders after rule evaluation (#3693)

  Show description for 4884ce0
  bclement-ocp

  authored
  4884ce0

  Copy full SHA for 4884ce0

Commits on Apr 18, 2025

• flambda2(types): Refactor `add_equation` (#3873)

  Show description for 40c7d3b
  bclement-ocp

  authored
  40c7d3b

  Copy full SHA for 40c7d3b

Commits on Apr 17, 2025

• flambda2: Do not expose relations as types (#3867)

  Show description for 565a8d8
  bclement-ocp

  authored
  565a8d8

  Copy full SHA for 565a8d8

Commits on Apr 16, 2025

• Use Typing_env_extension for CSE join result (#3866)

  Show description for 2c9ab13
  bclement-ocp

  authored
  2c9ab13

  Copy full SHA for 2c9ab13

Commits on Apr 15, 2025

• chore: Remove Meet_env (#3856)

  Show description for 929c9cc
  bclement-ocp

  authored
  929c9cc

  Copy full SHA for 929c9cc

Commits on Apr 14, 2025

• flambda2-types: Do not lose array information if a field is unknown (#3839)

  bclement-ocp

  authored
  e86eae6

  Copy full SHA for e86eae6

Commits on Apr 11, 2025

• flambda2-types: New n-way join algorithm (#3538)

  Show description for a295010
  bclement-ocp

  authored
  a295010

  Copy full SHA for a295010

Commits on Mar 25, 2025

• Document Datalog's scheduling functions (#3580)

  Show description for 32d1930
  bclement-ocp

  authored
  32d1930

  Copy full SHA for 32d1930

Commits on Mar 24, 2025

• Rename Meet_and_join_new to Meet_and_join (#3727)

  Show description for 8580d64
  bclement-ocp

  authored
  8580d64

  Copy full SHA for 8580d64

• Remove basic meet (#3726)

  Show description for 699c419
  bclement-ocp

  authored
  699c419

  Copy full SHA for 699c419

Commits on Mar 17, 2025

• datalog: Always set table in Cursor.bind_table (#3692)

  Show description for b3afed9
  bclement-ocp

  authored
  b3afed9

  Copy full SHA for b3afed9

Commits on Feb 19, 2025

• build: Only set OCAMLPARAM if BUILD_OCAMLPARAM is defined (#3594)

  Show description for a7eb552
  bclement-ocp

  authored
  a7eb552

  Copy full SHA for a7eb552

Commits on Feb 17, 2025

• Add missing flambda2_datalog.cma to merge_archives (#3582)

  Show description for f937946
  bclement-ocp

  authored
  f937946

  Copy full SHA for f937946

Commits on Feb 14, 2025

• flambda2: Implement a datalog engine for the reaper (#3476)

  Show description for 4180fec
  

  bclement-ocp

  and

  Ekdohibs

  authored
  4180fec

  Copy full SHA for 4180fec

Commits on Feb 10, 2025

• chore: portable bash path (#3555)

  Show description for f5151bf
  bclement-ocp

  authored
  f5151bf

  Copy full SHA for f5151bf

Commits on Feb 4, 2025

• flambda2-types: It is OK to add an alias between constants (#3539)

  Show description for e14583b
  bclement-ocp

  authored
  e14583b

  Copy full SHA for e14583b

• flambda2-types: Make meet return a new typing env (#3537)

  Show description for dea52fd
  bclement-ocp

  authored
  dea52fd

  Copy full SHA for dea52fd

Commits on Feb 3, 2025

• flambda2-types: Recover aliases after meet (#3534)

  Show description for ccfbe20
  bclement-ocp

  authored
  ccfbe20

  Copy full SHA for ccfbe20

Commits on Jan 20, 2025

• Make patricia trees big-endian (#3438)

  Show description for a9821e8
  bclement-ocp

  authored
  a9821e8

  Copy full SHA for a9821e8

Commits on Dec 9, 2024

• fix(flambda2-types): Prevent duplicate equations in add_equation (#3306)

  Show description for f2bd023
  bclement-ocp

  authored
  f2bd023

  Copy full SHA for f2bd023

Commits on Nov 29, 2024

• Add a .git-blame-ignore-rev file (#3277)

  Show description for 9c067ad
  bclement-ocp

  authored
  9c067ad

  Copy full SHA for 9c067ad

Commits on Nov 22, 2024

• Profile time spent joining environments in `-dprofile` (#3298)

  bclement-ocp

  authored
  7cdbd6c

  Copy full SHA for 7cdbd6c

Commits on Nov 15, 2024

• Revert "Ensure consistent variable binding times (#3217)" (#3278)

  Show description for e89c6a6
  bclement-ocp

  authored
  e89c6a6

  Copy full SHA for e89c6a6

Commits on Oct 31, 2024

• Ensure consistent variable binding times (#3217)

  Show description for 40c4705
  bclement-ocp

  authored
  40c4705

  Copy full SHA for 40c4705

• Distinguish between "light" and "heavy" flambda2 invariants (#3205)

  Show description for 0559555
  bclement-ocp

  authored
  0559555

  Copy full SHA for 0559555

Commits on Oct 30, 2024

• chamelon: QoL improvements (#3189)

  Show description for dd6652f
  bclement-ocp

  authored
  dd6652f

  Copy full SHA for dd6652f

Commits on Jul 4, 2024

• Fix build (`Poll_and_jump` removed) (#2759)

  Show description for bee63ee
  bclement-ocp

  authored
  bee63ee

  Copy full SHA for bee63ee

Commits on Dec 13, 2023

• Changes entry for 12819

  bclement-ocp

  committed
  850c330

  Copy full SHA for 850c330

• Clarify which runtime interactions are allowed in custom ops

  bclement-ocp

  committed
  369033d

  Copy full SHA for 369033d