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 |
