Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 19, 2014

• web: Add my PhD thesis

  

  Austin Clements

  committed
  9a70f5f

  Copy full SHA for 9a70f5f

• web: Remove unused make dependency

  

  Austin Clements

  committed
  211aad3

  Copy full SHA for 211aad3

Commits on Jun 17, 2014

• Quick start script to download and build dependencies

  

  Austin Clements

  committed
  ff451e1

  Copy full SHA for ff451e1

Commits on May 10, 2014

• tools: Script to quickly summarize results

  aclements

  committed
  d0c5b1d

  Copy full SHA for d0c5b1d

• tools: Centralize POSIX call sorting

  Show description for d9cbbf8
  aclements

  committed
  d9cbbf8

  Copy full SHA for d9cbbf8

Commits on May 3, 2014

• viewer: Fall back to local copy of jQuery if Google CDN isn't available

  

  Austin Clements

  committed
  5370278

  Copy full SHA for 5370278

• viewer: Fix link to index.js

  Show description for cb7416f
  

  Austin Clements

  committed
  cb7416f

  Copy full SHA for cb7416f

Commits on Apr 21, 2014

• README: Point out what to do after generating mscan.out

  

  Austin Clements

  committed
  049c878

  Copy full SHA for 049c878

• viewer: Simplify and clarify usage in README

  

  Austin Clements

  committed
  061d36e

  Copy full SHA for 061d36e

Commits on Apr 18, 2014

• split-testgen: Generate at least one shard

  Show description for d291d9f
  

  Austin Clements

  committed
  d291d9f

  Copy full SHA for d291d9f

Commits on Mar 10, 2014

• simsym: Comment call stack unwinding code

  Show description for 87751c7
  

  Austin Clements

  committed
  87751c7

  Copy full SHA for 87751c7

• context: Accept Unicode in SVG.text

  

  Austin Clements

  committed
  0fce814

  Copy full SHA for 0fce814

Commits on Mar 6, 2014

• context: Move global SVG attributes from write_to to constructor

  Show description for 5287c92
  

  Austin Clements

  committed
  5287c92

  Copy full SHA for 5287c92

• context: TikZ text fill color

  

  Austin Clements

  committed
  2d74649

  Copy full SHA for 2d74649

• context: TikZ opacity

  

  Austin Clements

  committed
  9359be7

  Copy full SHA for 9359be7

• context: TikZ circles

  

  Austin Clements

  committed
  0b553cc

  Copy full SHA for 0b553cc

• context: Accept arbitrary global TikZ attributes

  

  Austin Clements

  committed
  a8c3b0c

  Copy full SHA for a8c3b0c

• context: Make TikZ units default to same size at SVG pixels

  

  Austin Clements

  committed
  f707462

  Copy full SHA for f707462

Commits on Jan 29, 2014

• Simplified rename model from SOSP '13 paper

  

  Austin Clements

  committed
  dd18903

  Copy full SHA for dd18903

Commits on Nov 6, 2013

• web: Link to PDOS papers copy of SOSP '13 paper

  

  Austin Clements

  committed
  aab37ed

  Copy full SHA for aab37ed

• web: Link to SOSP '13 slides

  

  Austin Clements

  committed
  e714958

  Copy full SHA for e714958

• web: Bibtex for SOSP '13 paper

  

  Austin Clements

  committed
  f99d1ad

  Copy full SHA for f99d1ad

Commits on Oct 27, 2013

• tools: Make tools a module so submodules can be imported

  

  Austin Clements

  committed
  6903cef

  Copy full SHA for 6903cef

• spec: Fix bug in equality isomorphism generation

  Show description for 51bac9d
  

  Austin Clements

  committed
  51bac9d

  Copy full SHA for 51bac9d

• simsym: Support more than two values to symeq

  

  Austin Clements

  committed
  1af5b8d

  Copy full SHA for 1af5b8d

• TASKS: Complain about monolithicness of spec

  

  Austin Clements

  committed
  48031f7

  Copy full SHA for 48031f7

• tools: RGBA color support

  

  Austin Clements

  committed
  114816a

  Copy full SHA for 114816a

• tools: Fill/stroke keywords for text

  

  Austin Clements

  committed
  b2350d4

  Copy full SHA for b2350d4

• tools: Support circles

  

  Austin Clements

  committed
  4260257

  Copy full SHA for 4260257

• simsym: Let the caller disable eager equality simplification

  Show description for ccc9f21
  

  Austin Clements

  committed
  ccc9f21

  Copy full SHA for ccc9f21

• spec: Terminate test more consistently

  Show description for ead4531
  

  Austin Clements

  committed
  ead4531

  Copy full SHA for ead4531

• graph: Add support for grouping nodes in ranks

  Show description for d9c6980
  

  Austin Clements

  committed
  d9c6980

  Copy full SHA for d9c6980

• simsym: Add generic graph abstraction; use for schedule graphs

  Show description for 10fb25e
  

  Austin Clements

  committed
  10fb25e

  Copy full SHA for 10fb25e

• spec: Record current call sequence as notes in the schedule

  

  Austin Clements

  committed
  8594e37

  Copy full SHA for 8594e37

• simsym: Support user-defined "note" schedule nodes

  

  Austin Clements

  committed
  b0f57ec

  Copy full SHA for b0f57ec

Pagination

Previous

Next