dhruvhead/rlibm-32 - Morph

SIGN IN SIGN UP

dhruvhead / rlibm-32 UNCLAIMED

0 0 0 C

1 branch

Santosh Nagarakatte Addding the RLIBM project page

f954197 · 5y ago · 38 Commits

	external
	functiongen
	GenerateOracleFiles
	helper
	include
	IntervalGen
	rlibmCorrectnessTest
	source
	testing
	.DS_Store		14.0 KB
	.gitignore		18 B
	env.sh		238 B
	floatFunctionGen.sh		958 B
	floatIntervalGen.sh		2.1 KB
	LICENSE		1.0 KB
	Makefile		1.2 KB
	posit32FunctionGen.sh		1010 B
	posit32IntervalGen.sh		1.6 KB
	README.md		12.1 KB
	runTestFloat.sh		578 B
	runTestPosit.sh		302 B