[RTL]
- Restricted internal symbols of Patricia trie memory model to its compile unit - Restructuring/renaming the files belonging to ADT models to make the names consistent with the contents of the files - Patricia trie model as a single file
Showing
- src/plugins/e-acsl/misc.ml 1 addition, 1 deletionsrc/plugins/e-acsl/misc.ml
- src/plugins/e-acsl/scripts/e-acsl-gcc.sh 1 addition, 2 deletionssrc/plugins/e-acsl/scripts/e-acsl-gcc.sh
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_api.h 10 additions, 10 deletionssrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_api.h
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_adt_mmodel.h 1 addition, 1 deletion...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.c 0 additions, 464 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 434 additions, 4 deletionssrc/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree.h
- src/plugins/e-acsl/share/e-acsl/adt_models/e_acsl_bittree_mmodel.c 24 additions, 0 deletions...ns/e-acsl/share/e-acsl/adt_models/e_acsl_bittree_mmodel.c
- src/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h 0 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/e_acsl_mmodel_api.h
- src/plugins/e-acsl/tests/e-acsl-reject/oracle/quantif.res.oracle 1 addition, 1 deletion...gins/e-acsl/tests/e-acsl-reject/oracle/quantif.res.oracle
- src/plugins/e-acsl/tests/no-main/oracle/empty.res.oracle 1 addition, 1 deletionsrc/plugins/e-acsl/tests/no-main/oracle/empty.res.oracle
Loading
Please register or sign in to comment