Merge branch 'stable/potassium'
No related branches found
No related tags found
Showing
- Changelog 24 additions, 0 deletionsChangelog
- INSTALL.md 8 additions, 8 deletionsINSTALL.md
- VERSION 1 addition, 1 deletionVERSION
- VERSION_CODENAME 1 addition, 1 deletionVERSION_CODENAME
- doc/release/branch.tex 3 additions, 3 deletionsdoc/release/branch.tex
- opam/opam 4 additions, 2 deletionsopam/opam
- share/Makefile.plugin.template 1 addition, 0 deletionsshare/Makefile.plugin.template
- src/plugins/gui/help_manager.ml 2 additions, 0 deletionssrc/plugins/gui/help_manager.ml
- src/plugins/rte/visit.ml 13 additions, 2 deletionssrc/plugins/rte/visit.ml
- src/plugins/wp/Changelog 4 additions, 0 deletionssrc/plugins/wp/Changelog
- src/plugins/wp/Makefile.in 3 additions, 2 deletionssrc/plugins/wp/Makefile.in
- src/plugins/wp/ProverWhy3.ml 9 additions, 2 deletionssrc/plugins/wp/ProverWhy3.ml
- tests/builtins/diff_bitwise 30 additions, 27 deletionstests/builtins/diff_bitwise
- tests/rte/array_index.c 3 additions, 0 deletionstests/rte/array_index.c
- tests/rte/oracle/array_index.0.res.oracle 4 additions, 0 deletionstests/rte/oracle/array_index.0.res.oracle
- tests/rte/oracle/array_index.1.res.oracle 2 additions, 0 deletionstests/rte/oracle/array_index.1.res.oracle
Loading
Please register or sign in to comment