Overview
| Comment: | references-pools: new package that provides a task-safe pool of references |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
f5300980040c16d71c07b622085cb380 |
| User & Date: | nat on 2014-08-26 20:50:16 |
| Other Links: | manifest | tags |
Context
|
2014-08-27
| ||
| 19:43 | reference_tests-pools: new test suite for reference pools check-in: 2fa0bb02a5 user: nat tags: trunk | |
|
2014-08-26
| ||
| 20:50 | references-pools: new package that provides a task-safe pool of references check-in: f530098004 user: nat tags: trunk | |
|
2014-08-25
| ||
| 19:57 | reference_tests: also test the new Is_Last function check-in: 111a93ca40 user: nat tags: trunk | |
Changes
Added src/natools-references-pools.adb version [0b765e01db].
Added src/natools-references-pools.ads version [788ce7a04c].