Merge branch 'master' into feature/cil-builder
No related branches found
No related tags found
Showing
- .Makefile.lint 0 additions, 343 deletions.Makefile.lint
- .git-blame-ignore-revs 28 additions, 0 deletions.git-blame-ignore-revs
- .gitignore 12 additions, 3 deletions.gitignore
- .gitlab-ci.yml 28 additions, 0 deletions.gitlab-ci.yml
- .gitlab/issue_templates/bug_report.md 30 additions, 20 deletions.gitlab/issue_templates/bug_report.md
- ALL_VERSIONS 1 addition, 0 deletionsALL_VERSIONS
- Changelog 113 additions, 2 deletionsChangelog
- INSTALL.md 41 additions, 46 deletionsINSTALL.md
- LICENSE 8 additions, 0 deletionsLICENSE
- Makefile 69 additions, 69 deletionsMakefile
- Makefile.generating 26 additions, 26 deletionsMakefile.generating
- README.md 5 additions, 4 deletionsREADME.md
- VERSION 1 addition, 1 deletionVERSION
- VERSION_CODENAME 1 addition, 1 deletionVERSION_CODENAME
- bin/build-src-distrib.sh 728 additions, 250 deletionsbin/build-src-distrib.sh
- bin/check-reference-configuration.sh 6 additions, 17 deletionsbin/check-reference-configuration.sh
- bin/check_newline.sh 36 additions, 0 deletionsbin/check_newline.sh
- bin/frama-c 1 addition, 1 deletionbin/frama-c
- bin/frama-c-config 2 additions, 5 deletionsbin/frama-c-config
- bin/frama-c-gui 1 addition, 1 deletionbin/frama-c-gui
Loading
Please register or sign in to comment