?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: fad69ee) | patch
compute a list length as a 63-bit integer
commit4791086e9e02278d95bfbeb07be0d37da1bd3b97
authorClaude Marche <Claude.Marche@inria.fr>
Mon, 2 Sep 2024 09:27:27 +0000 (2 11:27 +0200)
committerClaude Marche <Claude.Marche@inria.fr>
Mon, 2 Sep 2024 09:27:27 +0000 (2 11:27 +0200)
tree8d8d04968b6bcae2affe895159e6e6328907a80etree | snapshot (tar.gz zip)
parentfad69ee1de62ad76dbc5ad8a00d94cc113d38244commit | diff
compute a list length as a 63-bit integer
extraction_drivers/ocaml64.drv diff | blob | blame | history
stdlib/mach/list.mlw [new file with mode: 0644] blob
A platform for deductive program verification