Overview
| Comment: | static_hash_maps: retry perfect hash generation when it fails |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
ddc10181a83b934171df71f5b8443a97 |
| User & Date: | nat on 2014-05-24 13:03:03 |
| Other Links: | manifest | tags |
Context
|
2014-05-25
| ||
| 08:51 | static_hash_maps: add support for custom declarations at the beginning of the generated spec file check-in: 0ab4a630bf user: nat tags: trunk | |
|
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 | |
Changes
Modified src/natools-static_hash_maps.adb from [2d303fae46] to [8a60f68029]. [diff]