[cdsspec-compiler.git] / correctness-model / note.txt

2-phase: read (plan) write

redesign of data structures for HTM