source:
etc/campbell/dev-notes
@
2649
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| 2012-05-24-memory-coalese.txt | 187 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2011-10-18-rtlabs-typing-cont | 372 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| README | 477 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-09-12-pointer-off-the-end.txt | 488 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-04-26-label-sim.txt | 612 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-02-06-RTLabs-as-after-return.txt | 631 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-10-30-stuttering-and-termination.txt | 718 bytes | 2434 | 8 years | Misc notes. | |
| 2011-10-24-freshness.txt | 739 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-08-15-unsigned-offsets.txt | 799 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-02-16-labels-present.txt | 860 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2013-01-14-expr-eval-order.txt | 940 bytes | 2580 | 8 years | Note on ptr + int vs int + ptr. | |
| 2012-08-03-cost-loop-breaking.txt | 952 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-01-11-non-terminating-traces.txt | 956 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-04-04-flattening2.txt | 970 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-04-10-overall.txt | 972 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-01-06-tracetermination.txt | 999 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-03-30-flattening.txt | 1015 bytes | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2011-08-25-cminor-labels.txt | 1.0 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-01-19-non-terminating-traces.txt | 1.1 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-07-10-reducing-memory-spaces.txt | 1.1 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-09-10-clight-labelled-states.txt | 1.2 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-01-27-tailcalls-in-structured-traces.txt | 1.2 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-10-15-instrumenting-semantics.txt | 1.2 KB | 2434 | 8 years | Misc notes. | |
| 2012-10-18-front-end-correctness.txt | 1.2 KB | 2434 | 8 years | Misc notes. | |
| 2012-02-17-nontermination.txt | 1.4 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2011-09-06-light-to-minor-tmp.txt | 1.4 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-05-02-label-switch.txt | 1.5 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-06-29-cost-label-uniqueness.txt | 1.5 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-08-08-toolstick.txt | 1.6 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-03-22-finite-memory.txt | 1.6 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-10-10-pointer-off-the-end.txt | 1.6 KB | 2434 | 8 years | Misc notes. | |
| 2012-11-01-shadowed-function-names.txt | 1.7 KB | 2434 | 8 years | Misc notes. | |
| 2012-10-11-measurable-points-and-simulations.txt | 1.8 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-05-30-function-ids-for-rtlabs-traces.txt | 2.0 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-07-03-switch-costs.txt | 2.0 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-11-26-top-level-front-end.txt | 2.1 KB | 2509 | 8 years | misc note | |
| 2011-09-23-runtime.txt | 2.2 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2011-07-28-envs.txt | 2.2 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2011-10-12-rtlabs-typing.txt | 2.4 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-09-18-goto-label-skips.txt | 2.4 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-05-10-globalenvs-transformations.txt | 3.0 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-08-22-cost-label-checking.txt | 3.7 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-10-31-clight-to-cminor.txt | 4.4 KB | 2482 | 8 years | Note about front-end simulations | |
| 2012-08-29-cost-label-bug.txt | 7.1 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2011-07-28-envs.patch | 12.7 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
| 2012-11-23-clight-cminor-callstate.pdf | 38.2 KB | 2485 | 8 years | Sketch of Clight/Cminor? callstate simulation | |
| 2012-10-09-cost-labels-in-syntax.patch | 114.7 KB | 2394 | 8 years | I've kept the odd note on bits of CerCo? work I've been doing. James … | |
Note: See TracBrowser
for help on using the repository browser.
