diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 18:30:07 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-29 18:30:07 +0100 |
| commit | c0558ea2fd66679eeca136b41c4378ebebb9b3a0 (patch) | |
| tree | 431a83c802add339dd55efa1c2c491cdfefaa60e /test/monniaux/picosat-965/picosat.c | |
| parent | f72f1e1bdee98a2fecffd2d0a4beb5e70b650ab0 (diff) | |
| download | compcert-kvx-c0558ea2fd66679eeca136b41c4378ebebb9b3a0.tar.gz compcert-kvx-c0558ea2fd66679eeca136b41c4378ebebb9b3a0.zip | |
use C99 mode
Diffstat (limited to 'test/monniaux/picosat-965/picosat.c')
0 files changed, 0 insertions, 0 deletions