Commits

Branch selector

 main

User selector

jvillard

Datepicker

All time

Commit History

Commits on Nov 24, 2021

• [make] add a way to speed up successive "make doc-publish"

  Show description for ffb20e1
  

  jvillard

  authored and

  facebook-github-bot

  committed
  ffb20e1

• [website] better doc for CONSTANT_ADDRESS_DEREFERENCE

  Show description for c4a358f
  

  jvillard

  authored and

  facebook-github-bot

  committed
  c4a358f

• [website] make doc-publish

  Show description for cfae877
  

  jvillard

  authored and

  facebook-github-bot

  committed
  cfae877

Commits on Nov 17, 2021

• [pulse] preserve restricted variables across function calls

  Show description for b60d5ff
  

  jvillard

  authored and

  facebook-github-bot

  committed
  b60d5ff

Commits on Nov 16, 2021

• [pulse] model assert

  Show description for b5c9f6c
  

  jvillard

  authored and

  facebook-github-bot

  committed
  b5c9f6c

• [pulse] remove non-disj part from summaries

  Show description for b5c7396
  

  jvillard

  authored and

  facebook-github-bot

  committed
  b5c7396

• [pulse] add PulseNonDisjunctiveDomain.mli

  Show description for 40ae876
  

  jvillard

  authored and

  facebook-github-bot

  committed
  40ae876

Commits on Nov 5, 2021

• [pulse] a simplex-based algorithm for arithmetic inequalities

  Show description for 3996727
  

  jvillard

  authored and

  facebook-github-bot

  committed
  3996727

• [pulse] detect contradictions on non-integer integer values

  Show description for 23e84ff
  

  jvillard

  authored and

  facebook-github-bot

  committed
  23e84ff

• [pulse] fix integer division semantics

  Show description for 8427c1b
  

  jvillard

  authored and

  facebook-github-bot

  committed
  8427c1b

Commits on Nov 4, 2021

• [make] convenience target run-cmd

  Show description for 44458de
  

  jvillard

  authored and

  facebook-github-bot

  committed
  44458de

• [make] separate dune build @runtest from dune build @fmt

  Show description for ee499cf
  

  jvillard

  authored and

  facebook-github-bot

  committed
  ee499cf

• [opam] upgrade dependencies

  Show description for 09a1012
  

  jvillard

  authored and

  facebook-github-bot

  committed
  09a1012

Commits on Nov 2, 2021

• [dune] avoid using inline_tests to be able to specify link flags

  Show description for 6850305
  

  jvillard

  authored and

  facebook-github-bot

  committed
  6850305

Commits on Oct 26, 2021

• [pulse] add conditional tracing to calls and models

  Show description for 5b80cb8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  5b80cb8

• [pulse] trace if conditions

  Show description for debc1ec
  

  jvillard

  authored and

  facebook-github-bot

  committed
  debc1ec

• [pulse] always pick invalidation from Invalid attribute

  Show description for df2ef28
  

  jvillard

  authored and

  facebook-github-bot

  committed
  df2ef28

• [pulse] add branching histories

  Show description for b19267e
  

  jvillard

  authored and

  facebook-github-bot

  committed
  b19267e

• [pulse] convert histories to custom datatype (for later extension)

  Show description for 2c89874
  

  jvillard

  authored and

  facebook-github-bot

  committed
  2c89874

• [pulse] fix issue in return value history

  Show description for 1c02679
  

  jvillard

  authored and

  facebook-github-bot

  committed
  1c02679

• [pulse] manage path contexts (no use yet)

  Show description for 70c193d
  

  jvillard

  authored and

  facebook-github-bot

  committed
  70c193d

• [pulse] refactor to make exec_instr_aux return the new path

  Show description for 5793d58
  

  jvillard

  authored and

  facebook-github-bot

  committed
  5793d58

• [clang] delimit which instructions are under the scope of conditionals

  Show description for 81a2460
  

  jvillard

  authored and

  facebook-github-bot

  committed
  81a2460

• [pulse] add timestamp component to each event

  Show description for 8566003
  

  jvillard

  authored and

  facebook-github-bot

  committed
  8566003

Commits on Oct 14, 2021

• update documentation of ARBITRARY_CODE_EXECUTION_UNDER_LOCK

  Show description for 4f05856
  

  jvillard

  authored and

  facebook-github-bot

  committed
  4f05856

• update website

  Show description for ca617fc
  

  jvillard

  authored and

  facebook-github-bot

  committed
  ca617fc

Commits on Oct 13, 2021

• [pulse] add models

  Show description for ab99bb8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  ab99bb8

• [pulse] improve treatment of unknown functions

  Show description for df0d3bb
  

  jvillard

  authored and

  facebook-github-bot

  committed
  df0d3bb

Commits on Sep 23, 2021

• [github] badges for the github actions

  Show description for e0ff83e
  

  jvillard

  authored and

  facebook-github-bot

  committed
  e0ff83e

Commits on Sep 22, 2021

• [website] fix broken link

  Show description for d9a99a8
  

  jvillard

  authored and

  facebook-github-bot

  committed
  d9a99a8

• rename master branch to main on GitHub

  Show description for a3bc7e0
  

  jvillard

  authored and

  facebook-github-bot

  committed
  a3bc7e0

• [pulse] print errors in html

  Show description for 5dd437c
  

  jvillard

  authored and

  facebook-github-bot

  committed
  5dd437c

• [clang] skip no-op calls to empty implicit destructors

  Show description for ca0dd8e
  

  jvillard

  authored and

  facebook-github-bot

  committed
  ca0dd8e

• [html] some elements needed more escaping

  Show description for 86ab3e4
  

  jvillard

  authored and

  facebook-github-bot

  committed
  86ab3e4

Commits on Sep 20, 2021

• [istd] add RecencyMap.mapi

  Show description for f1837b4
  

  jvillard

  authored and

  facebook-github-bot

  committed
  f1837b4

Pagination

PreviousNext