Commits

Branch selector

 master

User selector

jvillard

Datepicker

All time

Commit History

Commits on Sep 18, 2020

• [preanalysis] do not nullify vars captured by ref

  Show description for 6c8fc85
  

  jvillard

  authored and

  facebook-github-bot

  committed
  6c8fc85

  Copy full SHA for 6c8fc85

Commits on Sep 17, 2020

• [pulse][minor] resolve mysterious 'a in .mli

  Show description for 931cf2d
  

  jvillard

  authored and

  facebook-github-bot

  committed
  931cf2d

  Copy full SHA for 931cf2d

• [pulse] add option to skip functions/classes

  Show description for 03bc3f3
  

  jvillard

  authored and

  facebook-github-bot

  committed
  03bc3f3

  Copy full SHA for 03bc3f3

Commits on Sep 14, 2020

• [opam] retry switch creation with opam update

  Show description for 1694d21
  

  jvillard

  authored and

  facebook-github-bot

  committed
  1694d21

  Copy full SHA for 1694d21

Commits on Sep 9, 2020

• [doc] update documentation on building checkers

  Show description for 7eba62c
  

  jvillard

  authored and

  facebook-github-bot

  committed
  7eba62c

  Copy full SHA for 7eba62c

Commits on Sep 8, 2020

• [pulse] fix fuel debug message

  Show description for b62c3f5
  

  jvillard

  authored and

  facebook-github-bot

  committed
  b62c3f5

  Copy full SHA for b62c3f5

• new CODE_OF_CONDUCT

  Show description for a95ef1f
  

  jvillard

  authored and

  facebook-github-bot

  committed
  a95ef1f

  Copy full SHA for a95ef1f

• [website] add legal stuff

  Show description for 73ed74a
  

  jvillard

  authored and

  facebook-github-bot

  committed
  73ed74a

  Copy full SHA for 73ed74a

Commits on Aug 25, 2020

• [pulse] normalize again when we discover new linear eqs

  Show description for 5cceead
  

  jvillard

  authored and

  facebook-github-bot

  committed
  5cceead

  Copy full SHA for 5cceead

• [pulse] cleanup arithmetic

  Show description for 50b94db
  

  jvillard

  authored and

  facebook-github-bot

  committed
  50b94db

  Copy full SHA for 50b94db

• [pulse] refactor Atom.eval_atom

  Show description for 8b23fee
  

  jvillard

  authored and

  facebook-github-bot

  committed
  8b23fee

  Copy full SHA for 8b23fee

• [pulse] streamline atom normalization

  Show description for ecdb153
  

  jvillard

  authored and

  facebook-github-bot

  committed
  ecdb153

  Copy full SHA for ecdb153

• [pulse] preserve physical equality on var subst in LinArith

  Show description for 7df30b0
  

  jvillard

  authored and

  facebook-github-bot

  committed
  7df30b0

  Copy full SHA for 7df30b0

• [pulse] substitute entire linear expressions

  Show description for eb37d2c
  

  jvillard

  authored and

  facebook-github-bot

  committed
  eb37d2c

  Copy full SHA for eb37d2c

• [pulse] normalize any linear atom

  Show description for 36af901
  

  jvillard

  authored and

  facebook-github-bot

  committed
  36af901

  Copy full SHA for 36af901

• [pulse] add a Linear variant to terms

  Show description for 69995ce
  

  jvillard

  authored and

  facebook-github-bot

  committed
  69995ce

  Copy full SHA for 69995ce

• [pulse] move LinArith before Term

  Show description for 45894a7
  

  jvillard

  authored and

  facebook-github-bot

  committed
  45894a7

  Copy full SHA for 45894a7

• [pulse] evaluate all constant expressions

  Show description for 1d56705
  

  jvillard

  authored and

  facebook-github-bot

  committed
  1d56705

  Copy full SHA for 1d56705

• [pulse][minor] moving some arithmetic stuff around

  Show description for bcba7c8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  bcba7c8

  Copy full SHA for bcba7c8

• [pulse] `delete nullptr` is a no-op

  Show description for 5278cb7
  

  jvillard

  authored and

  facebook-github-bot

  committed
  5278cb7

  Copy full SHA for 5278cb7

• [pulse] detect when atoms become linear arithmetic

  Show description for af64d5d
  

  jvillard

  authored and

  facebook-github-bot

  committed
  af64d5d

  Copy full SHA for af64d5d

Commits on Aug 19, 2020

• [build] fix build again

  Show description for 4803492
  

  jvillard

  authored and

  facebook-github-bot

  committed
  4803492

  Copy full SHA for 4803492

• [pulse] make unit tests more robust to adding more tests

  Show description for 3e7bf43
  

  jvillard

  authored and

  facebook-github-bot

  committed
  3e7bf43

  Copy full SHA for 3e7bf43

• [nullsafe] migrate 3rd-party methodes unit tests to ppx_expect

  Show description for 1825b37
  

  jvillard

  authored and

  facebook-github-bot

  committed
  1825b37

  Copy full SHA for 1825b37

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

  Show description for beca699
  

  jvillard

  authored and

  facebook-github-bot

  committed
  beca699

  Copy full SHA for beca699

Commits on Aug 18, 2020

• [pulse] change constants to be rationals

  Show description for 6fae5f6
  

  jvillard

  authored and

  facebook-github-bot

  committed
  6fae5f6

  Copy full SHA for 6fae5f6

• [build] do not output errors when pid_max does not exist

  Show description for fd16236
  

  jvillard

  authored and

  facebook-github-bot

  committed
  fd16236

  Copy full SHA for fd16236

• [build] fix "bad substitution" in shell

  Show description for 21e9b18
  

  jvillard

  authored and

  facebook-github-bot

  committed
  21e9b18

  Copy full SHA for 21e9b18

• [minor] fix doc comment in cTrans.ml

  Show description for 2caaa97
  

  jvillard

  authored and

  facebook-github-bot

  committed
  2caaa97

  Copy full SHA for 2caaa97

Commits on Aug 17, 2020

• [pulse] new new arithmetic

  Show description for 0433e95
  

  jvillard

  authored and

  facebook-github-bot

  committed
  0433e95

  Copy full SHA for 0433e95

Commits on Aug 13, 2020

• [pulse][formula] forget dead facts

  Show description for 7b743ce
  

  jvillard

  authored and

  facebook-github-bot

  committed
  7b743ce

  Copy full SHA for 7b743ce

• [pulse][formula] print readable variable names in unit tests

  Show description for bf40a91
  

  jvillard

  authored and

  facebook-github-bot

  committed
  bf40a91

  Copy full SHA for bf40a91

• [pulse][formula] improve printing

  Show description for 6f5b125
  

  jvillard

  authored and

  facebook-github-bot

  committed
  6f5b125

  Copy full SHA for 6f5b125

• [pulse][minor] name ~callee argument for readability

  Show description for 934a13a
  

  jvillard

  authored and

  facebook-github-bot

  committed
  934a13a

  Copy full SHA for 934a13a

• [pulse] a few more unit tests

  Show description for 62e8418
  

  jvillard

  authored and

  facebook-github-bot

  committed
  62e8418

  Copy full SHA for 62e8418

Pagination

Previous

Next