Name		Name	Last commit message	Last commit date
drift_log		drift_log
.gitignore		.gitignore
.merlin		.merlin
Makefile		Makefile
README.md		README.md
d2.ml		d2.ml
dichotomy.ml		dichotomy.ml
dichotomy_test.ml		dichotomy_test.ml
drift.c		drift.c
float.ml		float.ml
rounding_stub.c		rounding_stub.c
test.ml		test.ml

Repository files navigation

Abstract floats

Sets of floats and operations over them

Coverage report can be found here

About

Sets of floats and operations over them

0 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages