diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-11 05:49:50 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-11 05:49:50 +0200 |
| commit | 696d150a5ec5387e78b2aae941a77a190af58562 (patch) | |
| tree | 6cd2b8d840bc68291c1365ac781ece8a52515d1a /.gitignore | |
| parent | 7cc001e63990ae5e8cf2f75b5148093e31fbdc85 (diff) | |
| download | compcert-kvx-696d150a5ec5387e78b2aae941a77a190af58562.tar.gz compcert-kvx-696d150a5ec5387e78b2aae941a77a190af58562.zip | |
__builtin_k1_get and __builtin_k1_set with safeguards, work for clock
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions