https://gitlab.com/nomadic-labs/data-encoding/

sort by:
Revision Author Date Message Commit Date
8c089e8 Set ocaml version constraints 23 December 2022, 17:31:08 UTC
c36190a Specialise Binary backend Seq handling 23 December 2022, 17:26:13 UTC
c17edcb Add Seq to PBTs 23 December 2022, 17:26:00 UTC
02e2c82 Replace many polymorphic equality with monomorphic ones This is necessary in the PBT to avoid comparing Seq. Other changes are just for general code quality and not strictly necessary. 23 December 2022, 17:23:49 UTC
1cc07d6 Add some Seq tests 23 December 2022, 10:51:31 UTC
79446e0 Add Seq support in data-encoding 23 December 2022, 10:47:01 UTC
9b15312 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:55:35 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
back to top