Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Sep 16, 2025

• Dockerfile for 1.2.0 (#1912)

  Show description for a24b883
  

  shargon

  authored and

  facebook-github-bot

  committed
  a24b883

  Copy full SHA for a24b883

Commits on Feb 28, 2023

• fixed dockerfile builds (#1734)

  Show description for 23f0aa3
  

  whoismissing

  authored and

  facebook-github-bot

  committed
  23f0aa3

  Copy full SHA for 23f0aa3

Commits on Oct 28, 2021

• Readme.md (#1541)

  Show description for 516deba
  

  Tamonash-glitch

  authored and

  facebook-github-bot

  committed
  516deba

  Copy full SHA for 516deba

Commits on Sep 22, 2021

• rename master branch to main on GitHub

  Show description for a3bc7e0
  

  jvillard

  authored and

  facebook-github-bot

  committed
  a3bc7e0

  Copy full SHA for a3bc7e0

Commits on Aug 6, 2021

• [docker] update Dockerfiles

  Show description for e4c65eb
  

  jvillard

  authored and

  facebook-github-bot

  committed
  e4c65eb

  Copy full SHA for e4c65eb

Commits on Nov 13, 2020

• Use `--depth` flag to `git clone` in Dockerfiles, to save space (#1341)

  Show description for 9d49fd5
  

  rajpratik71

  authored and

  facebook-github-bot

  committed
  9d49fd5

  Copy full SHA for 9d49fd5

Commits on Jul 24, 2020

• [infer][PR] add patchelf back to master/Dockerfile

  Show description for 4f571cc
  

  tomtomjhj

  authored and

  facebook-github-bot

  committed
  4f571cc

  Copy full SHA for 4f571cc

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 Apr 1, 2020

• [infer][PR] Update base for Docker, remove python2

  Show description for cab87cd
  

  XVilka

  authored and

  facebook-github-bot

  committed
  cab87cd

  Copy full SHA for cab87cd

Commits on Mar 11, 2020

• [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 13, 2020

• [infer] Update docker build script

  Show description for eb85a9b
  

  skcho

  authored and

  facebook-github-bot

  committed
  eb85a9b

  Copy full SHA for eb85a9b

Commits on Nov 14, 2019

• [infer][PR] Update opam in Dockerfiles

  Show description for 64d3aba
  

  XVilka

  authored and

  facebook-github-bot

  committed
  64d3aba

  Copy full SHA for 64d3aba

Commits on Jun 13, 2019

• [copyright] Remove years

  Show description for cfc1c8b
  

  jberdine

  authored and

  facebook-github-bot

  committed
  cfc1c8b

  Copy full SHA for cfc1c8b

Commits on May 22, 2019

• [infer][PR] Improvements in docker container generation

  Show description for bef697c
  

  jesmg

  authored and

  facebook-github-bot

  committed
  bef697c

  Copy full SHA for bef697c

Commits on Apr 1, 2019

• [infer][PR] Update opam version in Docker for master

  Show description for 319440d
  

  XVilka

  authored and

  facebook-github-bot

  committed
  319440d

  Copy full SHA for 319440d

Commits on Jan 21, 2019

• [lab] fix issues discovered during POPL tutorial

  Show description for 13e8c21
  

  jvillard

  authored and

  facebook-github-bot

  committed
  13e8c21

  Copy full SHA for 13e8c21

Commits on Jan 14, 2019

• [labs] fiddling

  Show description for 8e4fea7
  

  jvillard

  authored and

  facebook-github-bot

  committed
  8e4fea7

  Copy full SHA for 8e4fea7

• resource leaks tutorial

  Show description for 16c0c03
  

  jvillard

  authored and

  facebook-github-bot

  committed
  16c0c03

  Copy full SHA for 16c0c03

Commits on Aug 7, 2018

• [docker] remove duplicate dependency

  Show description for f5edf57
  

  jvillard

  authored and

  facebook-github-bot

  committed
  f5edf57

  Copy full SHA for f5edf57

Commits on May 31, 2018

• Change license to MIT

  Show description for 8b882ac
  

  jvillard

  authored and

  facebook-github-bot

  committed
  8b882ac

  Copy full SHA for 8b882ac

Commits on May 10, 2018

• [docker] upgrade Dockerfile to 0.14.0

  Show description for 607fdc8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  607fdc8

  Copy full SHA for 607fdc8

Commits on Feb 2, 2018

• [docker] bump infer version to 0.13.1

  Show description for f1e01bd
  

  jvillard

  authored and

  facebook-github-bot

  committed
  f1e01bd

  Copy full SHA for f1e01bd

Commits on Nov 10, 2017

• [infer][PR] Adjust Dockerfile to build 0.13

  Show description for ae21c3e
  

  aaronjwood

  authored and

  facebook-github-bot

  committed
  ae21c3e

  Copy full SHA for ae21c3e

Commits on Aug 30, 2017

• [docker] use hotfix release 0.12.1

  Show description for c025d56
  

  jvillard

  authored and

  facebook-github-bot

  committed
  c025d56

  Copy full SHA for c025d56

Commits on Jun 28, 2017

• Require ocaml 4.04.2

  Show description for 7a570cd
  

  jberdine

  authored and

  facebook-github-bot

  committed
  7a570cd

  Copy full SHA for 7a570cd

Commits on Jun 8, 2017

• [docker] use latest infer release

  Show description for 8757210
  

  jvillard

  authored and

  facebook-github-bot

  committed
  8757210

  Copy full SHA for 8757210

Commits on Apr 19, 2017

• [infer][PR] Dockerfile update

  Show description for 8a8fe9e
  

  3flex

  authored and

  facebook-github-bot

  committed
  8a8fe9e

  Copy full SHA for 8a8fe9e

Commits on Mar 31, 2017

• [docker] revert accidentally bumped infer version

  Show description for 93c3758
  

  jvillard

  authored and

  facebook-github-bot

  committed
  93c3758

  Copy full SHA for 93c3758

• bump version: 0.10.0 -> 0.11.0

  Show description for a3b3148
  

  jvillard

  authored and

  facebook-github-bot

  committed
  a3b3148

  Copy full SHA for a3b3148

Commits on Feb 27, 2017

• [infer][PR] Docker: Update to Infer v0.10.0

  Show description for a0b596d
  

  3flex

  authored and

  facebook-github-bot

  committed
  a0b596d

  Copy full SHA for a0b596d

• [infer][PR] Dockerfile: add missing libffi build dependency

  Show description for 9c7d3da
  

  3flex

  authored and

  facebook-github-bot

  committed
  9c7d3da

  Copy full SHA for 9c7d3da

Commits on Dec 6, 2016

• Update to Infer v0.9.4.1

  Show description for 7d559f4
  

  bootstraponline

  authored and

  Facebook Github Bot

  committed
  7d559f4

  Copy full SHA for 7d559f4

Commits on Nov 15, 2016

• There doesn't appear to be any 0.9.4 release

  Show description for ed84dbf
  

  ttsiodras

  authored and

  Facebook Github Bot

  committed
  ed84dbf

  Copy full SHA for ed84dbf

Commits on Oct 27, 2016

• bump version: 0.9.3 -> 0.9.4

  Show description for 1d94cf3
  

  jvillard

  authored and

  Facebook Github Bot

  committed
  1d94cf3

  Copy full SHA for 1d94cf3

Commits on Sep 20, 2016

• bump version: 0.9.2 -> 0.9.3

  Show description for 65a39c8
  

  jberdine

  authored and

  Facebook Github Bot 2

  committed
  65a39c8

  Copy full SHA for 65a39c8