aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/.gitignore
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-07-17 11:42:37 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-07-17 11:42:37 +0200
commit625a93fe5ec46c7de81594b89f8cca5dd83dafc5 (patch)
tree1f38583b82102c40c1c22c22ef58280d60e256b9 /test/monniaux/.gitignore
parent0f01d44c350ea0c9211c1d464d7e78518302ca2a (diff)
downloadcompcert-kvx-625a93fe5ec46c7de81594b89f8cca5dd83dafc5.tar.gz
compcert-kvx-625a93fe5ec46c7de81594b89f8cca5dd83dafc5.zip
bitsliced-tea
Diffstat (limited to 'test/monniaux/.gitignore')
-rw-r--r--test/monniaux/.gitignore20
1 files changed, 0 insertions, 20 deletions
diff --git a/test/monniaux/.gitignore b/test/monniaux/.gitignore
index 6da0fa8d..c06c2984 100644
--- a/test/monniaux/.gitignore
+++ b/test/monniaux/.gitignore
@@ -11,24 +11,4 @@ measure_times.k1c.pdf
/.mypy_cache/
-binary_search/Makefile
-bitsliced-aes/Makefile
-bitsliced-tea/Makefile
-complex/Makefile
-float_mat/Makefile
-glibc_qsort/Makefile
-heapsort/Makefile
-heptagon_radio_transmitter/Makefile
-idea/Makefile
-lustrev4_lustrec_heater_control/Makefile
-lustrev4_lv4_heater_control/Makefile
-lustrev4_lv6-en-2cgc_heater_control/Makefile
-lustrev6-convertible-en-2cgc/Makefile
mbedtls/mbedtls/
-number_theoretic_transform/Makefile
-quicksort/Makefile
-sha-2/Makefile
-tacle-bench-lift/Makefile
-tacle-bench-powerwindow/Makefile
-too_slow/Makefile
-xor_and_mat/Makefile