Overview
Comment: | generate_static_hash_map: new tool that provides a CLI to Natools.Static_Hash_Maps |
---|---|
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: |
d40564ef6b11f838ec95a396f6434c67 |
User & Date: | nat on 2014-05-23 18:44:05 |
Other Links: | manifest | tags |
Context
2014-05-24
| ||
13:03 | static_hash_maps: retry perfect hash generation when it fails check-in: ddc10181a8 user: nat tags: trunk | |
2014-05-23
| ||
18:44 | generate_static_hash_map: new tool that provides a CLI to Natools.Static_Hash_Maps check-in: d40564ef6b user: nat tags: trunk | |
2014-05-22
| ||
20:14 | natools: add Meaningless_Type to help instantiation of interpreters without meaningful context or state check-in: dd0bb46ace user: nat tags: trunk | |
Changes
Modified tools.gpr from [69e0606d25] to [a7527b07a8].
1 2 3 4 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | + - + | with "natools"; project Tools is for Source_Dirs use ("tools"); for Main use |
Added tools/generate_static_hash_map.adb version [977ec5056f].