Overview
| Comment: | tools/smaz: add support for not removing from pending list in a round |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
0423da4c745b97325bb85b573ee71522 |
| User & Date: | nat on 2017-05-21 20:44:28 |
| Other Links: | manifest | tags |
Context
|
2017-05-22
| ||
| 19:45 | tools/smaz: add a dictionary Length accessor check-in: 46f6fa15e8 user: nat tags: trunk | |
|
2017-05-21
| ||
| 20:44 | tools/smaz: add support for not removing from pending list in a round check-in: 0423da4c74 user: nat tags: trunk | |
|
2017-05-20
| ||
| 19:25 | tools/smaz: move log-message construction of Optimization_Round check-in: 032d847343 user: nat tags: trunk | |
Changes
Modified tools/smaz.adb from [9d953a6894] to [5cedb9b4e3]. [diff]