diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 15:16:17 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 15:16:17 +0100 |
| commit | 99e5f103393d554b0d2725303682a35d343a09b6 (patch) | |
| tree | 45627b7e157b6a07146fcd722a5464c7ebb29937 | |
| parent | ac6e6181c48b0e21219c1ea57e30fa8d3c3f1714 (diff) | |
| download | compcert-kvx-99e5f103393d554b0d2725303682a35d343a09b6.tar.gz compcert-kvx-99e5f103393d554b0d2725303682a35d343a09b6.zip | |
moved to subdirectory
| -rw-r--r-- | test/monniaux/mod_int_mat/Makefile (renamed from test/monniaux/Makefile) | 2 | ||||
| -rw-r--r-- | test/monniaux/mod_int_mat/int_mat.c (renamed from test/monniaux/int_mat.c) | 0 | ||||
| -rw-r--r-- | test/monniaux/mod_int_mat/int_mat_run.c (renamed from test/monniaux/int_mat_run.c) | 0 | ||||
| -rw-r--r-- | test/monniaux/mod_int_mat/modint.h (renamed from test/monniaux/modint.h) | 0 |
4 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/Makefile b/test/monniaux/mod_int_mat/Makefile index aa559699..be534653 100644 --- a/test/monniaux/Makefile +++ b/test/monniaux/mod_int_mat/Makefile @@ -1,6 +1,6 @@ CFLAGS=-Wall -O3 K1C_CC=k1-mbr-gcc -K1C_CFLAGS=-Wall -O2 -std=c99 +K1C_CFLAGS=-Wall -O3 -std=c99 K1C_CCOMP=../../ccomp K1C_CCOMPFLAGS=-Wall -O3 -D__thread= -D__int128=int diff --git a/test/monniaux/int_mat.c b/test/monniaux/mod_int_mat/int_mat.c index d3e14e26..d3e14e26 100644 --- a/test/monniaux/int_mat.c +++ b/test/monniaux/mod_int_mat/int_mat.c diff --git a/test/monniaux/int_mat_run.c b/test/monniaux/mod_int_mat/int_mat_run.c index 9d5c0c57..9d5c0c57 100644 --- a/test/monniaux/int_mat_run.c +++ b/test/monniaux/mod_int_mat/int_mat_run.c diff --git a/test/monniaux/modint.h b/test/monniaux/mod_int_mat/modint.h index 5295258b..5295258b 100644 --- a/test/monniaux/modint.h +++ b/test/monniaux/mod_int_mat/modint.h |