Commits

Branch selector

 master

User selector

mbouaziz

Datepicker

All time

Commit History

Commits on Jun 27, 2018

• Cost: simplify range of parameters

  Show description for e5de1b6
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  e5de1b6

  Copy full SHA for e5de1b6

• Inferbo/perf: path rather than symbols

  Show description for bea71d9
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  bea71d9

  Copy full SHA for bea71d9

• Inferbo: rewrote subst

  Show description for 3c240fc
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  3c240fc

  Copy full SHA for 3c240fc

Commits on Jun 25, 2018

• Cost: improve NonNegativePolynomial.(<=)

  Show description for a8e84d1
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  a8e84d1

  Copy full SHA for a8e84d1

• Cost: also take into account arguments in range

  Show description for 0639ef8
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  0639ef8

  Copy full SHA for 0639ef8

Commits on Jun 18, 2018

• Inferbo: size of arrayblk is unsigned

  Show description for bd72560
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  bd72560

  Copy full SHA for bd72560

Commits on Jun 13, 2018

• Logging/Printer: better code

  Show description for 4eef0d9
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  4eef0d9

  Copy full SHA for 4eef0d9

• Propgraph: relax types

  Show description for 0563578
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  0563578

  Copy full SHA for 0563578

• Prop.expose: relax type

  Show description for 2b77c67
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  2b77c67

  Copy full SHA for 2b77c67

• Cost: actually, we needed data dependency

  Show description for affced4
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  affced4

  Copy full SHA for affced4

Commits on Jun 12, 2018

• Cost solver

  Show description for 5b6430e
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  5b6430e

  Copy full SHA for 5b6430e

Commits on Jun 11, 2018

• Cost: prepare for another solver

  Show description for 2918512
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  2918512

  Copy full SHA for 2918512

• [Cost] Representative map: use the union-find map

  Show description for 4a0ed21
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  4a0ed21

  Copy full SHA for 4a0ed21

• Cost: Polynomial.min_default_left

  Show description for dc49cb6
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  dc49cb6

  Copy full SHA for dc49cb6

• Cost: move union-find to its own module

  Show description for 9ae3b42
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  9ae3b42

  Copy full SHA for 9ae3b42

• PartialOrder

  Show description for 21ced6a
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  21ced6a

  Copy full SHA for 21ced6a

• Inferbo models: separate ret

  Show description for 507de1e
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  507de1e

  Copy full SHA for 507de1e

Commits on Jun 7, 2018

• Cost: control-flow equality classes

  Show description for aee02e2
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  aee02e2

  Copy full SHA for aee02e2

• ARList

  Show description for fd93d90
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  fd93d90

  Copy full SHA for fd93d90

Commits on Jun 6, 2018

• Absint: add debugging for join and widen

  Show description for 6861a2a
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  6861a2a

  Copy full SHA for 6861a2a

Commits on Jun 5, 2018

• Buckets.check_access: got rid of refs

  Show description for 6fccc62
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  6fccc62

  Copy full SHA for 6fccc62

Commits on Jun 4, 2018

• Instrs: Arrays and RevArrays only

  Show description for 69ead91
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  69ead91

  Copy full SHA for 69ead91

• Typo

  Show description for bfdc4b1
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  bfdc4b1

  Copy full SHA for bfdc4b1

• Instrs.single -> singleton

  Show description for 41a6480
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  41a6480

  Copy full SHA for 41a6480

• [infer][tests] update the expected test output for the ndk-build tests

  Show description for 3c7f38e
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  3c7f38e

  Copy full SHA for 3c7f38e

Commits on Jun 1, 2018

• [cost] Compute range using post state

  Show description for 1b63cb4
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  1b63cb4

  Copy full SHA for 1b63cb4

• ProcCfg: do not include module Node

  Show description for fc5c093
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  fc5c093

  Copy full SHA for fc5c093

• Paths.Path.iter_all_nodes_no_calls -> fold

  Show description for d65cee3
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  d65cee3

  Copy full SHA for d65cee3

• List.drop again

  Show description for a5b8093
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  a5b8093

  Copy full SHA for a5b8093

Commits on May 30, 2018

• Abstract type for list of instructions in node

  Show description for 4927e31
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  4927e31

  Copy full SHA for 4927e31

• proc_inline_synthetic_methods: got rid of refs

  Show description for 256b74b
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  256b74b

  Copy full SHA for 256b74b

• Fix IList.map_changed

  Show description for fbc13cf
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  fbc13cf

  Copy full SHA for fbc13cf

• get_vararg_type_names: refactor to prepare for new instrs

  Show description for 3a41f50
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  3a41f50

  Copy full SHA for 3a41f50

• ProcCfg: fold on nodes only

  Show description for 42b3958
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  42b3958

  Copy full SHA for 42b3958

• propagate_nodes_divergence: postpone calling succs/preds

  Show description for 3400e80
  

  mbouaziz

  authored and

  facebook-github-bot

  committed
  3400e80

  Copy full SHA for 3400e80

Pagination

Previous

Next