Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on May 6, 2026

• [CI] fix macOS release build by preserving original configure flags

  Show description for 410a6d9
  

  davidpichardie

  authored and

  meta-codesync[bot]

  committed
  410a6d9

  Copy full SHA for 410a6d9

• [release] skip opam switch setup in release script when already configured

  Show description for 69eca07
  

  davidpichardie

  authored and

  meta-codesync[bot]

  committed
  69eca07

  Copy full SHA for 69eca07

Commits on Apr 29, 2025

• [llvm] turn on by default and automate building the bindings

  Show description for 25fc883
  

  jvillard

  authored and

  facebook-github-bot

  committed
  25fc883

  Copy full SHA for 25fc883

Commits on Apr 22, 2025

• [llvm] upgrade to llvm20 and use the LLVM distribution in facebook-clang-plugins

  Show description for 6d7d9fc
  

  jvillard

  authored and

  facebook-github-bot

  committed
  6d7d9fc

  Copy full SHA for 6d7d9fc

• [llvm] use a new local opam repo to set up llvm for inferll

  Show description for 6edb990
  

  jvillard

  authored and

  facebook-github-bot

  committed
  6edb990

  Copy full SHA for 6edb990

• [inferll] un-vendor llvm bindings and upgrade to llvm-18

  Show description for 43030a5
  

  jvillard

  authored and

  facebook-github-bot

  committed
  43030a5

  Copy full SHA for 43030a5

Commits on Apr 8, 2025

• [biabduction] remove checker value

  Show description for 2bc44c7
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  2bc44c7

  Copy full SHA for 2bc44c7

Commits on Sep 4, 2024

• remove unused opam_remove_broken_package functionality

  Show description for 69683e3
  

  jvillard

  authored and

  facebook-github-bot

  committed
  69683e3

  Copy full SHA for 69683e3

Commits on Jul 31, 2024

• load "re" in the infer repl

  Show description for 927b4a0
  

  jvillard

  authored and

  facebook-github-bot

  committed
  927b4a0

  Copy full SHA for 927b4a0

Commits on Jul 16, 2024

• [cleanup] test determinator

  Show description for 6bd8d70
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  6bd8d70

  Copy full SHA for 6bd8d70

Commits on Jun 28, 2024

• [quandary] remove checker

  Show description for a05b95d
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  a05b95d

  Copy full SHA for a05b95d

Commits on Jun 20, 2024

• [github] build on intel mac too

  Show description for b74d4fd
  

  jvillard

  authored and

  facebook-github-bot

  committed
  b74d4fd

  Copy full SHA for b74d4fd

Commits on May 13, 2024

• [debug] fix toplevel init script

  Show description for 360861c
  

  jvillard

  authored and

  facebook-github-bot

  committed
  360861c

  Copy full SHA for 360861c

Commits on May 17, 2023

• [script] Enable passing multiple options to opam-switch

  Show description for 406e579
  

  skcho

  authored and

  facebook-github-bot

  committed
  406e579

  Copy full SHA for 406e579

Commits on Oct 19, 2022

• [stats] minor readability/debuggability improvements of LongestProcDurationHeap

  Show description for c22afca
  

  jvillard

  authored and

  facebook-github-bot

  committed
  c22afca

  Copy full SHA for c22afca

Commits on Jul 22, 2022

• [AL] Remove source files under src/al

  Show description for 0be60fc
  

  skcho

  authored and

  facebook-github-bot

  committed
  0be60fc

  Copy full SHA for 0be60fc

Commits on Jul 14, 2022

• [build] lock ocamlformat dependencies

  Show description for 67d6284
  

  jvillard

  authored and

  facebook-github-bot

  committed
  67d6284

  Copy full SHA for 67d6284

Commits on Jul 11, 2022

• [build] delete opam switch directory if it is defunct

  Show description for 39055b8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  39055b8

  Copy full SHA for 39055b8

Commits on Jun 4, 2021

• [caml] upgrade to 4.12 and most recent versions of dependencies

  Show description for da425d0
  

  jvillard

  authored and

  facebook-github-bot

  committed
  da425d0

  Copy full SHA for da425d0

Commits on Mar 25, 2021

• [Topl] add doc and change TOPL -> Topl

  Show description for f9b6f2b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  f9b6f2b

  Copy full SHA for f9b6f2b

Commits on Oct 9, 2020

• [github] publish new releases automatically

  Show description for beb176b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  beb176b

  Copy full SHA for beb176b

Commits on Jun 12, 2020

• add `make install-with-libs` back

  Show description for 2a68099
  

  jvillard

  authored and

  facebook-github-bot

  committed
  2a68099

  Copy full SHA for 2a68099

Commits on Jun 8, 2020

• [infer] Reinstall some packages when ocamlfind cannot find it

  Show description for 7471b52
  

  skcho

  authored and

  facebook-github-bot

  committed
  7471b52

  Copy full SHA for 7471b52

Commits on May 13, 2020

• [opam] do not crash when the switch does not exist

  Show description for 418a1b5
  

  jvillard

  authored and

  facebook-github-bot

  committed
  418a1b5

  Copy full SHA for 418a1b5

Commits on May 11, 2020

• rename most libraries to be more consistent

  Show description for 041ecc5
  

  jvillard

  authored and

  facebook-github-bot

  committed
  041ecc5

  Copy full SHA for 041ecc5

Commits on Apr 30, 2020

• Make sure opam folder is empty before we try to create it

  Show description for 7b5356c
  

  martintrojer

  authored and

  facebook-github-bot

  committed
  7b5356c

  Copy full SHA for 7b5356c

Commits on Mar 26, 2020

• [infer-out] change bugs.txt to report.txt

  Show description for d8134e3
  

  jvillard

  authored and

  facebook-github-bot

  committed
  d8134e3

  Copy full SHA for d8134e3

Commits on Mar 11, 2020

• [build] Replace custom make cmds w/ dune promotion and byte_complete

  Show description for 786a725
  

  artempyanykh

  authored and

  facebook-github-bot

  committed
  786a725

  Copy full SHA for 786a725

• [RFC][build] Use dune environments and profiles instead of contexts

  Show description for fcce3c0
  

  artempyanykh

  authored and

  facebook-github-bot

  committed
  fcce3c0

  Copy full SHA for fcce3c0

Commits on Jan 28, 2020

• [scripts] delete check_hash_collisions.py

  Show description for 7d89e5e
  

  jvillard

  authored and

  facebook-github-bot

  committed
  7d89e5e

  Copy full SHA for 7d89e5e

Commits on Dec 16, 2019

• [inferbo] Revert external relational domains (apron, elina)

  Show description for 387ef51
  

  skcho

  authored and

  facebook-github-bot

  committed
  387ef51

  Copy full SHA for 387ef51

Commits on Nov 20, 2019

• [test determinator] Add the hash function that we use in the plugin to hash the mangled names to compare input mangled names

  Show description for 25f2293
  

  jvillard

  authored and

  facebook-github-bot

  committed
  25f2293

  Copy full SHA for 25f2293

• [build] fix opam_retry

  Show description for b82450d
  

  jvillard

  authored and

  facebook-github-bot

  committed
  b82450d

  Copy full SHA for b82450d

Commits on Nov 15, 2019

• [opam] Enable user opam switch named differently than compiler

  Show description for 52ba9a0
  

  jberdine

  authored and

  facebook-github-bot

  committed
  52ba9a0

  Copy full SHA for 52ba9a0

Commits on Jul 15, 2019

• Fix release script for infer-annotation JAR

  Show description for 21734fe
  

  artempyanykh

  authored and

  facebook-github-bot

  committed
  21734fe

  Copy full SHA for 21734fe