Merge branch 'optim/get_cont' into 'master'
Optimization of get_cont - Optimization of get_cont function. - Clean-up of the bittree API (light restructuring, comments and renaming of the API functions) See merge request !15
Showing
- src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h 139 additions, 160 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 43 additions, 17 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 54 additions, 55 deletions...e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
Loading
Please register or sign in to comment