projects / ocaml-eqaf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Import ocaml-eqaf_0.9.orig.tar.bz2
authorStéphane Glondu <glondu@debian.org>
Sat, 21 Jan 2023 08:57:42 +0000 (09:57 +0100)
committerStéphane Glondu <glondu@debian.org>
Sat, 21 Jan 2023 08:57:42 +0000 (09:57 +0100)
commit72de8377471fb760c23ffce0a79e097b84d165a7
treeeb4cf9bd2a193047ced61c2870a81de5195a0174tree | snapshot
Import ocaml-eqaf_0.9.orig.tar.bz2

[dgit import orig ocaml-eqaf_0.9.orig.tar.bz2]
49 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
Makefile [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/bench.ml [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.