Commits

Branch selector

 master

User selector

rgrig

Datepicker

All time

Commit History

Commits on Jul 29, 2020

• [topl] Prepare cheap port to pulse.

  Show description for 9784ee0
  

  rgrig

  authored and

  facebook-github-bot

  committed
  9784ee0

  Copy full SHA for 9784ee0

Commits on Mar 4, 2020

• [topl] A test for comparing arguments.

  Show description for 0fc2769
  

  rgrig

  authored and

  facebook-github-bot

  committed
  0fc2769

  Copy full SHA for 0fc2769

Commits on Feb 26, 2020

• [topl] Switched to low-level syntax.

  Show description for 5a095ca
  

  rgrig

  authored and

  facebook-github-bot

  committed
  5a095ca

  Copy full SHA for 5a095ca

• [topl] Added tests for inefficient iteration

  Show description for 2888a90
  

  rgrig

  authored and

  facebook-github-bot

  committed
  2888a90

  Copy full SHA for 2888a90

Commits on Feb 12, 2020

• [topl] Added another small test, for BAOS.

  Show description for f8511c2
  

  rgrig

  authored and

  facebook-github-bot

  committed
  f8511c2

  Copy full SHA for f8511c2

• [topl] Minor: debug message more accurate.

  Show description for c2161f3
  

  rgrig

  authored and

  facebook-github-bot

  committed
  c2161f3

  Copy full SHA for c2161f3

Commits on Jan 22, 2020

• [topl] Added two (test) properties for ServletResponse.

  Show description for fe736f4
  

  rgrig

  authored and

  facebook-github-bot

  committed
  fe736f4

  Copy full SHA for fe736f4

• [topl] Added a test for ByteArrayOutputStream.

  Show description for 6e6a33c
  

  rgrig

  authored and

  facebook-github-bot

  committed
  6e6a33c

  Copy full SHA for 6e6a33c

Commits on Jan 15, 2020

• [topl] Added a test, for intraprocedural reasoning.

  Show description for bfdb379
  

  rgrig

  authored and

  facebook-github-bot

  committed
  bfdb379

  Copy full SHA for bfdb379

Commits on Dec 18, 2019

• [topl] Generate simpler monitor for deterministic states.

  Show description for 3554101
  

  rgrig

  authored and

  facebook-github-bot

  committed
  3554101

  Copy full SHA for 3554101

• [biabduction] Do not join postconditions after the footprint phase.

  Show description for c9699b9
  

  rgrig

  authored and

  facebook-github-bot

  committed
  c9699b9

  Copy full SHA for c9699b9

• [topl] Minor comment improvement.

  Show description for 6178d06
  

  rgrig

  authored and

  facebook-github-bot

  committed
  6178d06

  Copy full SHA for 6178d06

• [topl] Print debugging output on -g.

  Show description for 4f362ba
  

  rgrig

  authored and

  facebook-github-bot

  committed
  4f362ba

  Copy full SHA for 4f362ba

• [topl] Bugfix in matching constructor names.

  Show description for 3e9d1bf
  

  rgrig

  authored and

  facebook-github-bot

  committed
  3e9d1bf

  Copy full SHA for 3e9d1bf

• [biabduction] Simplify postconditions after re-execution.

  Show description for 7bfef21
  

  rgrig

  authored and

  facebook-github-bot

  committed
  7bfef21

  Copy full SHA for 7bfef21

Commits on Dec 17, 2019

• [topl] More biabduction-friendly monitor.

  Show description for 4654424
  

  rgrig

  authored and

  facebook-github-bot

  committed
  4654424

  Copy full SHA for 4654424

• [topl] Optimize code instrumentation.

  Show description for b70a0f0
  

  rgrig

  authored and

  facebook-github-bot

  committed
  b70a0f0

  Copy full SHA for b70a0f0

• [topl] Get number of arguments from property.

  Show description for cbb71c6
  

  rgrig

  authored and

  facebook-github-bot

  committed
  cbb71c6

  Copy full SHA for cbb71c6

• [topl] Support side conditions for transitions.

  Show description for 91ebfe9
  

  rgrig

  authored and

  facebook-github-bot

  committed
  91ebfe9

  Copy full SHA for 91ebfe9

Commits on Jun 26, 2019

• [topl] Avoid side-effects when Topl is inactive.

  Show description for 4ce3ff9
  

  rgrig

  authored and

  facebook-github-bot

  committed
  4ce3ff9

  Copy full SHA for 4ce3ff9

• Biabduction prover now logs inconsistency reason.

  Show description for a6edb94
  

  rgrig

  authored and

  facebook-github-bot

  committed
  a6edb94

  Copy full SHA for a6edb94

Commits on Jun 22, 2019

• [topl] tiny fixes to tracing output

  Show description for 3de7aca
  

  rgrig

  authored and

  facebook-github-bot

  committed
  3de7aca

  Copy full SHA for 3de7aca

Commits on Jun 21, 2019

• [topl] Simple error reporting.

  Show description for 10d87ee
  

  rgrig

  authored and

  facebook-github-bot

  committed
  10d87ee

  Copy full SHA for 10d87ee

• Assert that there is at most one flowgraph per procedure name.

  Show description for 384b3c5
  

  rgrig

  authored and

  facebook-github-bot

  committed
  384b3c5

  Copy full SHA for 384b3c5

Commits on Jun 10, 2019

• [topl] Generate monitor.

  Show description for d86e2f0
  

  rgrig

  authored and

  facebook-github-bot

  committed
  d86e2f0

  Copy full SHA for d86e2f0

Commits on Jun 7, 2019

• [topl] Instrument SIL.

  Show description for 047c64c
  

  rgrig

  authored and

  facebook-github-bot

  committed
  047c64c

  Copy full SHA for 047c64c

Commits on Jun 5, 2019

• When writing debug HTML, don't crash on procs with empty bodies.

  Show description for 16431f5
  

  rgrig

  authored and

  facebook-github-bot

  committed
  16431f5

  Copy full SHA for 16431f5

Commits on May 28, 2019

• Fixed typos in comments.

  Show description for 3cf774a
  

  rgrig

  authored and

  facebook-github-bot

  committed
  3cf774a

  Copy full SHA for 3cf774a

Commits on Apr 24, 2019

• [topl] Synthesize trivial procedures.

  Show description for 86aae0b
  

  rgrig

  authored and

  facebook-github-bot

  committed
  86aae0b

  Copy full SHA for 86aae0b

Commits on Apr 11, 2019

• [infer][PR] Don't join postconditions. Fixes facebook#678.

  Show description for 3448897
  

  rgrig

  authored and

  facebook-github-bot

  committed
  3448897

  Copy full SHA for 3448897

Commits on Mar 23, 2019

• [topl] Parser for temporal properties

  Show description for 8bf6508
  

  rgrig

  authored and

  facebook-github-bot

  committed
  8bf6508

  Copy full SHA for 8bf6508

Commits on Mar 14, 2019

• Fresh footprint variables in added frame.

  Show description for e226cf8
  

  rgrig

  authored and

  facebook-github-bot

  committed
  e226cf8

  Copy full SHA for e226cf8

Commits on Mar 9, 2019

• Slightly more precise pi_partial_meet

  Show description for 8686149
  

  rgrig

  authored and

  facebook-github-bot

  committed
  8686149

  Copy full SHA for 8686149

Commits on Jan 12, 2018

• [infer][PR] Fixed namespace for Java globals.

  Show description for eb91d59
  

  rgrig

  authored and

  facebook-github-bot

  committed
  eb91d59

  Copy full SHA for eb91d59

Commits on Jul 27, 2017

• [infer][PR] Flush output after printing bugs in txt format.

  Show description for e52b3f2
  

  rgrig

  authored and

  facebook-github-bot

  committed
  e52b3f2

  Copy full SHA for e52b3f2

Pagination

Previous

Next