Gilles Peskine 3e2da4acf2 Record the commits that were compared ... Record the commit ID in addition to the symbolic name of the version being tested. This makes it easier to figure out what has been compared when reading logs that don't always indicate explicitly what things like HEAD are. This makes the title of HTML reports somewhat verbose, but I think that's a small price to pay.		2019-07-04 19:06:54 +02:00
..
data_files	Merge remote-tracking branch 'origin/pr/2711' into development	2019-06-21 14:09:10 +01:00
abi_check.py	Record the commits that were compared	2019-07-04 19:06:54 +02:00
apidoc_full.sh
bump_version.sh	Add gen_query_config.pl to check-gen-files and bump_version	2019-02-07 10:37:39 +00:00
config.pl	config.pl: disable PSA_ITS_FILE and PSA_CRYPTO_STORAGE for baremetal	2019-05-23 03:01:35 -04:00
ecc-heap.sh
find-mem-leak.cocci
footprint.sh
generate_errors.pl	generate_errors.pl: refactor and simplify the code	2019-04-12 10:35:01 -04:00
generate_features.pl	revert changes to generate_features.pl and generate_query_config.pl	2019-04-12 09:43:04 -04:00
generate_query_config.pl	revert changes to generate_features.pl and generate_query_config.pl	2019-04-12 09:43:04 -04:00
generate_visualc_files.pl	Generating visualc files - let Mbed TLS take precedence over crypto	2019-05-23 03:01:35 -04:00
massif_max.pl	Use "#!/usr/bin/env perl" as shebang line.	2018-04-04 21:44:29 +00:00
memory.sh
output_env.sh	Merge branch 'development' into iotssl-1941-aria-ciphersuites	2018-05-22 15:58:50 +02:00
rename.pl	Use "#!/usr/bin/env perl" as shebang line.	2018-04-04 21:44:29 +00:00
rm-calloc-cast.cocci
tmp_ignore_makefiles.sh