Skip to content

32bit arch

yoshihiro503 requested to merge proof_ninja/plebeia:yoshihiro503@32bit-arch into jun@32bit-arch

Introduced Cell_map and Cells modules as alternatives Bigstring and Xcstruct.

testing

dune exec tests/test_cell_map.exe
Edited by yoshihiro503

Merge request reports