Natools

History of src/natools-references__protected.ads of 966f7e5239cc144e
Login

History of the file that is called src/natools-references__protected.ads at check-in 966f7e5239cc144e

2014-11-26
20:13
references: add Implicit_Dereference aspects file: [d99e38b57b] check-in: [3a18c0edc9] user: nat, branch: trunk, size: 6142 [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: [3cec4789c7] check-in: [610b834d9d] user: nat, branch: trunk, size: 6074 [annotate] [blame] [check-ins using] [diff]

2014-07-19
18:27
Add pragma Preelaborable_Initialization throughout the code file: [18a0c38fdf] check-in: [3b9912ed66] user: nat, branch: trunk, size: 5845 [annotate] [blame] [check-ins using] [diff]
2014-07-17
19:37
Added: references__protected: task-safe portable variant of Natools.References, based on protected counters file: [46a97aca04] check-in: [66369eba6c] user: nat, branch: trunk, size: 5731 [annotate] [blame] [check-ins using]