Merge branch 'master' into feature/wp/stmt-compiler
Showing
- .gitattributes 1 addition, 0 deletions.gitattributes
- .gitignore 1 addition, 3 deletions.gitignore
- .gitlab-ci.yml 87 additions, 24 deletions.gitlab-ci.yml
- ALL_VERSIONS 2 additions, 0 deletionsALL_VERSIONS
- Changelog 158 additions, 5 deletionsChangelog
- INSTALL.md 15 additions, 11 deletionsINSTALL.md
- Makefile 94 additions, 157 deletionsMakefile
- Makefile.generating 3 additions, 34 deletionsMakefile.generating
- README.md 6 additions, 1 deletionREADME.md
- VERSION 1 addition, 1 deletionVERSION
- bin/.gitignore 1 addition, 2 deletionsbin/.gitignore
- bin/build-src-distrib.sh 173 additions, 45 deletionsbin/build-src-distrib.sh
- bin/developers-by-files.sh 1 addition, 1 deletionbin/developers-by-files.sh
- bin/frama-c 1 addition, 1 deletionbin/frama-c
- bin/frama-c-config 27 additions, 0 deletionsbin/frama-c-config
- bin/frama-c-gui 1 addition, 1 deletionbin/frama-c-gui
- bin/frama-c-gui.byte 1 addition, 1 deletionbin/frama-c-gui.byte
- bin/frama-c.byte 1 addition, 1 deletionbin/frama-c.byte
- bin/frama-c.top 1 addition, 1 deletionbin/frama-c.top
- bin/local_export.sh 1 addition, 1 deletionbin/local_export.sh
Loading
Please register or sign in to comment