diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 06:57:23 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 06:57:23 +0100 |
| commit | 38c676f5591b53f34eb96eb1772bb6165763263d (patch) | |
| tree | c0efafd8de25a1753ec71efa2cf263cd939b065f /Makefile | |
| parent | cea4f858490678f6cc1eeddec04f7ed5dc9f5c19 (diff) | |
| download | compcert-kvx-38c676f5591b53f34eb96eb1772bb6165763263d.tar.gz compcert-kvx-38c676f5591b53f34eb96eb1772bb6165763263d.zip | |
bitsliced-tea slightly more efficient with ternaries at some places
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions