diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-05-21 12:59:34 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-05-26 18:48:06 +0200 |
| commit | fba46e12821fb389a5728c2d478509c7faa5477c (patch) | |
| tree | d34084877068e380f875d5a7134c683c6c8f2158 /doc | |
| parent | bc67de2b1275ba5e6f9e2259f559808533a8649f (diff) | |
| download | compcert-fba46e12821fb389a5728c2d478509c7faa5477c.tar.gz compcert-fba46e12821fb389a5728c2d478509c7faa5477c.zip | |
New forward simulation diagrams for determinate source languages
Determinacy makes it possible to take multiple steps on the source side.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions