Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 2, 2024

• [stats] utility to diff two stats directories

  Show description for edd6a13
  

  jvillard

  authored and

  facebook-github-bot

  committed
  edd6a13

  Copy full SHA for edd6a13

• [docs] stop recommending homebrew as the infer recipe is unavailable

  Show description for dbeebb2
  

  jvillard

  authored and

  facebook-github-bot

  committed
  dbeebb2

  Copy full SHA for dbeebb2

• [annot] Update manual with sanitizers

  Show description for 99bf9d9
  

  hajduakos

  authored and

  facebook-github-bot

  committed
  99bf9d9

  Copy full SHA for 99bf9d9

• Minor grammatical edits and typo fixes (#1820)

  Show description for 508efc3
  

  kennyballou

  authored and

  facebook-github-bot

  committed
  508efc3

  Copy full SHA for 508efc3

• Bump express from 4.18.2 to 4.19.2 in /website (#1826)

  Show description for 9a3b869
  

  dependabot[bot]

  authored and

  facebook-github-bot

  committed
  9a3b869

  Copy full SHA for 9a3b869

• Bump webpack-dev-middleware from 5.3.3 to 5.3.4 in /website (#1821)

  Show description for 5cc6abb
  

  dependabot[bot]

  authored and

  facebook-github-bot

  committed
  5cc6abb

  Copy full SHA for 5cc6abb

• Treat *.ml{i} in Linguist as OCaml (#1828)

  Show description for c02bc5b
  

  kevinji

  authored and

  facebook-github-bot

  committed
  c02bc5b

  Copy full SHA for c02bc5b

• Fix the ocamlformat install step in the GitHub worflow (#1825)

  Show description for 7950d08
  

  jeremydubreil

  authored and

  facebook-github-bot

  committed
  7950d08

  Copy full SHA for 7950d08

• ci: Use GITHUB_OUTPUT envvar instead of set-output command (#1811)

  Show description for 6f13c0c
  

  arunsathiya

  authored and

  facebook-github-bot

  committed
  6f13c0c

  Copy full SHA for 6f13c0c

• [pulse] use notnull annotation on function parameter to prune initial state

  Show description for f1a1c8a
  

  davidpichardie

  authored and

  facebook-github-bot

  committed
  f1a1c8a

  Copy full SHA for f1a1c8a

• [pulse-disjuncts] optional logging of disjuncts increase after model calls

  Show description for e53566b
  

  davidpichardie

  authored and

  facebook-github-bot

  committed
  e53566b

  Copy full SHA for e53566b

Commits on Mar 28, 2024

• [annot] Simplify spec parsing

  Show description for e1850ff
  

  hajduakos

  authored and

  facebook-github-bot

  committed
  e1850ff

  Copy full SHA for e1850ff

• [uninit] Degrade eval mode when unknown effect is found

  Show description for afc0f30
  

  skcho

  authored and

  facebook-github-bot

  committed
  afc0f30

  Copy full SHA for afc0f30

• [pulse] Add std::string default constructor model

  Show description for dd3317b
  

  skcho

  authored and

  facebook-github-bot

  committed
  dd3317b

  Copy full SHA for dd3317b

• [config] bring --pulse-transitive-access-verbose back into the fold

  Show description for c7bfacd
  

  jvillard

  authored and

  facebook-github-bot

  committed
  c7bfacd

  Copy full SHA for c7bfacd

• [minor] sort declarations in Config.ml and Config.mli

  Show description for fb2a9e7
  

  jvillard

  authored and

  facebook-github-bot

  committed
  fb2a9e7

  Copy full SHA for fb2a9e7

• [stats] cleanup

  Show description for 042534b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  042534b

  Copy full SHA for 042534b

• [stats] migrate log entries logging to ppx

  Show description for 5d4fec8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  5d4fec8

  Copy full SHA for 5d4fec8

• [stats] log to files in infer-out/stats/ as well as to scuba

  Show description for db3f2d9
  

  jvillard

  authored and

  facebook-github-bot

  committed
  db3f2d9

  Copy full SHA for db3f2d9

• [infer-out] delete entries by default unless registered to be kept

  Show description for f4876b9
  

  jvillard

  authored and

  facebook-github-bot

  committed
  f4876b9

  Copy full SHA for f4876b9

• [dbwriter] wait for dbwriter to finish instead of sleeping

  Show description for 3a14cde
  

  jvillard

  authored and

  facebook-github-bot

  committed
  3a14cde

  Copy full SHA for 3a14cde

• [dbwriter] register sqlite_write_socket in ResultsDirEntryName

  Show description for 91b7ddc
  

  jvillard

  authored and

  facebook-github-bot

  committed
  91b7ddc

  Copy full SHA for 91b7ddc

• [tests] minor improvements to buck_export_changed_functions

  Show description for 3ebe0c3
  

  jvillard

  authored and

  facebook-github-bot

  committed
  3ebe0c3

  Copy full SHA for 3ebe0c3

• [utils] fix bug when removing directories

  Show description for 956adc8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  956adc8

  Copy full SHA for 956adc8

• [stats] new flags for logging cost/pulse unknown calls

  Show description for e62eab3
  

  jvillard

  authored and

  facebook-github-bot

  committed
  e62eab3

  Copy full SHA for e62eab3

• store child rank in ProcessPoolState

  Show description for aace496
  

  jvillard

  authored and

  facebook-github-bot

  committed
  aace496

  Copy full SHA for aace496

• Replace Yojson.Basic with Yojson.Safe

  Show description for bffbdab
  

  hajduakos

  authored and

  facebook-github-bot

  committed
  bffbdab

  Copy full SHA for bffbdab

• Lineage: represent destinations as sequences of nodes

  Show description for 158e6b5
  

  thizanne

  authored and

  facebook-github-bot

  committed
  158e6b5

  Copy full SHA for 158e6b5

• [annot] Add some warning messages for parsing

  Show description for caa548b
  

  hajduakos

  authored and

  facebook-github-bot

  committed
  caa548b

  Copy full SHA for caa548b

• [topl][be] Replace `Str` by `Re.Str`

  Show description for db9dd57
  

  rgrig

  authored and

  facebook-github-bot

  committed
  db9dd57

  Copy full SHA for db9dd57

• [annot] Add support for custom sanitizer annotations

  Show description for cdbba75
  

  hajduakos

  authored and

  facebook-github-bot

  committed
  cdbba75

  Copy full SHA for cdbba75

• [topl] Filter events based on static types

  Show description for bc5a933
  

  rgrig

  authored and

  facebook-github-bot

  committed
  bc5a933

  Copy full SHA for bc5a933

Commits on Mar 27, 2024

• [clang] Forcibly add exception edge when try body ends with return

  Show description for aba674a
  

  skcho

  authored and

  facebook-github-bot

  committed
  aba674a

  Copy full SHA for aba674a

• Lineage: represent edge sources as sequences of vertices

  Show description for 9df7ec5
  

  thizanne

  authored and

  facebook-github-bot

  committed
  9df7ec5

  Copy full SHA for 9df7ec5

• [topl] Added type filters

  Show description for 94952d2
  

  rgrig

  authored and

  facebook-github-bot

  committed
  94952d2

  Copy full SHA for 94952d2

Pagination

Previous

Next