Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.029Jul282019181514129Feb764128Jan27252421201914131211765422Dec29Nov2625242018171615119715Oct10965432129Sep27242220191817161513121095130Aug2726252423201918171613121110921Jul1916151298530Jun29282524232215141110973Aug30Jul2315830Jun252212MayUse binary againmainmainRevert "Remove buggy regression test"Remove buggy regression testRemove unused test fileRemove unnnecessary printingFix bitArithLib divergenceRemove calls to 'use_karatsuba'Fix binary folder for new HOL4 real structureUpdate ci to use latest CakeML masterFix bug in bitArithLibMake CI more stringent to see error messages properlyFix HolmakefileFix broken HolmakefileUpdate Dandelion to properly use bit arithmeticAdd missing soundness theoremAdd a bit of documentation to filesAdd some explanation of the testcases to the READMEMove examples for REAL_INEQ_TAC into a separate directoryUpdate testcasesRemove old testcasesAdd support for better approximations if propagated error is 0Add some instructions to READMEAdd a number of new benchmarks for evaluationUpdate binary extractionMake tool more robust, fix arctan and log approximationsMinor updates, add benchmarks used in paperUpdate testcasesAdd sqrt replacement passUpdate metitarski scriptMake realZeroLib emit a good error messageFix error and computation of logAdd more testcasesClean up sturmComputeAdd updated version of eval scripts, simplify some lib filesRename testcases, do a proper runMerge branch 'sqrt_approx' into 'main'ahh frustating. finally removed all occurences of elementary function in the sqrt_err defjust noticed another mention of an elementary function in the sqrt_err def and removed itMerge branch 'main' into sqrt_approxmodified the sqrt_error def