Commit 1ea7b089 authored by Sylvain Boulmé's avatar Sylvain Boulmé
Browse files

remove broken links

parent e52fdf43
......@@ -19,7 +19,7 @@ the [user's manual](https://compcert.org/man/).
## Verimag version for IntrinSec target
This is an experimental version of CompCert for the IntrinSec target.
See also explanations in our [PriSC paper](https://popl22.sigplan.org/details/prisc-2022-papers/8/A-CompCert-backend-with-symbolic-encryption). The two experimental extensions of our backend described in this paper are in branch [`intrinsec_reset`](-/tree/intrinsec_reset) and in branch [`abstract_cfi`](-/tree/abstract_cfi).
See also explanations in our [PriSC paper](https://popl22.sigplan.org/details/prisc-2022-papers/8/A-CompCert-backend-with-symbolic-encryption). The two experimental extensions of our backend described in this paper are in branch `intrinsec_reset` and in branch `abstract_cfi`.
The people responsible for this version are
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment