Changes between Version 8 and Version 9 of 2011WP/2011Stream2/DynamicMemory_improvments
- Timestamp:
- 2011-03-05T10:54:28+01:00 (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
2011WP/2011Stream2/DynamicMemory_improvments
v8 v9 31 31 32 32 == creation of a key_no_workspace_check == 33 wrk_in_use and wrk_not_released simply return .FALSE. when this key is defined 33 wrk_in_use and wrk_not_released simply return .FALSE. when this key is defined. ===> done 34 34 35 This should be useful to speed up production runs. 35 36 36 In addition, a inlining compilation option can be added or documented. 37 In addition, a inlining compilation option can be added or documented. ==> to be done? 37 38 38 39