diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-05-20 18:34:46 +0200 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-05-20 18:34:46 +0200 |
commit | d858606e8400e6aab627f4aac5ec33ce9c2c80fe (patch) | |
tree | bcf193357cdaf9ee6a09fe36a4c9a0cb042c617a /scheduling/BTLroadmap.md | |
parent | 8dc70c68f241e1397f2c65981202742fb0ff75a3 (diff) | |
download | compcert-kvx-d858606e8400e6aab627f4aac5ec33ce9c2c80fe.tar.gz compcert-kvx-d858606e8400e6aab627f4aac5ec33ce9c2c80fe.zip |
defines fsem (aka functional semantics) of BTL
Diffstat (limited to 'scheduling/BTLroadmap.md')
0 files changed, 0 insertions, 0 deletions