History of the file that is called src/natools-references__unsafe.ads at check-in tip
|
2014-11-26
| ||
| 20:13 | references: add Implicit_Dereference aspects file: [ee81d08042] check-in: [3a18c0edc9] user: nat, branch: trunk, size: 5795 [annotate] [blame] [check-ins using] [diff] | |
|
2014-08-24
| ||
| 20:31 |
references: add Is_Last primitive
It's almost a break in abstraction, and it's unsafe to use when the reference can be accessed concurrently. However it might have some use in some context, to free the last reference when checked in a protected or thread-local context, to build a crude garbage collection system. file: [c4d7238aec] check-in: [610b834d9d] user: nat, branch: trunk, size: 5727 [annotate] [blame] [check-ins using] [diff] | |
|
2014-07-19
| ||
| 18:27 | Add pragma Preelaborable_Initialization throughout the code file: [65f8ced397] check-in: [3b9912ed66] user: nat, branch: trunk, size: 5598 [annotate] [blame] [check-ins using] [diff] | |
|
2014-07-16
| ||
| 17:44 | Renamed src/natools-references.ads → src/natools-references__unsafe.ads. references: prepare variants, calling "unsafe" the existing one file: [8f5373a61a] check-in: [ed32c25b9b] user: nat, branch: trunk, size: 5484 [annotate] [blame] [check-ins using] [diff] | |
|
2014-07-11
| ||
| 20:37 | references: use access value directly in new constructors, instead of access to functions returning access value file: [8f5373a61a] check-in: [c104c5befa] user: nat, branch: trunk, size: 5484 [annotate] [blame] [check-ins using] [diff] | |
|
2014-07-10
| ||
| 18:27 | references: add constructors with user-provided access value, to allow zero-copy initialization of non-limited types file: [5b3dc9598c] check-in: [55bbe4642d] user: nat, branch: trunk, size: 5378 [annotate] [blame] [check-ins using] [diff] | |
|
2014-04-12
| ||
| 16:19 | natools-references: add support of references to constant file: [5708cf8da3] check-in: [8c650fd927] user: nat, branch: trunk, size: 4998 [annotate] [blame] [check-ins using] [diff] | |
|
2013-09-24
| ||
| 18:28 | references: add storage pool formal parameters file: [8596f1f0ff] check-in: [779fe5056a] user: nat, branch: trunk, size: 4579 [annotate] [blame] [check-ins using] [diff] | |
|
2013-09-22
| ||
| 15:29 | Added: References: new package implementing a reference counter file: [0fba189b0d] check-in: [4306b2b680] user: nat, branch: trunk, size: 4313 [annotate] [blame] [check-ins using] | |