Commits

Branch selector

 main

User selector

jberdine

Datepicker

All time

Commit History

Commits on Nov 19, 2021

• [sledge] Allow timeout to be passed to thread_join

  Show description for a4f3303
  

  jberdine

  authored and

  facebook-github-bot

  committed
  a4f3303

• [sledge] Allow name to be passed to thread_create

  Show description for 7f2f06c
  

  jberdine

  authored and

  facebook-github-bot

  committed
  7f2f06c

• [sledge] Move thread api over intrinsics to separate file

  Show description for 2c7a4b7
  

  jberdine

  authored and

  facebook-github-bot

  committed
  2c7a4b7

• [sledge] Create threads suspended, use thread_resume to start them

  Show description for 6c46221
  

  jberdine

  authored and

  facebook-github-bot

  committed
  6c46221

• [sledge] Add support for returning a result from thread_join

  Show description for 3e1f8e3
  

  jberdine

  authored and

  facebook-github-bot

  committed
  3e1f8e3

• [sledge] Add support for passing an arg through thread_create

  Show description for 799d85d
  

  jberdine

  authored and

  facebook-github-bot

  committed
  799d85d

• [sledge] Add basic circular queue test

  Show description for 78293f8
  

  jberdine

  authored and

  facebook-github-bot

  committed
  78293f8

• [sledge] Add missing inconsistent case in Theory.solve_poly

  Show description for 83d2613
  

  jberdine

  authored and

  facebook-github-bot

  committed
  83d2613

• [sledge] Fix corner-case variable clash bug in existential freshening

  Show description for 9c56a18
  

  jberdine

  authored and

  facebook-github-bot

  committed
  9c56a18

• [sledge] Format as part of continuous testing

  Show description for e6e4473
  

  jberdine

  authored and

  facebook-github-bot

  committed
  e6e4473

• [sledge] Update .clang-format

  Show description for d782aa1
  

  jberdine

  authored and

  facebook-github-bot

  committed
  d782aa1

• [sledge] Compat with Containers 3.6

  Show description for dca2a9e
  

  jberdine

  authored and

  facebook-github-bot

  committed
  dca2a9e

Commits on Oct 27, 2021

• [sledge] Strengthen canonization of Extract terms

  Show description for 31cd9c1
  

  jberdine

  authored and

  facebook-github-bot

  committed
  31cd9c1

Commits on Oct 26, 2021

• [sledge] Fix excessive existential sinking in Sh.simplify

  Show description for 13ebce5
  

  jberdine

  authored and

  facebook-github-bot

  committed
  13ebce5

• [sledge] Remove incorrect assertion

  Show description for a1cab4a
  

  jberdine

  authored and

  facebook-github-bot

  committed
  a1cab4a

• [sledge] Fix incorrect assumption on Arith.solve_zero_eq

  Show description for ef60569
  

  jberdine

  authored and

  facebook-github-bot

  committed
  ef60569

• [sledge] Eliminate Sized term form

  Show description for 01d169c
  

  jberdine

  authored and

  facebook-github-bot

  committed
  01d169c

• [sledge] Factor out some commonality between realloc specs

  Show description for 8950c43
  

  jberdine

  authored and

  facebook-github-bot

  committed
  8950c43

• [sledge] Fix treatment of quantifier scopes in Context.interN

  Show description for 928a783
  

  jberdine

  authored and

  facebook-github-bot

  committed
  928a783

• [sledge] Simplify and slightly optimize with Sh.andN

  Show description for c3d2e81
  

  jberdine

  authored and

  facebook-github-bot

  committed
  c3d2e81

• [sledge] Add NS.map4

  Show description for 5998a71
  

  jberdine

  authored and

  facebook-github-bot

  committed
  5998a71

• [sledge] Add Array.to_list_rev

  Show description for 895b186
  

  jberdine

  authored and

  facebook-github-bot

  committed
  895b186

• [sledge] Simplify and optimize exec of memmov

  Show description for d672073
  

  jberdine

  authored and

  facebook-github-bot

  committed
  d672073

Commits on Oct 20, 2021

• [sledge] Optimize Sh.and_ when conjoining redundant formula

  Show description for 191adc4
  

  jberdine

  authored and

  facebook-github-bot

  committed
  191adc4

• [sledge] Fix scoping issue for existentials created during equality propagation

  Show description for 66c5c45
  

  jberdine

  authored and

  facebook-github-bot

  committed
  66c5c45

• [sledge] Add dump-and-replay debugging for Sh.simplify queries

  Show description for 3cbfaea
  

  jberdine

  authored and

  facebook-github-bot

  committed
  3cbfaea

• [sledge] Remember edges in scheduler successor computation

  Show description for 156a780
  

  jberdine

  authored and

  facebook-github-bot

  committed
  156a780

Commits on Oct 14, 2021

• [sledge] Use LLVM pass manager builder instead of manual pass list

  Show description for b5896bf
  

  jberdine

  authored and

  facebook-github-bot

  committed
  b5896bf

• [sledge][test] Sort tests by decreasing runtime in perf mode

  Show description for 6ce4148
  

  jberdine

  authored and

  facebook-github-bot

  committed
  6ce4148

• [sledge] Strengthen symbolic execution of assume

  Show description for d065917
  

  jberdine

  authored and

  facebook-github-bot

  committed
  d065917

• [sledge] Add option to dump transformed bitcode to file

  Show description for 7f88504
  

  jberdine

  authored and

  facebook-github-bot

  committed
  7f88504

• [sledge] Add plain C Treiber stack test

  Show description for 04a51cd
  

  jberdine

  authored and

  facebook-github-bot

  committed
  04a51cd

• [sledge] Update test args for concurrency analysis

  Show description for 1369d9a
  

  jberdine

  authored and

  facebook-github-bot

  committed
  1369d9a

• [sledge] Add direct support for atomic instructions

  Show description for 91d2bae
  

  jberdine

  authored and

  facebook-github-bot

  committed
  91d2bae

• [sledge][llvm] Add getter for BinOp of AtomicRWM instructions

  Show description for cf18703
  

  jberdine

  authored and

  facebook-github-bot

  committed
  cf18703

Pagination

PreviousNext