diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-10-06 17:25:38 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-10-06 17:25:38 +0100 |
| commit | 8ee4a2110f97972366bd3bbf839a50e7fb255487 (patch) | |
| tree | 520f10d31c21205bea9988d44afec49762760478 /lib/CompCert | |
| parent | 129e453f98999209c9d7c8df1604f3ede04499ce (diff) | |
| download | vericert-8ee4a2110f97972366bd3bbf839a50e7fb255487.tar.gz vericert-8ee4a2110f97972366bd3bbf839a50e7fb255487.zip | |
Add long and bool support to value
Diffstat (limited to 'lib/CompCert')
0 files changed, 0 insertions, 0 deletions