source: etc/campbell/dev-notes

Name Size Rev Age Author Last Change
../
2011-07-28-envs.patch 12.7 KB 2394   7 years campbell 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   7 years campbell 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   7 years campbell 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   7 years campbell I've kept the odd note on bits of CerCo? work I've been doing. James …
2011-09-23-runtime.txt 2.2 KB 2394   7 years campbell 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   7 years campbell 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   7 years campbell I've kept the odd note on bits of CerCo? work I've been doing. James …
2011-10-24-freshness.txt 739 bytes 2394   7 years campbell I've kept the odd note on bits of CerCo? work I've been doing. James …
2012-01-06-tracetermination.txt 999 bytes 2394   7 years campbell 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   7 years campbell 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   7 years campbell 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   7 years campbell 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   7 years campbell 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   7 years campbell I've kept the odd note on bits of CerCo? work I've been doing. James …
2012-02-17-nontermination.txt 1.4 KB 2394   7 years campbell 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   7 years campbell I've kept the odd note on bits of CerCo? work I've been doing. James …
2012-03-30-flattening.txt 1015 bytes 2394   7 years campbell I've kept the odd note on bits of CerCo? work I've been doing. James …
2012-04-04-flattening2.txt 970 bytes 2394   7 years campbell I've kept the odd note on bits of CerCo? work I've been doing. James …
2012-04-10-overall.txt 972 bytes 2394   7 years campbell 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   7 years campbell 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   7 years campbell 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   7 years campbell I've kept the odd note on bits of CerCo? work I've been doing. James …
2012-05-24-memory-coalese.txt 187 bytes 2394   7 years campbell 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   7 years campbell 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   7 years campbell 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   7 years campbell 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   7 years campbell I've kept the odd note on bits of CerCo? work I've been doing. James …
2012-08-03-cost-loop-breaking.txt 952 bytes 2394   7 years campbell 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   7 years campbell 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   7 years campbell 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   7 years campbell I've kept the odd note on bits of CerCo? work I've been doing. James …
2012-08-29-cost-label-bug.txt 7.1 KB 2394   7 years campbell 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   7 years campbell 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   7 years campbell 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   7 years campbell I've kept the odd note on bits of CerCo? work I've been doing. James …
2012-10-09-cost-labels-in-syntax.patch 114.7 KB 2394   7 years campbell 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   7 years campbell Misc notes.
2012-10-11-measurable-points-and-simulations.txt 1.8 KB 2394   7 years campbell 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   7 years campbell Misc notes.
2012-10-18-front-end-correctness.txt 1.2 KB 2434   7 years campbell Misc notes.
2012-10-30-stuttering-and-termination.txt 718 bytes 2434   7 years campbell Misc notes.
2012-10-31-clight-to-cminor.txt 4.4 KB 2482   7 years campbell Note about front-end simulations
2012-11-01-shadowed-function-names.txt 1.7 KB 2434   7 years campbell Misc notes.
2012-11-23-clight-cminor-callstate.pdf 38.2 KB 2485   7 years campbell Sketch of Clight/Cminor? callstate simulation
2012-11-26-top-level-front-end.txt 2.1 KB 2509   7 years campbell misc note
2013-01-09-measurable-preservation-sketch.pdf 54.7 KB 3672   3 years campbell I'd been keeping some notes in the repo; didn't commit these before
2013-01-14-expr-eval-order.txt 940 bytes 2580   7 years campbell Note on ptr + int vs int + ptr.
2013-01-28-measurable-init.txt 1.2 KB 3672   3 years campbell I'd been keeping some notes in the repo; didn't commit these before
2013-01-29-init-fn-call.txt 1.1 KB 3672   3 years campbell I'd been keeping some notes in the repo; didn't commit these before
2013-02-05-form-of-traces.txt 817 bytes 3672   3 years campbell I'd been keeping some notes in the repo; didn't commit these before
2013-02-14-fn-ids-in-semantics-for-stack-space.txt 2.0 KB 3672   3 years campbell I'd been keeping some notes in the repo; didn't commit these before
2013-02-19-single-source-step-simulations.txt 1.3 KB 2678   7 years campbell Switch to single source step simulations for front-end measurable …
2013-02-25-sim-relation-properties-in-femeasurable.txt 1.6 KB 2735   7 years campbell Note about loose end in FEMeasurable.
2013-02-27-linking-measurable-rtlabs-to-rest.txt 1.6 KB 3672   3 years campbell I'd been keeping some notes in the repo; didn't commit these before
2013-03-07-structured-traces-from-measurable.txt 955 bytes 3672   3 years campbell I'd been keeping some notes in the repo; didn't commit these before
2013-05-13-non-terminating.txt 375 bytes 3672   3 years campbell I'd been keeping some notes in the repo; didn't commit these before
README 477 bytes 2394   7 years campbell 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.