https://github.com/ianj/concrete-summaries
Tip revision: 2be8622f2c79734f6c0060013b56807ab83992fe authored by J. Ian Johnson on 27 March 2014, 22:30:28 UTC
Fixed incorrect comment about big-cfa2
Fixed incorrect comment about big-cfa2
Tip revision: 2be8622
File | Mode | Size |
---|---|---|
pfsteps | ||
.gitignore | -rw-r--r-- | 63 bytes |
ListSetFacts.v | -rw-r--r-- | 19.6 KB |
Makefile | -rw-r--r-- | 2.0 KB |
abstract.tex | -rw-r--r-- | 691 bytes |
balance.v | -rw-r--r-- | 14.3 KB |
basic.v | -rw-r--r-- | 3.5 KB |
calloc.pdf | -rw-r--r-- | 8.1 KB |
cfa2.rkt | -rw-r--r-- | 9.4 KB |
chicago.bst | -rw-r--r-- | 36.5 KB |
codes.rkt | -rw-r--r-- | 10.1 KB |
content.tex | -rw-r--r-- | 80.2 KB |
example0.pdf | -rw-r--r-- | 8.5 KB |
example1.pdf | -rw-r--r-- | 9.4 KB |
example2.pdf | -rw-r--r-- | 9.8 KB |
example3.pdf | -rw-r--r-- | 9.9 KB |
extras.v | -rw-r--r-- | 24.4 KB |
fmaplist.v | -rw-r--r-- | 9.8 KB |
gluck.rkt | -rw-r--r-- | 1.7 KB |
impl.pdf | -rw-r--r-- | 16.9 KB |
joins.v | -rw-r--r-- | 23.5 KB |
llncs.cls | -rw-r--r-- | 41.8 KB |
local-macros.tex | -rw-r--r-- | 6.1 KB |
local.bib | -rw-r--r-- | 5.1 KB |
malloc.pdf | -rw-r--r-- | 6.5 KB |
metatheory.tex | -rw-r--r-- | 19.5 KB |
model.v | -rw-r--r-- | 144.4 KB |
paperlncs.tex | -rw-r--r-- | 1.7 KB |
papersigplan.tex | -rw-r--r-- | 1.1 KB |
pdcfa.rkt | -rw-r--r-- | 6.6 KB |
pdcfa.v | -rw-r--r-- | 51.9 KB |
preamble.tex | -rw-r--r-- | 954 bytes |
proofs.tex | -rw-r--r-- | 7.1 KB |
reduction.v | -rw-r--r-- | 9.3 KB |
shift-reset.rkt | -rw-r--r-- | 16.0 KB |
splncsnat.bst | -rw-r--r-- | 30.4 KB |
stutter.v | -rw-r--r-- | 10.7 KB |
supplemental.tex | -rw-r--r-- | 8.1 KB |