diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-28 12:56:10 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-28 12:56:10 +0100 |
commit | fa3dc1da271794a5143fe4bca50c656b70aba2de (patch) | |
tree | 0ae0c29c1a4e3db0d347ec654787566a9d0f99e5 /pg | |
parent | b753bcb6d10bb1bb68fa42eb5ca9eb7e7f848adf (diff) | |
download | compcert-kvx-fa3dc1da271794a5143fe4bca50c656b70aba2de.tar.gz compcert-kvx-fa3dc1da271794a5143fe4bca50c656b70aba2de.zip |
picosat now uses the same Makefile system as the rest
we are 27% slower than gcc
Diffstat (limited to 'pg')
0 files changed, 0 insertions, 0 deletions