diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-05-11 11:00:47 +0200 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-05-11 11:00:47 +0200 |
commit | 473c17f114f44756c3803c026266417dfe92c242 (patch) | |
tree | 26088d0a1c9e52c6a32a1409ddc282f46233d1ab /scheduling/BTLroadmap.md | |
parent | 054e097f72c45a89d13af1759e5464561d59ea71 (diff) | |
download | compcert-kvx-473c17f114f44756c3803c026266417dfe92c242.tar.gz compcert-kvx-473c17f114f44756c3803c026266417dfe92c242.zip |
pointeur Justus -> roadmap
Diffstat (limited to 'scheduling/BTLroadmap.md')
-rw-r--r-- | scheduling/BTLroadmap.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scheduling/BTLroadmap.md b/scheduling/BTLroadmap.md index 05dcb95e..2f630a72 100644 --- a/scheduling/BTLroadmap.md +++ b/scheduling/BTLroadmap.md @@ -307,6 +307,6 @@ This should enable to represent SSA-forms in BTL IR, more or less like in MLIR. ## Alias analysis in the symbolic simulation -... +A REGARDER [papier pointé par Justus](https://vbpf.github.io/assets/prevail-paper.pdf) |