Improvements to the C runtime lirbary of E-ACSL from the remote repository
containing the segment-based memory model.
Showing
- src/plugins/e-acsl/Makefile.in 5 additions, 5 deletionssrc/plugins/e-acsl/Makefile.in
- src/plugins/e-acsl/gcc_test.sh 1 addition, 1 deletionsrc/plugins/e-acsl/gcc_test.sh
- src/plugins/e-acsl/man/e-acsl-gcc.sh.1 3 additions, 3 deletionssrc/plugins/e-acsl/man/e-acsl-gcc.sh.1
- src/plugins/e-acsl/misc.ml 1 addition, 3 deletionssrc/plugins/e-acsl/misc.ml
- src/plugins/e-acsl/scripts/e-acsl-gcc.sh 8 additions, 4 deletionssrc/plugins/e-acsl/scripts/e-acsl-gcc.sh
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.c 6 additions, 5 deletionssrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.c
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.h 0 additions, 0 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.c 0 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_list.c
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_mmodel.c 50 additions, 43 deletionssrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_mmodel.c
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_mmodel_api.h 0 additions, 0 deletions...lugins/e-acsl/share/e-acsl/adt_models/e_acsl_mmodel_api.h
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree.c 0 additions, 0 deletions...plugins/e-acsl/share/e-acsl/adt_models/e_acsl_splaytree.c
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.c 0 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_tree.c
- src/plugins/e-acsl/share/e-acsl/e_acsl.h 5 additions, 5 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_assert.h 90 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_assert.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_debug.h 98 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_debug.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel.h 25 additions, 12 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_mmodel.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_printf.h 174 additions, 52 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_printf.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_string.h 60 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_string.h
- src/plugins/e-acsl/share/e-acsl/e_acsl_syscall.h 28 additions, 18 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_syscall.h
- src/plugins/e-acsl/share/e-acsl/glibc/memcopy.h 191 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/glibc/memcopy.h
Loading
Please register or sign in to comment