diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-06-12 12:05:13 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-06-12 12:05:13 +0100 |
| commit | 3e1add3e13c85b30afa0a32c036dc26f7ab2fafa (patch) | |
| tree | 322bb6f37e47e4536cf743b18be98d2b3030ff04 /benchmarks/getTanh | |
| parent | 1ae7c94199862f48eaf37f2f66f130bde215b9e0 (diff) | |
| download | vericert-3e1add3e13c85b30afa0a32c036dc26f7ab2fafa.tar.gz vericert-3e1add3e13c85b30afa0a32c036dc26f7ab2fafa.zip | |
Update compcert to always inline functions
Diffstat (limited to 'benchmarks/getTanh')
0 files changed, 0 insertions, 0 deletions