Files

bitstring_lib

Oct 31, 2022

9439a70 · Oct 31, 2022

This branch is 3 commits ahead of, 73 commits behind o1-labs/snarky:master.

Name	Name	Last commit message	Last commit date
parent directory ..
bitstring.ml	bitstring.ml	[ci] added tests in github action	Feb 25, 2022
bitstring.mli	bitstring.mli	add padding functions to bitstring lib (o1-labs#353 )	Aug 8, 2019
dune	dune	Update bisect ppx -conditional arg to double-dashed (o1-labs#532 )	Sep 25, 2020