edist
[cdsspec-compiler.git] / correctness-model / note.txt
1 2-phase: read (plan) write
2
3 redesign of data structures for HTM