Natools

Timeline
Login

10 descendants and 10 ancestors of 9d6c39db7d8d583b175cfd27b78674596cc7577b

2014-06-21
19:52
s_expressions-encodings: replace assert-in-loop by asserting a slice comparison check-in: 6fad53c7fc user: nat tags: trunk
2014-06-20
20:04
generate_static_hash_map: add a target directory command-line option check-in: 02abd531c8 user: nat tags: trunk
2014-06-18
17:57
cron: add support for synchronized events check-in: 04a8a351dd user: nat tags: trunk
2014-06-17
18:46
cron-tests: test suite package for Natools.Cron check-in: 287a68c3f5 user: nat tags: trunk
2014-06-16
21:43
cron: new package implementing low-precision periodic procedure calls check-in: 6e8b6ccecd user: nat tags: trunk
2014-06-14
15:18
s_expressions-printers-pretty: export procedure Newline to allow clients to freely insert newlines (e.g. at the end of files) check-in: 737b8974b4 user: nat tags: trunk
2014-06-09
19:01
s_expressions-file_readers: reset parser state in Rewind check-in: a61c83ef7e user: nat tags: trunk
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
2014-05-29
18:36
static_hash_maps-s_expressions-tests: new test around generated function for S-expression interpreter check-in: e3eb7b3d2d user: nat tags: trunk
2014-05-28
17:28
static_hash_maps-s_expressions: add S-expression bindings for the test child function generation check-in: 0d8d6300c9 user: nat tags: trunk
2014-05-27
20:22
static_hash_maps: add support for generation of hash function test check-in: 65c085f000 user: nat tags: trunk
2014-05-26
20:25
static_hash_maps-s_expressions: add binding for extra declarations in generated spec check-in: fcc23fc780 user: nat tags: trunk