History of the file that is called src/natools-static_hash_maps.ads at check-in 4a97e983b0c7e8cf
|
2014-11-08
| ||
| 21:24 | static_hash_maps: allow elements to be indefinite by looking them up in a function rather than an array file: [5651639d9d] check-in: [ba447ff2ea] user: nat, branch: trunk, size: 6396 [annotate] [blame] [check-ins using] [diff] | |
|
2014-05-30
| ||
| 20:11 | static_hash_maps: add a new option for pragma Pure or Preelaborate on generated packages file: [b53cc2dad2] check-in: [59e052eab5] user: nat, branch: trunk, size: 5926 [annotate] [blame] [check-ins using] [diff] | |
|
2014-05-27
| ||
| 20:22 | static_hash_maps: add support for generation of hash function test file: [dfc823b5d2] check-in: [65c085f000] user: nat, branch: trunk, size: 5655 [annotate] [blame] [check-ins using] [diff] | |
|
2014-05-25
| ||
| 08:51 | static_hash_maps: add support for custom declarations at the beginning of the generated spec file file: [6dcc3fadc7] check-in: [0ab4a630bf] user: nat, branch: trunk, size: 5528 [annotate] [blame] [check-ins using] [diff] | |
|
2014-05-18
| ||
| 20:20 |
Added:
static_hash_maps: new code generation package to build static hash maps
A static hash map means here a hash maps completely known before compile time. It uses GNAT.Perfect_Hash_Generator to turn string keys into indexes for an array of elements. file: [f00e24d0ba] check-in: [582f564b61] user: nat, branch: trunk, size: 5383 [annotate] [blame] [check-ins using] | |