.jenkins
|
Add Jenkinsfile for PR job
|
2018-10-19 15:25:10 +01:00 |
data_files
|
Merge branch 'mbedtls-2.16' into baremetal
|
2019-06-18 09:00:37 +01:00 |
git-scripts
|
Add doxygen.sh script to git hooks
|
2018-06-27 17:41:00 +03:00 |
suites
|
Enforce NULL context for hardcoded RNG
|
2019-08-12 17:05:03 +01:00 |
.gitignore
|
Move some ignore patterns to subdirectories
|
2015-01-28 15:33:23 +00:00 |
compat.sh
|
tests: Limit each log to 10 GiB
|
2019-07-10 08:51:56 +01:00 |
Makefile
|
Clean generated *.su file and gitignore them
|
2019-07-30 16:56:58 +02:00 |