diff options
| author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-10-09 18:40:14 +0200 |
|---|---|---|
| committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-10-09 18:40:14 +0200 |
| commit | eb1f11a5be18a36783a44f6c0ddddc35b90cc90a (patch) | |
| tree | 756e0e1574a04e86e086a8a3fb0c2f91799d654f /config_arm.sh | |
| parent | 4ec946cad316f6dc4299e19246a86dcb70dce64c (diff) | |
| download | compcert-kvx-eb1f11a5be18a36783a44f6c0ddddc35b90cc90a.tar.gz compcert-kvx-eb1f11a5be18a36783a44f6c0ddddc35b90cc90a.zip | |
slight refactoring, in order to avoid a duplication of the proof.
Diffstat (limited to 'config_arm.sh')
0 files changed, 0 insertions, 0 deletions