b0bd165 | Laure Runser | 21 August 2023, 09:20:26 UTC | make `state.buffy` `mutable` to be ok with capture | 21 August 2023, 09:20:26 UTC |
ddbe2e7 | Laure Runser | 17 August 2023, 08:27:08 UTC | New Benchable 4 | 17 August 2023, 08:27:08 UTC |
8aec5b6 | Laure Runser | 16 August 2023, 12:58:42 UTC | New benchable 3 | 17 August 2023, 08:26:56 UTC |
48a929f | Laure Runser | 07 August 2023, 08:40:19 UTC | Clean up error messages + check for collusion in obj | 07 August 2023, 13:08:50 UTC |
dd600f8 | Raphaël Proust | 03 August 2023, 13:07:53 UTC | Add Hmaps to remember the fields in objects | 04 August 2023, 13:28:35 UTC |
7452e75 | Raphaël Proust | 03 August 2023, 13:07:32 UTC | More hmap support in objs | 04 August 2023, 13:26:52 UTC |
cf6e0d8 | Laure Runser | 02 August 2023, 08:12:34 UTC | wip | 02 August 2023, 08:12:34 UTC |
b15d3b4 | Raphaël Proust | 21 July 2023, 14:02:04 UTC | JSON object encodings carry maps of field descrs for out-of-order access | 28 July 2023, 08:32:54 UTC |
0cefaa8 | Laure Runser | 28 July 2023, 08:06:29 UTC | Bench for new incremental parser | 28 July 2023, 08:06:29 UTC |
678b6c2 | Laure Runser | 27 July 2023, 13:17:13 UTC | bench | 27 July 2023, 13:17:13 UTC |
429bc06 | Laure Runser | 24 July 2023, 09:27:23 UTC | Add more detailed benches to compare old and new parsers | 24 July 2023, 09:27:23 UTC |
bc6b9fe | Laure Runser | 12 July 2023, 08:28:34 UTC | Add benchmarks for incremental json parser | 24 July 2023, 08:32:24 UTC |
463f849 | Laure Runser | 17 July 2023, 13:39:24 UTC | Add peek function and fix parsing Conv in Seq | 24 July 2023, 08:29:31 UTC |
5dc6d22 | Laure Runser | 07 July 2023, 12:07:49 UTC | Make local the bytes buffer to transfer from Buffy to Jsonm | 07 July 2023, 12:08:26 UTC |
55e509a | Laure Runser | 20 June 2023, 13:53:50 UTC | Incremental parser | 07 July 2023, 11:37:56 UTC |
f5dc2c2 | Laure Runser | 03 July 2023, 09:34:06 UTC | Add printer for values, depending on its encoding | 07 July 2023, 09:00:09 UTC |
418b480 | Laure Runser | 30 June 2023, 12:58:22 UTC | Add pretty printer for encodings | 05 July 2023, 12:33:29 UTC |
2461fac | Laure Runser | 30 June 2023, 11:02:18 UTC | Add pretty printing of JSON.t | 05 July 2023, 12:29:08 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 |
6386f7c | Raphaël Proust | 10 February 2023, 14:34:39 UTC | Better suspendable.writer with better uses in binary and json | 10 February 2023, 14:41:48 UTC |
0f33211 | Raphaël Proust | 10 February 2023, 10:11:51 UTC | JSON.backend documentation | 10 February 2023, 10:11:51 UTC |
3d51d46 | Raphaël Proust | 09 February 2023, 09:46:16 UTC | json.backend allow serialising to suspendable buffers | 09 February 2023, 15:12:56 UTC |
aa5bc37 | Raphaël Proust | 09 February 2023, 09:05:44 UTC | json-data-encoding.Backend.construct_lexeme to construct lexeme sequence | 09 February 2023, 09:05:44 UTC |
8f74b65 | Raphaël Proust | 09 February 2023, 09:03:53 UTC | json-data-encoding.PP.lexemes fix comma management in objects | 09 February 2023, 09:03:53 UTC |
5f15b79 | Raphaël Proust | 09 February 2023, 07:42:19 UTC | Move buffer management into its own library These buffers will be used to make stringification functions in the JSON side of the data-encoding library. | 09 February 2023, 08:25:38 UTC |