Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 14, 2021

• [Java frontend] new Sawja 1.5.10 release

  Show description for c8f2ed1
  

  davidpichardie

  authored and

  facebook-github-bot

  committed
  c8f2ed1

Commits on Sep 22, 2021

• rename master branch to main on GitHub

  Show description for a3bc7e0
  

  jvillard

  authored and

  facebook-github-bot

  committed
  a3bc7e0

Commits on May 20, 2021

• Remove mention of facebook-clang-plugins submodule in CONTRIBUTING.md

  Show description for 1efd585
  

  martintrojer

  authored and

  facebook-github-bot

  committed
  1efd585

Commits on Mar 29, 2021

• [opam] Move the opam files to an opam directory at repo root

  Show description for 673c944
  

  jberdine

  authored and

  facebook-github-bot

  committed
  673c944

Commits on Aug 19, 2020

• [build] swap the build defaults to dev-with-errors

  Show description for beca699
  

  jvillard

  authored and

  facebook-github-bot

  committed
  beca699

Commits on Apr 29, 2020

• [biabd] rename test directories from {biabduction,errors,infer} to {biabduction}

  Show description for b1e35a7
  

  jvillard

  authored and

  facebook-github-bot

  committed
  b1e35a7

Commits on Mar 30, 2020

• [python] it's just a flesh wound

  Show description for 1b2829b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  1b2829b

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

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

  Show description for fcce3c0
  

  artempyanykh

  authored and

  facebook-github-bot

  committed
  fcce3c0

Commits on Nov 6, 2019

• [infer][PR] Fix the ppx_deriving issue URL

  Show description for 2e05f5f
  

  XVilka

  authored and

  facebook-github-bot

  committed
  2e05f5f

Commits on Feb 7, 2019

• [github] add issue and PR templates

  Show description for 7fbe16f
  

  jvillard

  authored and

  facebook-github-bot

  committed
  7fbe16f

Commits on Nov 23, 2018

• [setup] opam 2

  Show description for c00b076
  

  jvillard

  authored and

  facebook-github-bot

  committed
  c00b076

Commits on Aug 13, 2018

• add tips about debugging infer

  Show description for 47fdee6
  

  jvillard

  authored and

  facebook-github-bot

  committed
  47fdee6

Commits on Mar 26, 2018

• [istd] break IStd.ml into sensible components

  Show description for 84d3144
  

  jvillard

  authored and

  facebook-github-bot

  committed
  84d3144

Commits on Jan 16, 2018

• Add Code of Conduct

  Show description for c18db51
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  c18db51

Commits on Oct 20, 2017

• [ocamlformat] Use ocamlformat from github

  Show description for f89e687
  

  jberdine

  authored and

  facebook-github-bot

  committed
  f89e687

Commits on Sep 15, 2017

• [build] switch to 4.05.0+flambda by default

  Show description for f8d7c81
  

  jvillard

  authored and

  facebook-github-bot

  committed
  f8d7c81

Commits on Aug 23, 2017

• [jbuilder] turn I{Std,List} and atd-generated files into libraries

  Show description for c16884b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  c16884b

Commits on Jul 25, 2017

• Minor change to CONTRIBUTING.md

  Show description for 2970c3f
  

  Andrzej Kotulski

  authored and

  facebook-github-bot

  committed
  2970c3f

Commits on Jul 11, 2017

• Convert Reason to OCaml, and auto-format OCaml

  Show description for bab3d81
  

  jberdine

  authored and

  facebook-github-bot

  committed
  bab3d81

Commits on Jun 27, 2017

• [setup] add automatic setup for the developer environment

  Show description for bfc2c05
  

  jvillard

  authored and

  facebook-github-bot

  committed
  bfc2c05

Commits on Jun 7, 2017

• [opam] add make opam.lock target

  Show description for e00a82a
  

  jvillard

  authored and

  facebook-github-bot

  committed
  e00a82a

Commits on Jun 6, 2017

• [police] open IStd automatically

  Show description for e24bffe
  

  jvillard

  authored and

  facebook-github-bot

  committed
  e24bffe

Commits on Apr 4, 2017

• add stuff to CONTRIBUTING.md

  Show description for 7a81fbc
  

  jvillard

  authored and

  facebook-github-bot

  committed
  7a81fbc

Commits on Nov 18, 2016

• [docs] update docs

  Show description for 350fe4d
  

  jvillard

  authored and

  Facebook Github Bot

  committed
  350fe4d

Commits on Apr 12, 2016

• Remove -open(Utils) compile flag hack

  Show description for e1020c8
  

  jberdine

  authored and

  Facebook Github Bot 0

  committed
  e1020c8

Commits on Mar 2, 2016

• kill test.sh

  Show description for 6f012ad
  

  jvillard

  authored and

  Facebook Github Bot 4

  committed
  6f012ad

Commits on Feb 17, 2016

• Open Utils implicitly

  Show description for b155168
  

  jberdine

  authored and

  facebook-github-bot-7

  committed
  b155168

Commits on Oct 1, 2015

• Documentation

  Show description for 6b988e6
  

  Deniz Türkoglu

  authored and

  facebook-github-bot-0

  committed
  6b988e6

Commits on Jun 9, 2015

• initial synchronization

  

  Open Source Synchronization

  committed
  b898227

Loading