diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-22 11:43:45 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-22 11:43:45 +0200 |
commit | a4e86b9131f39648e6e54f2ae5c498be0c2e5f41 (patch) | |
tree | e43fca517f6c0bea49e6c3149171b011a54e788f /driver/Driver.ml | |
parent | e7ce7b5c9cf0d03c8ffdde8fe433e586142821a6 (diff) | |
download | compcert-kvx-a4e86b9131f39648e6e54f2ae5c498be0c2e5f41.tar.gz compcert-kvx-a4e86b9131f39648e6e54f2ae5c498be0c2e5f41.zip |
use cbn not simpl
Diffstat (limited to 'driver/Driver.ml')
0 files changed, 0 insertions, 0 deletions