[RTL] e_acsl_malloc.h - interface for memory alloccation functions
Showing
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h 16 additions, 15 deletions...lugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.h 6 additions, 5 deletionssrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.h
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h 5 additions, 4 deletionssrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.h
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree.h 3 additions, 2 deletions...plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree.h
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h 6 additions, 5 deletionssrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_malloc.h 55 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_malloc.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
Loading
Please register or sign in to comment