0ab3b2d | Raphaël Proust | 02 July 2023, 08:09:28 UTC | Merge branch 'data-encoding-V2--make-size-of-use-write' into 'data-encoding-V2--full-combinators-coverage' Use a devnull writer to compute sizes See merge request nomadic-labs/data-encoding!145 | 02 July 2023, 08:09:28 UTC |
cc6bc48 | Raphaël Proust | 29 June 2023, 14:09:52 UTC | PARTIAL | 29 June 2023, 14:09:52 UTC |
4224133 | Raphaël Proust | 26 May 2023, 14:28:35 UTC | implement binary.query.size_of as a loop over writing on devnull | 26 May 2023, 14:32:35 UTC |
4175d60 | Raphaël Proust | 26 May 2023, 13:40:57 UTC | add a length-limit to buffy.dst.devnull | 26 May 2023, 13:40:57 UTC |
c2c382e | Raphaël Proust | 26 May 2023, 13:18:38 UTC | add buffy.dst.devnull, use it for binary.writer.sizeof | 26 May 2023, 13:18:38 UTC |
4d4320f | Raphaël Proust | 26 May 2023, 12:22:35 UTC | make buffy.dst.t a first-class module | 26 May 2023, 12:22:35 UTC |
dd9e64f | Raphaël Proust | 22 May 2023, 18:44:07 UTC | (partially) fix ellastic integers serialisation | 22 May 2023, 18:44:07 UTC |
ddee791 | Raphaël Proust | 22 May 2023, 18:43:27 UTC | implement int31 read/write (the naive way) | 22 May 2023, 18:43:27 UTC |
cd5b6b1 | Raphaël Proust | 22 May 2023, 18:40:24 UTC | fix bug and add expect tests in Saturated | 22 May 2023, 18:41:08 UTC |
bad165a | Raphaël Proust | 22 May 2023, 18:39:03 UTC | temporarily remove extra profiling contexts | 22 May 2023, 18:39:03 UTC |
6e8f190 | Raphaël Proust | 17 May 2023, 15:17:27 UTC | PARTIAL: add int8, int16, int31 | 17 May 2023, 15:17:27 UTC |
870834a | Raphaël Proust | 17 May 2023, 13:29:10 UTC | json.encoding.string takes a parameter to specify escaping | 17 May 2023, 13:29:10 UTC |
bf4e343 | Raphaël Proust | 17 May 2023, 06:37:12 UTC | support int63 combinators | 17 May 2023, 06:37:12 UTC |
656ad63 | Raphaël Proust | 17 May 2023, 06:36:32 UTC | data-encoding.encoding support for dynamically checked ints | 17 May 2023, 06:36:32 UTC |
0883f15 | Raphaël Proust | 17 May 2023, 06:35:44 UTC | make conv.serialisation return a result | 17 May 2023, 06:35:44 UTC |
bd8c562 | Raphaël Proust | 05 May 2023, 15:45:02 UTC | rename commons into dialect, rehaul sizedints, introduce saturated | 08 May 2023, 06:48:42 UTC |
3659110 | Raphaël Proust | 07 May 2023, 10:29:50 UTC | explicitly set landmarks to off in default context | 07 May 2023, 12:12:27 UTC |
5264fdc | Raphaël Proust | 02 May 2023, 15:40:34 UTC | general support for ellastic ints in binary | 03 May 2023, 06:40:51 UTC |
cbeed2d | Raphaël Proust | 28 April 2023, 08:22:14 UTC | use recent additions to data-encoding.Encoding in bench | 28 April 2023, 08:22:14 UTC |
6dde744 | Raphaël Proust | 28 April 2023, 08:21:51 UTC | add Record and Tuple to data-encoding | 28 April 2023, 08:21:51 UTC |
7f6c4c1 | Raphaël Proust | 28 April 2023, 08:21:02 UTC | add TODO for dynamically-checked ints | 28 April 2023, 08:21:02 UTC |
5f7a49b | Raphaël Proust | 28 April 2023, 08:18:39 UTC | add array to data-encoding | 28 April 2023, 08:18:39 UTC |
1ce09bf | Raphaël Proust | 28 April 2023, 07:11:22 UTC | add all numerals to data-encoding | 28 April 2023, 07:11:22 UTC |
fc98c57 | Raphaël Proust | 27 April 2023, 15:26:41 UTC | add all numerals to json-data-encoding | 28 April 2023, 07:08:43 UTC |
4bb3060 | Raphaël Proust | 27 April 2023, 14:22:52 UTC | Merge branch 'data-encoding-V2--improvements-on-top-of-benchmarks' into 'data-encoding-V2' Improvements on top of benchmarks See merge request nomadic-labs/data-encoding!140 | 27 April 2023, 14:22:52 UTC |
38871f4 | Raphaël Proust | 20 April 2023, 09:09:43 UTC | binary.sizability more informative tupler to avoid runtime checks | 27 April 2023, 13:50:05 UTC |
61526d9 | Raphaël Proust | 20 April 2023, 09:03:27 UTC | use partial application in binary.query.size-of | 27 April 2023, 13:50:05 UTC |
b6ea336 | Raphaël Proust | 18 April 2023, 15:53:55 UTC | binary.reader add pre-apply writer caches to headered and unions | 27 April 2023, 13:50:05 UTC |
eae9727 | Raphaël Proust | 18 April 2023, 15:39:37 UTC | binary.reader use partial application to avoid retraversing encodings | 27 April 2023, 13:50:05 UTC |
b12de10 | Raphaël Proust | 18 April 2023, 15:22:22 UTC | binary.writer add pre-apply writer caches to headered and unions | 27 April 2023, 13:50:05 UTC |
00d4c7b | Raphaël Proust | 18 April 2023, 15:21:41 UTC | binary.writer use partial application to avoid retraversing descrs | 27 April 2023, 13:50:05 UTC |
ef0eb22 | Raphaël Proust | 27 April 2023, 13:49:51 UTC | Merge branch 'data-encoding-V2--basic-benchmarks' into 'data-encoding-V2' Basic benchmarks See merge request nomadic-labs/data-encoding!136 | 27 April 2023, 13:49:51 UTC |
ce66f21 | Raphaël Proust | 27 April 2023, 08:16:05 UTC | separate landmarks benches from other benches | 27 April 2023, 08:42:07 UTC |
b4c9356 | Raphaël Proust | 24 April 2023, 16:03:36 UTC | factorisation and pre-generation of binary-data in benchmarks | 27 April 2023, 08:28:36 UTC |
c86d170 | Raphaël Proust | 21 April 2023, 12:36:38 UTC | add landmarks instrumentation | 27 April 2023, 08:28:36 UTC |
44bc27e | Raphaël Proust | 21 April 2023, 12:35:37 UTC | improve benches in preparation for landmarks | 27 April 2023, 08:28:36 UTC |
6693897 | Raphaël Proust | 30 March 2023, 06:33:31 UTC | Adding basic benchmarks These are not fancy, they are intended to provide a simple rough comparison with V1. | 27 April 2023, 08:28:36 UTC |
4ccb32d | Raphaël Proust | 27 April 2023, 08:22:12 UTC | Merge branch 'data-encoding-V2--a-few-more-combinators' into 'data-encoding-V2' add a few combinator to data-encoding and json-data-encoding See merge request nomadic-labs/data-encoding!143 | 27 April 2023, 08:22:12 UTC |
c802d6f | Raphaël Proust | 27 April 2023, 08:15:24 UTC | add a few combinator to data-encoding and json-data-encoding | 27 April 2023, 08:16:57 UTC |
10e1fac | Raphaël Proust | 20 April 2023, 06:50:49 UTC | Merge branch 'data-encoding-V2--sizability-less-encodings-in-common-interface-only' into 'data-encoding-V2' simpler interface and API for binary and buffy See merge request nomadic-labs/data-encoding!141 | 20 April 2023, 06:50:49 UTC |
6360929 | Raphaël Proust | 19 April 2023, 16:26:31 UTC | improve documentation of buffy and binary | 20 April 2023, 06:17:00 UTC |
1c14cf7 | Raphaël Proust | 19 April 2023, 11:32:31 UTC | binary.descr consistently uses `descr` rather than `encoding` | 19 April 2023, 11:32:31 UTC |
6079399 | Raphaël Proust | 19 April 2023, 08:34:25 UTC | simpler interface and API for binary | 19 April 2023, 08:34:25 UTC |
bbb4cce | Raphaël Proust | 17 April 2023, 15:13:23 UTC | Merge branch 'data-encoding-V2--rename-uints' into 'data-encoding-V2' Rename all UInt into Uint See merge request nomadic-labs/data-encoding!139 | 17 April 2023, 15:13:23 UTC |
64319f7 | Raphaël Proust | 30 March 2023, 06:33:09 UTC | rename all UInt into Uint for consistency | 17 April 2023, 15:11:04 UTC |
ef02d9a | Raphaël Proust | 17 April 2023, 13:26:13 UTC | Merge branch 'data-encoding-V2--thanks-for-the-dadaist-pep-talk' into 'data-encoding-V2' I feel much more abstract now See merge request nomadic-labs/data-encoding!135 | 17 April 2023, 13:26:13 UTC |
89ab3c8 | Raphaël Proust | 15 April 2023, 10:41:18 UTC | move reading offset tracking from buffy.r to buffy.src | 17 April 2023, 12:36:45 UTC |
bcbf3cb | Raphaël Proust | 14 April 2023, 16:35:34 UTC | fix binary-data-encoding.w.size-header | 17 April 2023, 12:36:45 UTC |
d64c620 | Raphaël Proust | 14 April 2023, 16:35:07 UTC | simpler and better buffy.r | 17 April 2023, 12:36:45 UTC |
9f5d9c4 | Raphaël Proust | 14 April 2023, 16:32:56 UTC | fix suspension/stop bug in binary.read.useq | 17 April 2023, 12:36:38 UTC |
de12b98 | Raphaël Proust | 14 April 2023, 09:46:22 UTC | move writing offset tracking from buffy.w to buffy.dst | 14 April 2023, 09:53:08 UTC |
9b89e3e | Raphaël Proust | 13 April 2023, 17:10:46 UTC | export more atom reading/writing functions in buffy | 14 April 2023, 09:52:38 UTC |
bb32e13 | Raphaël Proust | 13 April 2023, 16:50:21 UTC | binary.sizability simplify tupler | 14 April 2023, 09:52:38 UTC |
7499ed7 | Raphaël Proust | 12 April 2023, 08:24:42 UTC | fix size-limit handling in binary.reader and binary.writer | 14 April 2023, 09:52:32 UTC |
82e1d3e | Raphaël Proust | 12 April 2023, 08:24:42 UTC | Improve buffy.dst and buffy.src | 12 April 2023, 14:54:36 UTC |
862d32f | Raphaël Proust | 31 March 2023, 12:50:20 UTC | improve documentation of binary.descr | 12 April 2023, 14:54:36 UTC |
8b71d59 | Raphaël Proust | 30 March 2023, 12:07:36 UTC | Split binary-data-encoding modules in two tiers: public and internals | 12 April 2023, 14:54:36 UTC |
9256d9a | Raphaël Proust | 17 March 2023, 12:13:36 UTC | Some documentation for buffy | 12 April 2023, 14:54:36 UTC |
0c26d4d | Raphaël Proust | 16 March 2023, 17:16:49 UTC | separate destination and state in buffy.w and further code | 12 April 2023, 14:54:36 UTC |
837ff55 | Raphaël Proust | 16 March 2023, 08:17:39 UTC | separate source and state in buffy.r and further code | 12 April 2023, 14:54:36 UTC |
65fd892 | Raphaël Proust | 12 April 2023, 14:49:33 UTC | Merge branch 'data-encoding-V2--cruft-cleanup' into 'data-encoding-V2' remove NOTES See merge request nomadic-labs/data-encoding!137 | 12 April 2023, 14:49:33 UTC |
e0e7d0d | Raphaël Proust | 06 April 2023, 12:30:02 UTC | remove NOTES (it's a draft) | 12 April 2023, 14:46:24 UTC |
342f514 | Raphaël Proust | 17 March 2023, 09:13:38 UTC | Merge branch 'data-encoding-V2--enforce-size-kind-restrictions-as-types' into 'data-encoding-V2' Data encoding v2 enforce size kind restrictions as types See merge request nomadic-labs/data-encoding!134 | 17 March 2023, 09:13:38 UTC |
00bea98 | Raphaël Proust | 10 March 2023, 13:02:38 UTC | track sizability of encodings in the type-system directly | 17 March 2023, 09:10:31 UTC |
60cf42b | Raphaël Proust | 08 March 2023, 17:17:53 UTC | binary test with bigger length header sizes | 17 March 2023, 09:07:03 UTC |
8a4bd9c | Raphaël Proust | 08 March 2023, 17:17:23 UTC | binary check overflow when writing size header | 17 March 2023, 09:07:03 UTC |
73aae4a | Raphaël Proust | 08 March 2023, 11:02:58 UTC | more json tests (better pbt coverage) | 17 March 2023, 09:07:03 UTC |
9790582 | Raphaël Proust | 08 March 2023, 11:02:44 UTC | json support null | 17 March 2023, 09:07:03 UTC |
7556376 | Raphaël Proust | 08 March 2023, 10:07:24 UTC | binary.read support zero-length encodings for reading | 17 March 2023, 09:07:03 UTC |
cfdd7ce | Raphaël Proust | 08 March 2023, 10:02:00 UTC | binary tests use buffer with not pre-determined size | 17 March 2023, 09:07:03 UTC |
12bc78a | Raphaël Proust | 08 March 2023, 10:01:41 UTC | add binary.reader.read_string | 17 March 2023, 09:07:02 UTC |
da99ced | Raphaël Proust | 08 March 2023, 09:50:57 UTC | simplify sizability of binary encodings | 17 March 2023, 09:07:02 UTC |
ba92a68 | Raphaël Proust | 08 March 2023, 09:28:02 UTC | sizability tests for binary data-encoding | 17 March 2023, 09:07:02 UTC |
bfd26b0 | Raphaël Proust | 08 March 2023, 07:02:32 UTC | simplify test sampling | 17 March 2023, 09:07:02 UTC |
e917459 | Raphaël Proust | 08 March 2023, 06:48:35 UTC | check maximum-length before suspending in chunkwriter | 17 March 2023, 09:07:02 UTC |
b817cd7 | Raphaël Proust | 08 March 2023, 06:46:57 UTC | improve binary tests | 17 March 2023, 09:07:02 UTC |
1fc77b3 | Raphaël Proust | 08 March 2023, 08:11:01 UTC | Merge branch 'data-encoding-V2--unions' into 'data-encoding-V2' Data encoding v2 unions See merge request nomadic-labs/data-encoding!130 | 08 March 2023, 08:11:01 UTC |
3320d7b | Raphaël Proust | 07 March 2023, 14:38:18 UTC | data-encoding has common union combinator | 07 March 2023, 14:38:18 UTC |
b4ce723 | Raphaël Proust | 07 March 2023, 14:37:45 UTC | json and binary unions have unit-case combinator | 07 March 2023, 14:37:45 UTC |
3b27810 | Raphaël Proust | 07 March 2023, 14:35:19 UTC | json backend special-casing unit cases of unions | 07 March 2023, 14:35:19 UTC |
bf8f6bd | Raphaël Proust | 28 February 2023, 14:01:01 UTC | include list of cases in binary.encoding.union constructor | 07 March 2023, 10:11:59 UTC |
1a8bd35 | Raphaël Proust | 27 February 2023, 10:21:19 UTC | json unions | 07 March 2023, 10:11:59 UTC |
e816b1c | Raphaël Proust | 27 February 2023, 08:39:58 UTC | binary unions | 07 March 2023, 10:11:59 UTC |
33c836d | Raphaël Proust | 03 March 2023, 10:58:18 UTC | Merge branch 'data-encoding-V2--update-ocamlformat-version' into 'data-encoding-V2' Data encoding v2 update ocamlformat version See merge request nomadic-labs/data-encoding!131 | 03 March 2023, 10:58:18 UTC |
03c8d88 | Raphaël Proust | 27 February 2023, 14:08:20 UTC | Update ocamlformat to 0.24.1 which is compatible with ocaml 5.0.0 | 03 March 2023, 10:21:53 UTC |
509d862 | Raphaël Proust | 03 March 2023, 10:21:40 UTC | Merge branch 'data-encoding-V2--JSON-actual-writers' into 'data-encoding-V2' Data encoding v2 json actual writers See merge request nomadic-labs/data-encoding!128 | 03 March 2023, 10:21:40 UTC |
6f4d6c5 | Raphaël Proust | 27 February 2023, 13:14:15 UTC | bump gitlab ocaml version to 4.14.1 | 27 February 2023, 13:14:15 UTC |
dea7897 | Raphaël Proust | 23 February 2023, 15:13:56 UTC | buffy: some docs and some TODO | 23 February 2023, 15:13:56 UTC |
cea7aab | Raphaël Proust | 23 February 2023, 14:48:24 UTC | improve naming of stop hints in buffy.read | 23 February 2023, 14:48:24 UTC |
8eb50ec | Raphaël Proust | 23 February 2023, 10:10:25 UTC | Avoid holding onto preceeding dest in buffy.writing suspension | 23 February 2023, 10:10:25 UTC |
b6916be | Raphaël Proust | 23 February 2023, 09:29:19 UTC | harden stop management in buffy.read | 23 February 2023, 09:36:36 UTC |
9a59ecc | Raphaël Proust | 21 February 2023, 14:52:25 UTC | more expect tests in buffy.read | 21 February 2023, 14:52:25 UTC |
de382f1 | Raphaël Proust | 21 February 2023, 09:42:25 UTC | expect tests and assert checks in buffy.read | 21 February 2023, 09:43:06 UTC |
df9bf0c | Raphaël Proust | 21 February 2023, 09:40:26 UTC | fix error messages in buffy.reading | 21 February 2023, 09:43:06 UTC |
16033ef | Raphaël Proust | 20 February 2023, 17:30:42 UTC | buffy.reading.stops documentation and fixes | 21 February 2023, 09:43:06 UTC |
928ec6d | Raphaël Proust | 20 February 2023, 15:08:32 UTC | buffy support utf8char | 21 February 2023, 09:43:06 UTC |
04f6ad6 | Raphaël Proust | 20 February 2023, 12:56:55 UTC | improve buffy and json reader | 21 February 2023, 09:43:06 UTC |
6a9cbd6 | Raphaël Proust | 15 February 2023, 19:10:41 UTC | rename buffy.r.read1 into buffy.r.readf | 15 February 2023, 19:10:41 UTC |
0f93c91 | Raphaël Proust | 13 February 2023, 17:29:01 UTC | json: support multiple representations, split backend, improvements | 13 February 2023, 17:29:01 UTC |
bf24d3f | Raphaël Proust | 13 February 2023, 10:03:43 UTC | Rename suspendable-buffers into buffy and unopen it | 13 February 2023, 10:04:26 UTC |