Merge remote-tracking branch 'origin/master' into feature/bobot/jbuilder
Showing
- .gitignore 0 additions, 7 deletions.gitignore
- Changelog 5 additions, 0 deletionsChangelog
- devel_tools/frama-c-callgrind 31 additions, 0 deletionsdevel_tools/frama-c-callgrind
- doc/developer/developer.tex 1 addition, 0 deletionsdoc/developer/developer.tex
- doc/developer/refman.tex 13 additions, 4 deletionsdoc/developer/refman.tex
- doc/userman/user-sources.tex 1 addition, 1 deletiondoc/userman/user-sources.tex
- doc/value/examples/misa.c 1 addition, 1 deletiondoc/value/examples/misa.c
- doc/value/main.tex 4 additions, 4 deletionsdoc/value/main.tex
- headers/header_spec.txt 10 additions, 42 deletionsheaders/header_spec.txt
- ivette/.dome-pkg-app.lock 1 addition, 1 deletionivette/.dome-pkg-app.lock
- ivette/.dome-pkg-dev.lock 1 addition, 1 deletionivette/.dome-pkg-dev.lock
- ivette/.eslintignore 1 addition, 0 deletionsivette/.eslintignore
- ivette/.eslintrc.js 13 additions, 10 deletionsivette/.eslintrc.js
- ivette/.gitignore 1 addition, 0 deletionsivette/.gitignore
- ivette/Makefile 15 additions, 20 deletionsivette/Makefile
- ivette/Makefile.distrib 4 additions, 0 deletionsivette/Makefile.distrib
- ivette/README.md 10 additions, 29 deletionsivette/README.md
- ivette/headers/header_spec.txt 4 additions, 0 deletionsivette/headers/header_spec.txt
- ivette/headers/register.sh 1 addition, 1 deletionivette/headers/register.sh
- ivette/package.json 64 additions, 63 deletionsivette/package.json
Loading
Please register or sign in to comment