Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 17, 2025

• [minor heap] change default for multicore

  Show description for beb1058
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  beb1058

  Copy full SHA for beb1058

• [ocamlformat] update version

  Show description for 12d7f52
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  12d7f52

  Copy full SHA for 12d7f52

• [sledge] remove again

  Show description for f66c082
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  f66c082

  Copy full SHA for f66c082

Commits on Jul 15, 2025

• [opam] install saturn library

  Show description for 58fdd56
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  58fdd56

  Copy full SHA for 58fdd56

• [ocaml] 5.3.0

  Show description for cdc0bc7
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  cdc0bc7

  Copy full SHA for cdc0bc7

• [IR][refactor] declare FuncArg module in a dedicated file

  Show description for e12c370
  

  davidpichardie

  authored and

  facebook-github-bot

  committed
  e12c370

  Copy full SHA for e12c370

Commits on Jul 11, 2025

• [sledge] avoid name clash on Map

  Show description for 56ab616
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  56ab616

  Copy full SHA for 56ab616

• [sledge] avoid name clash on Set

  Show description for e99bc46
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  e99bc46

  Copy full SHA for e99bc46

• [sledge] avoid name clash on Loc

  Show description for fa40b46
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  fa40b46

  Copy full SHA for fa40b46

Commits on Jul 4, 2025

• [textual] Add an optional init expression to globals

  Show description for f7db634
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  f7db634

  Copy full SHA for f7db634

• [swift] disable tests

  Show description for 454bb50
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  454bb50

  Copy full SHA for 454bb50

Commits on Jul 3, 2025

• [opam] fix camlzip pinning and rebuild lock files

  Show description for 44760f7
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  44760f7

  Copy full SHA for 44760f7

• [github] fix github CI

  Show description for 8f66ef3
  

  Gabisampaio

  authored and

  facebook-github-bot

  committed
  8f66ef3

  Copy full SHA for 8f66ef3

Commits on Jul 2, 2025

• [swift] Remove assertion test

  Show description for b2260e9
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  b2260e9

  Copy full SHA for b2260e9

Commits on Jun 26, 2025

• [swift] Enable the retain cycle checker for Swift

  Show description for adceb27
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  adceb27

  Copy full SHA for adceb27

• [swift] Adding a new type for Swift class names

  Show description for 21bb83c
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  21bb83c

  Copy full SHA for 21bb83c

Commits on Jun 25, 2025

• [swift] Remove functions swift_beginAccess and swift_endAccess

  Show description for c17d51a
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  c17d51a

  Copy full SHA for c17d51a

• [swift] Translate getters and setters

  Show description for 21b66ef
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  21b66ef

  Copy full SHA for 21b66ef

Commits on Jun 23, 2025

• [textual] fix type signature of pointer arithmetic SIL builtins

  Show description for 6a6aabe
  

  davidpichardie

  authored and

  facebook-github-bot

  committed
  6a6aabe

  Copy full SHA for 6a6aabe

• [swift] Remove calls to swift_retain

  Show description for f49e75f
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  f49e75f

  Copy full SHA for f49e75f

• [swift] Improve the special case of removing the instruction for storing zero into an object

  Show description for 53d30d5
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  53d30d5

  Copy full SHA for 53d30d5

Commits on Jun 20, 2025

• [swift] Improving adding dereference instructions

  Show description for e22e2de
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  e22e2de

  Copy full SHA for e22e2de

• [llvm] Remove the type inference algorithm

  Show description for d48c9be
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  d48c9be

  Copy full SHA for d48c9be

• [llvm] Make the typechecker aware of opaque type pointers in llvm

  Show description for e24fe76
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  e24fe76

  Copy full SHA for e24fe76

• [llvm] Adding some more types to the printing of llair files

  Show description for 7a4b6e2
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  7a4b6e2

  Copy full SHA for 7a4b6e2

• [erlang] Don't crash on type cycles

  Show description for ea68a2d
  

  rgrig

  authored and

  facebook-github-bot

  committed
  ea68a2d

  Copy full SHA for ea68a2d

Commits on Jun 18, 2025

• [infer][swift][buck2] add flag for ignoring swift errors

  Show description for 63adb39
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  63adb39

  Copy full SHA for 63adb39

Commits on Jun 17, 2025

• [llvm] avoid crash on swift.protocol_requirement

  Show description for 5b06ea2
  

  ngorogiannis

  authored and

  facebook-github-bot

  committed
  5b06ea2

  Copy full SHA for 5b06ea2

• [swift] Remove calls to swift_release

  Show description for 80e2a57
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  80e2a57

  Copy full SHA for 80e2a57

• [inferpython] do not track unawataible on non-positionnal arguments

  Show description for 4c05753
  

  davidpichardie

  authored and

  facebook-github-bot

  committed
  4c05753

  Copy full SHA for 4c05753

• [inferpython] adding some tests about interprocedural unawaited awaitable signals

  Show description for f4c745b
  

  davidpichardie

  authored and

  facebook-github-bot

  committed
  f4c745b

  Copy full SHA for f4c745b

Commits on Jun 16, 2025

• [llvm] Remove redundant deref instructions for the arguments of assert

  Show description for 4e1b7eb
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  4e1b7eb

  Copy full SHA for 4e1b7eb

• [llvm] The fields also need dereferencing before passing to functions, etc

  Show description for db2f059
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  db2f059

  Copy full SHA for db2f059

• [swift] Remove void setting a struct to zero that did not typecheck

  Show description for b8556e1
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  b8556e1

  Copy full SHA for b8556e1

Commits on Jun 13, 2025

• [swift] First steps in translating classes

  Show description for 2f045c7
  

  dulmarod

  authored and

  facebook-github-bot

  committed
  2f045c7

  Copy full SHA for 2f045c7

Pagination

Previous

Next