50 check-ins occurring on or before 2014-07-23 20:16:02.
More ↑
|
2014-07-23
| ||
| 20:16 | s_expressions-printers-pretty-tests: add a test for expression width computations check-in: 2805404e82 user: nat tags: trunk | |
|
2014-07-22
| ||
| 18:40 | s_expressions-lockable-tests: deepen the test on unwinding, to double-check the new Generic_Caches unwinding check-in: 49fd23378a user: nat tags: trunk | |
|
2014-07-21
| ||
| 18:33 | s_expressions-generic_caches: use Parent links to unwind levels much faster when unlocking check-in: 66590abe20 user: nat tags: trunk | |
|
2014-07-20
| ||
| 19:03 | sxcat: new tool to concatenate and pretty-print S-expressions check-in: 7fadcee47a user: nat tags: trunk | |
|
2014-07-19
| ||
| 18:27 | Add pragma Preelaborable_Initialization throughout the code check-in: 3b9912ed66 user: nat tags: trunk | |
|
2014-07-18
| ||
| 17:35 | references__intel: new intel-specific task-safe variant of Natools.References check-in: ca01910925 user: nat tags: trunk | |
|
2014-07-17
| ||
| 19:37 | references__protected: task-safe portable variant of Natools.References, based on protected counters check-in: 66369eba6c user: nat tags: trunk | |
|
2014-07-16
| ||
| 17:44 | references: prepare variants, calling "unsafe" the existing one check-in: ed32c25b9b user: nat tags: trunk | |
|
2014-07-15
| ||
| 20:07 | reference_tests: add a task-safety test (that isn't relevant on single-core) check-in: 8292cedaee user: nat tags: trunk | |
|
2014-07-14
| ||
| 19:04 | s_expressions-file_rw_tests: test the new atom-reference reader check-in: 88f1a31b31 user: nat tags: trunk | |
|
2014-07-13
| ||
| 14:27 | s_expressions-file_readers: add an atom-reference read function check-in: d6e43fe336 user: nat tags: trunk | |
|
2014-07-12
| ||
| 16:08 | reference_tests: use the new access-based constructors, to reach full coverage again check-in: 2d7c2f8e09 user: nat tags: trunk | |
|
2014-07-11
| ||
| 20:37 | references: use access value directly in new constructors, instead of access to functions returning access value check-in: c104c5befa user: nat tags: trunk | |
|
2014-07-10
| ||
| 18:27 | references: add constructors with user-provided access value, to allow zero-copy initialization of non-limited types check-in: 55bbe4642d user: nat tags: trunk | |
|
2014-07-09
| ||
| 17:52 | Update LICENSE and add README check-in: 41ff0e3319 user: nat tags: trunk | |
|
2014-07-03
| ||
| 18:05 | hmac-pinentry: new POSIX-only package to retrieve HMAC key using pinentry protocol check-in: 9b0bfa42ad user: nat tags: trunk | |
|
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 | |
|
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 | |
|
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 | |
|
2014-05-21
| ||
| 20:07 | static_hash_maps-s_expressions: add generated child packages for interpreter check-in: 83a3e25ae4 user: nat tags: trunk | |
|
2014-05-20
| ||
| 20:03 | s_expressions-interpreter_loop: new generic procedure providing the main loop of a S-expression interpreter check-in: 654fe8f62b user: nat tags: trunk | |
|
2014-05-19
| ||
| 18:37 | static_hash_maps-s_expressions: new package to run static hash map generator using a S-expression description check-in: ad65c67a84 user: nat tags: trunk | |
|
2014-05-18
| ||
| 20:20 |
static_hash_maps: new code generation package to build static hash maps
A static hash map means here a hash maps completely known before compile time. It uses GNAT.Perfect_Hash_Generator to turn string keys into indexes for an array of elements. check-in: 582f564b61 user: nat tags: trunk | |
|
2014-05-17
| ||
| 14:09 | s_expressions-interpreter_tests: use building functions in a test, to reach full coverage check-in: 17fe0bb70a user: nat tags: trunk | |
|
2014-05-16
| ||
| 17:48 | s_expressions-interpreters: add constructor functions to make possible library-level constants check-in: bbcfe6dddf user: nat tags: trunk | |
|
2014-05-15
| ||
| 21:26 | s_expressions-printers-pretty-config: update to match the new read-only interpreters check-in: e3c30c2e3d user: nat tags: trunk | |
|
2014-05-14
| ||
| 18:33 | s_expressions-interpreters: make commands and interpreters read-only during execution check-in: 07db27cc2f user: nat tags: trunk | |
|
2014-05-13
| ||
| 20:33 | s_expressions-dynamic_interpreter: backup of the current Interpreter interface before making it read-only check-in: d9a7acb07a user: nat tags: trunk | |