projects / ocaml-eqaf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Import ocaml-eqaf_0.8.orig.tar.bz2
authorStéphane Glondu <glondu@debian.org>
Mon, 22 Nov 2021 16:03:45 +0000 (17:03 +0100)
committerStéphane Glondu <glondu@debian.org>
Mon, 22 Nov 2021 16:03:45 +0000 (17:03 +0100)
commit12790c20977dfc3296980237df4a350cbb3150b5
tree9e107c84b2d1d2d657a009351efca2ebfd16ed8btree | snapshot
Import ocaml-eqaf_0.8.orig.tar.bz2

[dgit import orig ocaml-eqaf_0.8.orig.tar.bz2]
47 files changed:
.cirrus.yml [new file with mode: 0644] blob
.github/workflows/test.yml [new file with mode: 0644] blob
.gitignore [new file with mode: 0644] blob
.ocamlformat [new file with mode: 0644] blob
CHANGES.md [new file with mode: 0644] blob
LICENSE.md [new file with mode: 0644] blob
README.md [new file with mode: 0644] blob
attack/attack.ml [new file with mode: 0644] blob
attack/dune [new file with mode: 0644] blob
attack/microtime.c [new file with mode: 0644] blob
attack/microtime.ml [new file with mode: 0644] blob
check/README.md [new file with mode: 0644] blob
check/benchmark.ml [new file with mode: 0644] blob
check/check.ml [new file with mode: 0644] blob
check/dune [new file with mode: 0644] blob
check/fmt.ml [new file with mode: 0644] blob
check/linear_algebra.ml [new file with mode: 0644] blob
check/unsafe_pre407.ml [new file with mode: 0644] blob
check/unsafe_pre408.ml [new file with mode: 0644] blob
check/unsafe_stable.ml [new file with mode: 0644] blob
clock/clock_linux.ml [new file with mode: 0644] blob
clock/clock_linux_stubs.c [new file with mode: 0644] blob
clock/clock_mach.ml [new file with mode: 0644] blob
clock/clock_mach_stubs.c [new file with mode: 0644] blob
clock/clock_windows.ml [new file with mode: 0644] blob
clock/clock_windows_stubs.c [new file with mode: 0644] blob
clock/dune [new file with mode: 0644] blob
clock/select/select.ml [new file with mode: 0644] blob
config/config.ml [new file with mode: 0644] blob
config/dune [new file with mode: 0644] blob
dune-project [new file with mode: 0644] blob
eqaf.opam [new file with mode: 0644] blob
fuzz/dune [new file with mode: 0644] blob
fuzz/fuzz.ml [new file with mode: 0644] blob
lib/dune [new file with mode: 0644] blob
lib/eqaf.ml [new file with mode: 0644] blob
lib/eqaf.mli [new file with mode: 0644] blob
lib/eqaf_bigstring.ml [new file with mode: 0644] blob
lib/eqaf_bigstring.mli [new file with mode: 0644] blob
lib/eqaf_cstruct.ml [new file with mode: 0644] blob
lib/eqaf_cstruct.mli [new file with mode: 0644] blob
lib/unsafe_pre407.ml [new file with mode: 0644] blob
lib/unsafe_pre408.ml [new file with mode: 0644] blob
lib/unsafe_stable.ml [new file with mode: 0644] blob
test/dune [new file with mode: 0644] blob
test/test.ml [new file with mode: 0644] blob
test/test_branch.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.