6 Commits

Author SHA1 Message Date
MARCHE Claude
174c9a01f5 do not allow implicit inference of partial 2024-10-31 15:27:09 +01:00
Cláudio Belo Lourenço
616baee0b3 Documentation for Hexadecimal encoding 2020-03-04 15:31:05 +01:00
Cláudio Belo Lourenço
affea82b75 Fixes in base64 ane hex encoding 2020-02-24 16:16:39 +01:00
Jean-Christophe Filliatre
9e033eaa77 strings: make OCaml.length a partial function 2020-02-21 10:33:52 +01:00
Jean-Christophe Filliatre
b13bca590c updated proof sessions using strings 2020-02-20 15:28:46 +01:00
Cláudio Belo Lourenço
99b8d3fa46 Spliting encoding into two files 2020-02-12 15:19:54 +01:00