Natools

Timeline
Login

10 check-ins occurring on or before 2014-06-08 19:08:16.

More ↑
2014-06-08
19:08
s_expressions-printers-pretty: add valid default values to Parameter objects

This ensures that default Parameters objects are valid, and therefore that pretty printers without explicit parameter initialization are valid (and canonical) too. check-in: 89b2db0d6d user: nat tags: trunk

2014-06-07
17:11
s_expressions-file_rw_tests: new test suite for both S-expression file readers and writers check-in: 5787543b72 user: nat tags: trunk
2014-06-06
19:04
s_expressions-file_writers: add a filename accessor function check-in: 9ef479b9be user: nat tags: trunk
2014-06-05
20:20
s_expressions-file_writers: new package providing a pretty printer based on Stream_IO files check-in: 9d6c39db7d user: nat tags: trunk
2014-06-04
21:05
s_expressions-printers-pretty: redesign the package around an abstract type with user-provided backend write procedure check-in: ee89558365 user: nat tags: trunk
2014-06-03
21:22
s_expressions-printers-pretty-config-tests: add tests to reach a decent coverage of the rewritten version check-in: 6fb20358ef user: nat tags: trunk
2014-06-02
19:16
s_expressions-printers-pretty-config: rewrite the parser using static hash maps check-in: 3cedc46373 user: nat tags: trunk
2014-06-01
16:17
Move generated source files to a dedicated directory check-in: 1beffff021 user: nat tags: trunk
2014-05-31
15:04
static_hash_maps-s_expressions: add binding for the new package categorization option check-in: cf4a28a612 user: nat tags: trunk
2014-05-30
20:11
static_hash_maps: add a new option for pragma Pure or Preelaborate on generated packages check-in: 59e052eab5 user: nat tags: trunk
More ↓