[WP] Merging Extended Master with NUPW
Includes the master branch of Frama-C and faetuare/lib-added-features.
Showing
- .gitignore 22 additions, 0 deletions.gitignore
- Changelog 23 additions, 0 deletionsChangelog
- INSTALL.md 2 additions, 5 deletionsINSTALL.md
- Makefile 32 additions, 26 deletionsMakefile
- Makefile.generating 16 additions, 0 deletionsMakefile.generating
- configure.in 6 additions, 2 deletionsconfigure.in
- doc/developer/advance.tex 2 additions, 1 deletiondoc/developer/advance.tex
- doc/developer/refman.tex 8 additions, 4 deletionsdoc/developer/refman.tex
- doc/developer/tutorial.tex 81 additions, 4 deletionsdoc/developer/tutorial.tex
- doc/rte/rte.tex 8 additions, 9 deletionsdoc/rte/rte.tex
- doc/speclang/Makefile 15 additions, 20 deletionsdoc/speclang/Makefile
- doc/speclang/at.tex 7 additions, 3 deletionsdoc/speclang/at.tex
- doc/speclang/biblio.bib 5 additions, 4 deletionsdoc/speclang/biblio.bib
- doc/speclang/exitbehavior.tex 3 additions, 4 deletionsdoc/speclang/exitbehavior.tex
- doc/speclang/fn_behavior.tex 2 additions, 2 deletionsdoc/speclang/fn_behavior.tex
- doc/speclang/logic.tex 1 addition, 2 deletionsdoc/speclang/logic.tex
- doc/speclang/logiclabels.tex 1 addition, 1 deletiondoc/speclang/logiclabels.tex
- doc/speclang/loops.tex 2 additions, 3 deletionsdoc/speclang/loops.tex
- doc/speclang/main.tex 4 additions, 0 deletionsdoc/speclang/main.tex
- doc/speclang/memory.tex 2 additions, 2 deletionsdoc/speclang/memory.tex
Loading
Please register or sign in to comment