swh:1:snp:61dcfc0dd5674a0e65803e88039c122d9532074e

sort by:
Revision Author Date Message Commit Date
e0ab7c7 Merge branch 'handle-title-for-compact-descriptions' into 'master' Handle title for compact descriptions See merge request nomadic-labs/data-encoding!115 23 December 2022, 09:51:30 UTC
fafd748 better case stringification 23 December 2022, 09:50:53 UTC
ea97fca Carry `title` through the compact abstraction 23 December 2022, 09:48:02 UTC
2feac00 Merge branch 'lts-stabilisation-before-rewrite' into 'master' LTS stabilisation before rewrite See merge request nomadic-labs/data-encoding!114 29 November 2022, 14:05:04 UTC
ebd053e Improve lazy-bytes test 29 November 2022, 14:00:28 UTC
09d0dff Add lazy-encodings to expect/describe test 15 November 2022, 14:38:20 UTC
296206b Add lazy-bytes test 15 November 2022, 14:38:20 UTC
c5d041b Make binary-to-json conversion of lazy-bytes more resilient to failures 15 November 2022, 14:38:20 UTC
da4e8aa Explicit version in opam files to allow local build 15 November 2022, 14:38:20 UTC
f73796d version constraints across packages of the same repo use = 15 November 2022, 14:38:20 UTC
e2da540 Add json-data-encoding in tree 15 November 2022, 14:38:20 UTC
d06b8a4 Merge branch 'fix-slash-improve-binary-schema-generation' into 'master' Fix/improve binary schema generation See merge request nomadic-labs/data-encoding!113 14 November 2022, 09:58:07 UTC
34b6c20 mention fix in CHANGES 14 November 2022, 08:22:40 UTC
ddd4ffd Simplify schema/description code a bit 14 November 2022, 08:22:33 UTC
b2ace9b Even more more expect/describe testing 14 November 2022, 08:22:12 UTC
fe6cae9 More complex expect/describe tests 14 November 2022, 08:11:10 UTC
f2dad84 Additional expect test for schemas 21 October 2022, 10:00:01 UTC
f81c618 Handle (and test) dynamic-size N in binary schemas 20 October 2022, 15:01:57 UTC
2d51c28 Merge branch 'prepare-for-release-0-7' into 'master' Prepare for release 0 7 See merge request nomadic-labs/data-encoding!110 29 September 2022, 07:51:00 UTC
aea70e5 Fix opam constraints on json-data-encoding 27 September 2022, 06:56:33 UTC
42e9db7 Merge branch 'small-doc-improvement' into 'master' Improve documentation of z and n Closes #61 See merge request nomadic-labs/data-encoding!109 27 September 2022, 06:43:03 UTC
733c4b2 Improve documentation of z and n 27 September 2022, 06:26:20 UTC
0343005 Merge branch 'safer-encoding-module' into 'master' SaferEncoding See merge request nomadic-labs/data-encoding!96 22 September 2022, 14:35:17 UTC
7462b69 Some safer combinators for some common user errors > User errors are the symptom of design issues and to we change the design a bit in this commit 22 September 2022, 14:30:36 UTC
d2e90ad Merge branch 'archaephyrryx-base-patch' into 'master' Registration: extends API to allow introspection See merge request nomadic-labs/data-encoding!108 22 September 2022, 08:20:54 UTC
a473720 Registration: extends API to allow introspection Introduces new GADT `encoding` to `registration.ml{,i}` that allows external libraries and tools more (albeit still limited) access to the unknown-type `Encoding.t` stored in a `Registration.t`. This type is made transparent in the MLI to allow external libraries and tools to define functions that operate on the arbitrary-typed `Encoding.t` held in an argument of type `Registration.encoding` Adds `find_encoding` and `iter` functions to query for/operate on values of type `Registration.encoding`. ---------------- Registration: exposes and documents new items Exposes and documents the encoding type, as well as the find_encoding and iter functions, defined originally in registration.ml[i], in data_encoding.mli. Removes dummy .gitmodules file ---------------- Rename introspection-related type and bunch interface items together 22 September 2022, 08:16:32 UTC
7d3bc29 Merge branch 'hans.hoglund-master-patch-81650' into 'master' Fix dead link in README See merge request nomadic-labs/data-encoding!100 22 September 2022, 08:06:58 UTC
14062e1 Point to onl'ine hosting places of the tutorial 22 September 2022, 08:03:48 UTC
3e68295 Fix dead link in README The tutorial link is currently dead. This patch replaces the link target with an automatic Gitlab page. 22 September 2022, 08:03:48 UTC
38abf55 Merge branch 'fix-empty-fields-when-tups-of-zero-width' into 'master' Ensure that tups of zero-width are described with non-empty `fields` See merge request nomadic-labs/data-encoding!103 22 September 2022, 08:01:17 UTC
d93de65 Use `fields: []` to mark empty products in binary schemas 22 September 2022, 07:55:40 UTC
c9dcb0a Fix fixed-size description 22 September 2022, 07:55:40 UTC
da6c183 Expect test for descriptions 22 September 2022, 07:55:40 UTC
f233d69 Bump json-data-encoding version constraint 22 September 2022, 07:55:40 UTC
bd10b74 Merge branch 'hsaito@dynamic_size_n2' into 'master' Add `N kind for Dynamic_size Closes #54 See merge request nomadic-labs/data-encoding!93 21 September 2022, 15:43:47 UTC
e5a93ee Use `min-int` in the invalid_int to hint at overflow 21 September 2022, 15:06:41 UTC
ba5291b Simplify dynamic-size-N writing 21 September 2022, 15:06:41 UTC
6ec838f Improve documentation of string'/bound' 21 September 2022, 15:06:41 UTC
49a6730 Tigther constraint on dynamic-size N writing 21 September 2022, 15:06:41 UTC
97fd867 Factor the check-size code better in binary backends 21 September 2022, 15:06:41 UTC
d060eed Minor code quality improvement 21 September 2022, 15:06:41 UTC
68d7d7b Name magic constant 21 September 2022, 15:06:41 UTC
ece6d8d mention computational cost of dynamic-size kind n in tutorial 21 September 2022, 15:06:41 UTC
c888622 Test `N` as a dynamic-size parameter in pbt 21 September 2022, 15:06:41 UTC
a2a17d0 Mention new dynamic-sizing kind option in tutorial 21 September 2022, 15:06:41 UTC
d6a0a07 Add ?length_kind to relevant string' and bytes' combinators 21 September 2022, 15:06:41 UTC
c252adf Allow `n` as a dynamic-size header - Add `N as kind - Update Encoding.dynamic : set `N as default - Add test - Fix Binary_description when `N used - Several fixes during the conflict-resolution during the rebase - restore defaults for backwards compat - limit the N size headers to the uint30 integer range 21 September 2022, 15:06:41 UTC
53bc44d Merge branch 'export-all-type-equalities-when-including-encoding' into 'master' export all type and module equalities when including Encoding See merge request nomadic-labs/data-encoding!106 20 September 2022, 14:13:21 UTC
737eb32 export all type and module equalities when including Encoding 20 September 2022, 13:50:48 UTC
db56bce Merge branch 'avoid-duplicate-pipelines' into 'master' Avoid running a pipeline for the MR and one for the branch See merge request nomadic-labs/data-encoding!107 20 September 2022, 10:00:05 UTC
0e47d50 Avoid running a pipeline for the MR and one for the branch Use official recommendations from https://docs.gitlab.com/ee/ci/yaml/workflow.html#switch-between-branch-pipelines-and-merge-request-pipelines 20 September 2022, 09:57:11 UTC
c507b33 Merge branch 'fix-bug' into 'master' Small refactoring and bug fix. See merge request nomadic-labs/data-encoding!104 20 September 2022, 09:13:07 UTC
36af670 Refactoring: small renaming 20 September 2022, 09:09:50 UTC
ab227c7 Test: expose bug with stream read 20 September 2022, 08:55:18 UTC
fed3434 Merge branch 'ci-fmt' into 'master' CI checks doc and fmt in a dedicated job See merge request nomadic-labs/data-encoding!105 20 September 2022, 08:30:20 UTC
9f5e7f7 new job for fmt and doc 15 September 2022, 12:37:10 UTC
e5ed296 Merge branch 'hsaito@list_with_length' into 'master' Use List.length for the prefix of a list in binary encoding instead of byte length See merge request nomadic-labs/data-encoding!94 14 September 2022, 15:55:17 UTC
08541ad Add array_with_length and list_with_length: with length headers Co-authored-by: Raphaël Proust <code@bnwr.net> 14 September 2022, 15:42:46 UTC
a9d7ab4 Fix Binary_stream_reader.read_fixed_list Fixed.list may have raised error in remaining_bytes 14 September 2022, 15:35:26 UTC
d8ebedf Merge branch 'length-should-fail-if-write-would-fail-too' into 'master' Length should fail if write would fail too See merge request nomadic-labs/data-encoding!101 14 September 2022, 13:53:44 UTC
f35a7d1 add PBT generators for more dyn and checksize 14 September 2022, 13:09:58 UTC
bd713ac Provide res variant of exn-raising length function 14 September 2022, 13:03:21 UTC
e89f38a Tighter maximum-length bound based on dynamic-size header size 14 September 2022, 13:00:19 UTC
c4ce0d1 Use binding operators rather than custom infixes in binary-legnth 14 September 2022, 13:00:13 UTC
afff868 Check dynamic-size overflow when computing binary-size 14 September 2022, 12:31:24 UTC
90a9d53 Merge branch 'hhugo-bytes-strings' into 'master' New combinator to control the json encoding of bytes and strings See merge request nomadic-labs/data-encoding!98 07 September 2022, 14:55:26 UTC
2f60fff Mention new combinators in tutorial 07 September 2022, 13:41:38 UTC
ba62c94 New combinator to control the json encoding of bytes and strings 07 September 2022, 13:41:38 UTC
15e68ff Add expect test (regression) for string and bytes 07 September 2022, 13:41:38 UTC
36601e8 Merge branch 'add-uint-as-n-encoding' into 'master' Add uint as n encoding See merge request nomadic-labs/data-encoding!97 07 September 2022, 10:27:58 UTC
b8a0211 Tweak int-like impelementation 07 September 2022, 10:13:12 UTC
5839902 Allow min_value = max_value in int-like combinators 06 September 2022, 15:54:33 UTC
f75cd7b Rename leftover "as" to "like" 06 September 2022, 15:26:35 UTC
88e39a7 Generalise negative test for int-like using `Sys.int_size` 06 September 2022, 15:26:35 UTC
71161f3 Fix documentation errors 06 September 2022, 15:26:35 UTC
66c77e9 give name to intermediate values in int-like combinator implementation 06 September 2022, 15:26:35 UTC
a5e3236 int-like encodings: move optional bound logic to a single place 06 September 2022, 13:53:49 UTC
709f560 JSON's int-like-* is now as strict as binary's w.r.t. bounds 06 September 2022, 12:28:55 UTC
09604ed Fix sizing of `int_as_n` (and improve code) 06 September 2022, 10:01:49 UTC
d556b1f Factor int_like_z and uint_like_n code 06 September 2022, 09:22:33 UTC
20c5bc6 Less in-line constants, more predefined values 06 September 2022, 09:17:11 UTC
0f9e126 Add entries for uint_like_n and int_like_z to the tutorial 01 September 2022, 14:30:38 UTC
82290cb Rename uint_as_n and int_as_z into uint_like_n and int_like_z 01 September 2022, 14:02:54 UTC
7256407 Comment lack of is-positive check in `uint_as_n` code 31 August 2022, 15:47:47 UTC
3dc4b67 Add expect tests for int_as_z and uint_as_n 31 August 2022, 15:36:15 UTC
f38f108 Simplify checks for uint_as_n and int_as_z 31 August 2022, 14:28:26 UTC
f682060 Improve test diagnostics for int-as-z 31 August 2022, 12:39:30 UTC
70a797a Add int-as-z encoding 31 August 2022, 10:19:11 UTC
05008fd Add `uint30_as_n` encoding 31 August 2022, 09:33:26 UTC
603b5d9 Merge branch 'fix-check-size-on-negative-inputs' into 'master' Handle negative size limits with Invalid_argument See merge request nomadic-labs/data-encoding!95 23 August 2022, 09:30:59 UTC
924db68 raise Invalid_argument when `check_size` gets a negative limit 23 August 2022, 09:25:43 UTC
c251ec2 Add one more test 23 August 2022, 09:25:43 UTC
04b3cfb New test for check-size with `-1` Note that `-1` is used to encode `none` in the `Uint_option` internal module. Ultimately, this causes an assert false during serialisation. 23 August 2022, 09:25:38 UTC
f214434 Merge branch 'prepare-for-release-v0-6' into 'master' V0.6 release See merge request nomadic-labs/data-encoding!91 19 July 2022, 08:55:14 UTC
10ebe6e Set tutorial.mld as a promoted file to avoid release dependency on md2mld 19 July 2022, 08:53:17 UTC
f436d98 CHANGES for v0.6 19 July 2022, 08:53:17 UTC
1909acf Merge branch 'raphael-p@improve-doc-structure' into 'master' Improve doc structure See merge request nomadic-labs/data-encoding!92 19 July 2022, 08:06:13 UTC
434b923 Avoid before-scirpt running in the pages/doc stage 18 July 2022, 12:06:45 UTC
5b51c76 Introduce index.mld to point to the tutorial and the API on the landing page 18 July 2022, 12:06:04 UTC
e8ca479 Merge branch 'raphael-p@dont-unroll-mu-nodes' into 'master' `mu` now avoids the first unrolling See merge request nomadic-labs/data-encoding!88 13 July 2022, 08:17:18 UTC
back to top