Merge branch 'master' into feature/wp/api
# Conflicts: # ivette/src/frama-c/plugins/eva/api/values/index.ts # src/plugins/wp/ProofEngine.mli # src/plugins/wp/Tactical.ml # src/plugins/wp/Tactical.mli # src/plugins/wp/gui/GuiGoal.ml
No related branches found
No related tags found
Showing
- .gitattributes 5 additions, 3 deletions.gitattributes
- .gitignore 4 additions, 6 deletions.gitignore
- .gitlab-ci.yml 8 additions, 1 deletion.gitlab-ci.yml
- Changelog 119 additions, 82 deletionsChangelog
- Makefile 15 additions, 0 deletionsMakefile
- README.md 0 additions, 1 deletionREADME.md
- VERSION 1 addition, 1 deletionVERSION
- VERSION_CODENAME 1 addition, 1 deletionVERSION_CODENAME
- bin/frama-c 1 addition, 1 deletionbin/frama-c
- bin/test.sh 45 additions, 7 deletionsbin/test.sh
- dev/dune-workspace.bench 22 additions, 0 deletionsdev/dune-workspace.bench
- dev/set-version.sh 127 additions, 0 deletionsdev/set-version.sh
- doc/aorai/main.tex 2 additions, 0 deletionsdoc/aorai/main.tex
- doc/developer/advance.tex 210 additions, 138 deletionsdoc/developer/advance.tex
- doc/developer/changes.tex 7 additions, 4 deletionsdoc/developer/changes.tex
- doc/developer/dune-workspace.bench 9 additions, 0 deletionsdoc/developer/dune-workspace.bench
- doc/eva/examples/nondet.c 2 additions, 0 deletionsdoc/eva/examples/nondet.c
- doc/eva/examples/parametrizing/split-array.log 1 addition, 1 deletiondoc/eva/examples/parametrizing/split-array.log
- doc/eva/main.tex 58 additions, 21 deletionsdoc/eva/main.tex
- doc/frama-c-book.cls 13 additions, 11 deletionsdoc/frama-c-book.cls
Loading
Please register or sign in to comment