Merge branch 'feature/dev/instrumentation-landmarks' into 'master'
Feature/dev/instrumentation landmarks See merge request frama-c/frama-c!4092
Showing
- .gitattributes 2 additions, 0 deletions.gitattributes
- Makefile 7 additions, 1 deletionMakefile
- dev/dune-workspace.bench 9 additions, 0 deletionsdev/dune-workspace.bench
- doc/developer/advance.tex 56 additions, 54 deletionsdoc/developer/advance.tex
- share/Makefile.installation 8 additions, 2 deletionsshare/Makefile.installation
- src/dune 1 addition, 0 deletionssrc/dune
- src/init/boot/dune 1 addition, 0 deletionssrc/init/boot/dune
- src/init/dune 1 addition, 0 deletionssrc/init/dune
- src/init/impl_cmdline/dune 1 addition, 0 deletionssrc/init/impl_cmdline/dune
- src/plugins/aorai/dune 1 addition, 0 deletionssrc/plugins/aorai/dune
- src/plugins/callgraph/dune 1 addition, 0 deletionssrc/plugins/callgraph/dune
- src/plugins/constant_propagation/dune 1 addition, 0 deletionssrc/plugins/constant_propagation/dune
- src/plugins/dive/dune 1 addition, 0 deletionssrc/plugins/dive/dune
- src/plugins/e-acsl/src/dune 3 additions, 1 deletionsrc/plugins/e-acsl/src/dune
- src/plugins/eva/dune 8 additions, 4 deletionssrc/plugins/eva/dune
- src/plugins/from/dune 1 addition, 0 deletionssrc/plugins/from/dune
- src/plugins/impact/dune 1 addition, 0 deletionssrc/plugins/impact/dune
- src/plugins/inout/dune 1 addition, 0 deletionssrc/plugins/inout/dune
- src/plugins/instantiate/dune 1 addition, 0 deletionssrc/plugins/instantiate/dune
- src/plugins/loop_analysis/dune 1 addition, 0 deletionssrc/plugins/loop_analysis/dune
Loading
Please register or sign in to comment