50 most recent check-ins occurring on or after 2013-11-02 13:59:49.
More ↑
2014-02-11
| ||
20:57 | s_expressions-caches: instantiation of Natools.S_Expressions.Generic_Caches with default storage pool check-in: 2b97af7bf2 user: nat tags: trunk | |
2014-02-10
| ||
19:50 | storage_pools: new package for entities related to storage pools check-in: 0a176c90c4 user: nat tags: trunk | |
2014-02-09
| ||
20:52 | s_expressions-generic_caches: new package for simnple memory container of S-expression check-in: a23e614377 user: nat tags: trunk | |
2014-02-08
| ||
17:17 | s_expressions-printers-pretty-tests: new test for parameter mutators (this makes the test suite cover all the reachable code) check-in: 4a8ff2de3d user: nat tags: trunk | |
2014-02-07
| ||
21:50 | s_expressions-printers-pretty-tests: new test for correctness of token encoding end markers check-in: a450c7e1d4 user: nat tags: trunk | |
2014-02-06
| ||
22:20 | s_expressions-printers-pretty: fix quoted encoding size estimation on inserted newlines check-in: 528e853e08 user: nat tags: trunk | |
2014-02-05
| ||
19:22 | s_expressions-printers-pretty-tests: new test for newline output formats check-in: d002179746 user: nat tags: trunk | |
2014-02-04
| ||
19:17 | s_expressions-printers-pretty: fix cursor updates in single-line quoted string atoms check-in: a94c289c5f user: nat tags: trunk | |
2014-02-03
| ||
21:05 | s_expressions-printers-pretty: add missing width handling in Open_List and Close_List check-in: 7037b039d6 user: nat tags: trunk | |
2014-02-02
| ||
12:58 | s_expressions-printers-pretty-tests: new test for indentation mechanisms check-in: b48757a3eb user: nat tags: trunk | |
2014-02-01
| ||
13:27 | s_expressions-printers-pretty: fix width overflow in quoted string escapes check-in: da55fecd97 user: nat tags: trunk | |
2014-01-31
| ||
10:40 | s_expressions-printers-pretty: fix unwanted escape of the second byte of two-byte newlines check-in: e4eacf664f user: nat tags: trunk | |
2014-01-30
| ||
20:53 | s_expressions-printers-pretty-tests: new test for quoted string escape sequences check-in: e499a522b3 user: nat tags: trunk | |
2014-01-29
| ||
21:08 | s_expressions-printers-pretty: fix width handling in hexadecimal and base-64 atom encodings check-in: f1e8b35069 user: nat tags: trunk | |
2014-01-28
| ||
19:40 | s_expressions-printers-pretty-tests: add test for output width in hexadecimal and base-64 atom encodings check-in: ed46bbdd62 user: nat tags: trunk | |
2014-01-27
| ||
20:04 | s_expressions-printers-pretty-tests: first draft of a test suite for S-expression pretty printer check-in: e8c225e03c user: nat tags: trunk | |
2014-01-26
| ||
13:26 | s_expressions-printers-pretty: new package providing a S-expression pretty printer check-in: 803c3f82a0 user: nat tags: trunk | |
2014-01-25
| ||
16:04 | s_expressions-test_tools: add versions of Dump_Atom and Test_Atom for the new Test type check-in: 9ff0437f97 user: nat tags: trunk | |
2014-01-24
| ||
21:59 | tests: new interface using finalization to ensure reporting is correct in all code paths check-in: 444efe557e user: nat tags: trunk | |
2014-01-23
| ||
22:17 | s_expressions-parsers-tests: new test for Subparser interface check-in: d02a180cc6 user: nat tags: trunk | |
2014-01-22
| ||
22:26 | s_expressions-parsers-tests: new test for Parser direct interface check-in: ba3f2acfaa user: nat tags: trunk | |
2014-01-21
| ||
20:16 | s_expressions-parsers: fix parsing of nested subexpressions check-in: edac345527 user: nat tags: trunk | |
2014-01-20
| ||
19:48 | s_expressions-atom_buffers-tests: add tests for the new octet stack interface check-in: 71a9406a61 user: nat tags: trunk | |
2014-01-19
| ||
22:04 | s_expressions-atom_buffers: add primitives to use atom buffers as octet stacks check-in: 7b0544e9fc user: nat tags: trunk | |
2014-01-18
| ||
11:12 | s_expressions-parsers-tests: add more subexpression test cases check-in: 2e81806813 user: nat tags: trunk | |
2014-01-17
| ||
20:46 | s_expressions-parsers: fix a bug where the first character after an invalid escape sequence was not processed check-in: 6d15e0e0da user: nat tags: trunk | |
2014-01-16
| ||
22:57 | s_expressions-parsers-tests: add a few more tests check-in: d034b73c75 user: nat tags: trunk | |
2014-01-15
| ||
21:49 | s_expressions-atom_buffers: fix accessors to return only used part of the buffer check-in: ad0685d1d1 user: nat tags: trunk | |
2014-01-14
| ||
20:30 | s_expressions-atom_buffers-tests: new test for actual contents after soft reset check-in: b57427c879 user: nat tags: trunk | |
2014-01-13
| ||
19:24 | s_expressions-atom_buffers: rename accessors for less overloading check-in: 16e999a3da user: nat tags: trunk | |
2014-01-12
| ||
16:14 | s_expressions-parsers-tests: basic test suite for S-expression parser check-in: 50d86c2bfe user: nat tags: trunk | |
2014-01-11
| ||
11:40 | s_expressions-printers: new procedure Transfer running a Descriptor into a Printer check-in: f16c5302d7 user: nat tags: trunk | |
2014-01-10
| ||
22:49 | s_expressions-parsers: new package containing an event-base S-expression parser check-in: dffc102c0d user: nat tags: trunk | |
2014-01-09
| ||
22:19 | s_expressions-printers-tests: fully-covering test suite for canonical atom printer check-in: 08a213ab1f user: nat tags: trunk | |
2014-01-08
| ||
20:14 | s_expressions-test_tools: new type memory stream to test input and output interfaces to streams check-in: e57fb70751 user: nat tags: trunk | |
2014-01-07
| ||
21:00 | s_expressions-printers: new packge defining an interface for S-expression input check-in: 7e2c240617 user: nat tags: trunk | |
2014-01-06
| ||
19:29 | s_expressions-atom_buffers-tests: fully-covering test suite for atom buffers check-in: 0f499b1b87 user: nat tags: trunk | |
2014-01-05
| ||
15:13 | s_expressions-atom_buffers: new package for unbounded buffers as S-expression atoms check-in: f6c9de3912 user: nat tags: trunk | |
2014-01-04
| ||
13:00 | s_expressions-encodings: fix decoding of lone last half-byte check-in: 5d808b591d user: nat tags: trunk | |
2014-01-03
| ||
21:26 | s_expressions-encodings-tests: add more tests to reach complete coverage check-in: b8a246ea77 user: nat tags: trunk | |
2014-01-02
| ||
19:22 | coverage.sh: update the script for gcc-aux check-in: 0b249eb1b5 user: nat tags: trunk | |
2014-01-01
| ||
17:00 | s_expressions-encodings-tests: test suite for `Natools.S_Expressions.Encodings` check-in: d09d3219b5 user: nat tags: trunk | |
2013-12-31
| ||
14:42 | s_expressions-test_tools: new package with helper subprograms for S-expression tests check-in: b0207d9353 user: nat tags: trunk | |
2013-12-30
| ||
19:59 | s_expressions-encodings: new package for hexadecimal and base-64 encoding and decoding in S-expressions check-in: 1360e35d38 user: nat tags: trunk | |
2013-12-29
| ||
22:57 | s_expressions: new parent package for S-expression code check-in: 5a32f08c8e user: nat tags: trunk | |
2013-11-19
| ||
21:41 | chunked_strings-tests-bugfixes: Fix test suite description check-in: 431d105c2c user: nat tags: trunk | |
2013-11-18
| ||
20:21 | chunked_strings-tests-coverage: test Trim with multiple-chunk prefix check-in: e0c2566ea5 user: nat tags: trunk | |
2013-11-14
| ||
22:56 | string_slices-slice_sets: fix Subset bug when lower bound is between slices check-in: 5bfb52fc1f user: nat tags: trunk | |
2013-11-13
| ||
19:48 | string_slice_set_tests: new test case showing a bug in Subset check-in: 7b0c5022d4 user: nat tags: trunk | |
2013-11-02
| ||
13:59 | indefinite_holders: new package containing an Ada 2005 implementation of Ada 2012 indefinite holders check-in: 6e22289101 user: nat tags: trunk | |