Merge branch 'feature/bobot/jbuilder-merging-master' into 'feature/bobot/jbuilder'
Merging master in Dune branch See merge request frama-c/frama-c!3779
Showing
- .gitattributes 281 additions, 0 deletions.gitattributes
- Changelog 2 additions, 0 deletionsChangelog
- bin/build-src-distrib.sh 22 additions, 1 deletionbin/build-src-distrib.sh
- bin/check-reference-configuration.sh 21 additions, 0 deletionsbin/check-reference-configuration.sh
- bin/check_newlines.ml 22 additions, 0 deletionsbin/check_newlines.ml
- bin/frama-c-script 2 additions, 0 deletionsbin/frama-c-script
- bin/git.sh 22 additions, 0 deletionsbin/git.sh
- bin/indent.sh 22 additions, 0 deletionsbin/indent.sh
- bin/isutf8.ml 22 additions, 0 deletionsbin/isutf8.ml
- bin/lint.sh 22 additions, 0 deletionsbin/lint.sh
- bin/merge-master.sh 21 additions, 0 deletionsbin/merge-master.sh
- bin/migration_scripts/git-replace.sh 22 additions, 0 deletionsbin/migration_scripts/git-replace.sh
- bin/rebuild.sh 22 additions, 0 deletionsbin/rebuild.sh
- bin/shift_oracles.sh 21 additions, 0 deletionsbin/shift_oracles.sh
- bin/update_api_doc.sh 21 additions, 0 deletionsbin/update_api_doc.sh
- bin/wp-qualif.sh 22 additions, 0 deletionsbin/wp-qualif.sh
- configure.in 7 additions, 7 deletionsconfigure.in
- devel_tools/docker/Makefile 22 additions, 0 deletionsdevel_tools/docker/Makefile
- devel_tools/duplicates.pl 21 additions, 0 deletionsdevel_tools/duplicates.pl
- devel_tools/frama-c-callgrind.sh 52 additions, 0 deletionsdevel_tools/frama-c-callgrind.sh
Loading
Please register or sign in to comment