Skip to main content

Browse the archive

swh:1:snp:61dcfc0dd5674a0e65803e88039c122d9532074e
sort by:
Revision Author Date Message Commit Date
efcdf23 Raphaël Proust 03 May 2018, 05:52:30 UTC Data_encoding: reorder and reorganize doc 03 May 2018, 06:00:24 UTC
f7e08b5 Raphaël Proust 03 May 2018, 04:27:17 UTC Data_encoding: split implementation In an effort to keep a clean commit history, the interface is unchanged. 03 May 2018, 04:27:17 UTC
e92dd8c Milo Davis 10 March 2018, 15:27:40 UTC Data_encoding: add names to union cases 26 April 2018, 20:52:21 UTC
cac3743 Raphaël Proust 24 April 2018, 06:26:00 UTC Data_encoding: better documentation of `int` 26 April 2018, 19:20:40 UTC
87ad5f4 Grégoire Henry 09 April 2018, 09:20:42 UTC Data_encoding: be compatible with 32bits platform. We should not accept for `data_encoding.ranged_int` values that cannot fits in `int31`. Iw we wnat more, we should introduce `ranged_int32` or `ranged_int64`. 09 April 2018, 13:17:04 UTC
24f46fb Arthur B 04 April 2018, 08:00:31 UTC Jbuilder: update to beta.19.1 06 April 2018, 09:47:22 UTC
698f858 Benjamin Canou 21 February 2018, 10:43:55 UTC Data_encoding: make more combinators transparent to is_tup/is_obj 24 March 2018, 15:45:29 UTC
f5706a9 bruno 19 March 2018, 16:31:50 UTC General: update jbuilder to 1.0+beta19 20 March 2018, 05:49:52 UTC
9731155 Grégoire Henry 14 March 2018, 23:20:37 UTC Alpha: add operation `Double_endorsement` 16 March 2018, 14:34:32 UTC
761bbb3 Raphaël Proust 14 March 2018, 16:56:20 UTC Data_encoding: typo in error message 15 March 2018, 13:58:54 UTC
94aaf8f Grégoire Henry 08 March 2018, 07:08:01 UTC Opam: use jbuilder.1.0.0-beta18 08 March 2018, 13:38:57 UTC
35e57d7 Grégoire Henry 07 March 2018, 06:38:40 UTC Opam: require jbuilder = 1.0.0-beta17 07 March 2018, 17:12:12 UTC
566da85 Grégoire Henry 11 February 2018, 21:36:49 UTC Test: quick and dirty port to `alcotest` 12 February 2018, 01:09:00 UTC
0e11f60 Grégoire Henry 08 February 2018, 09:51:01 UTC Client refactor: Move `Data_encoding_ezjsonm.read_file` into `Lwt_utils_unix` 08 February 2018, 16:23:30 UTC
4806759 Grégoire Henry 08 February 2018, 09:51:01 UTC Client refactor: Move non-unix part of `Data_Encoding_Ezjsonm` into `Data_Encoding.Json` 08 February 2018, 16:23:30 UTC
9144510 Grégoire Henry 06 February 2018, 15:17:38 UTC Jbuilder: fix warning 07 February 2018, 10:16:39 UTC
4e672b1 Grégoire Henry 05 February 2018, 20:17:03 UTC Update copyright notice (2018) 05 February 2018, 22:34:05 UTC
26d29a4 Grégoire Henry 05 February 2018, 20:16:01 UTC Opam: update to jbuilder.1.0+beta17 05 February 2018, 22:34:05 UTC
9f5ae26 Grégoire Henry 02 February 2018, 17:16:50 UTC Test: add test dependencies into `*.opam` and fix `.gitlab-ci.yml` 05 February 2018, 22:34:05 UTC
5f7fca5 Grégoire Henry 02 February 2018, 15:26:02 UTC Test: move `data_encoding` tests 05 February 2018, 22:34:04 UTC
83f444f Milo Davis 11 January 2018, 01:41:52 UTC Data encoding: fail on string_enum that should be a constant 27 January 2018, 14:30:09 UTC
addd752 Milo Davis 18 January 2018, 03:22:20 UTC Data_encoding: use constant from ocplib-json-typed 27 January 2018, 14:30:09 UTC
fd37c78 Grégoire Henry 27 January 2018, 10:21:41 UTC Jbuilder: fix rule `runtest_indent` 27 January 2018, 10:32:57 UTC
6daba09 Pietro 25 January 2018, 13:51:31 UTC Indent: reindent with ocp-indent and fix the script 25 January 2018, 15:01:12 UTC
672537b Pietro 16 January 2018, 15:30:58 UTC Move all packages to src/ Modify Makefile accordingly 16 January 2018, 22:11:39 UTC
back to top