Merge branch 'feature/kostyantyn/c-updates' into 'master'
Feature/kostyantyn/c updates
This merge requests offers the following:
- Small improvements and refactorings in the C code base in order to simplify Patricia Trie memory model.
- Doxygen documentation improvements.
See merge request !39
Showing
- src/plugins/e-acsl/INSTALL 2 additions, 3 deletionssrc/plugins/e-acsl/INSTALL
- src/plugins/e-acsl/Makefile.in 1 addition, 0 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_adt_mmodel.h 0 additions, 452 deletions...ins/e-acsl/share/e-acsl/bittree_model/e_acsl_adt_mmodel.h
- src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h 56 additions, 23 deletions...lugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h
- src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_api.h 33 additions, 33 deletions...ns/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_api.h
- src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c 396 additions, 3 deletions...e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
- src/plugins/e-acsl/share/e-acsl/e_acsl.h 7 additions, 7 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h 11 additions, 6 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_gmp.h 10 additions, 4 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_gmp.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_gmp_types.h 5 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_gmp_types.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h 1 addition, 1 deletionsrc/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h
- src/plugins/e-acsl/tests/e-acsl-runtime/initialized.c 1 addition, 1 deletionsrc/plugins/e-acsl/tests/e-acsl-runtime/initialized.c
- src/plugins/e-acsl/tests/gmp/oracle/longlong.0.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/gmp/oracle/longlong.0.res.oracle
- src/plugins/e-acsl/tests/gmp/oracle/longlong.1.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/gmp/oracle/longlong.1.res.oracle
Loading
Please register or sign in to comment