diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 14:27:32 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 14:27:32 +0200 |
| commit | 5ff1a009561973e65437edadd752f627c12c1a29 (patch) | |
| tree | 018b292d946990ebb9f36ed21d59ccfe0d7e6b25 /test/monniaux/ternary | |
| parent | 515fbe8f873d9dd1b246b0dab7531103b1b59cf6 (diff) | |
| download | compcert-kvx-5ff1a009561973e65437edadd752f627c12c1a29.tar.gz compcert-kvx-5ff1a009561973e65437edadd752f627c12c1a29.zip | |
itemize the proof (better for debugging)
Diffstat (limited to 'test/monniaux/ternary')
0 files changed, 0 insertions, 0 deletions