Some progress on benchmarks, add tactic for proving inequalities
Showing
- checkerScript.sml 1 addition, 1 deletioncheckerScript.sml
- realZeroLib.sml 48 additions, 10 deletionsrealZeroLib.sml
- scripts/generate_daisy_certificates.sh 22 additions, 1 deletionscripts/generate_daisy_certificates.sh
- scripts/timing.sh 8 additions, 10 deletionsscripts/timing.sh
- testcases/timing/cert_axisRotationX_cosScript.sml 30 additions, 0 deletionstestcases/timing/cert_axisRotationX_cosScript.sml
- testcases/timing/cert_axisRotationX_sinScript.sml 30 additions, 0 deletionstestcases/timing/cert_axisRotationX_sinScript.sml
- testcases/timing/cert_axisRotationY_cosScript.sml 30 additions, 0 deletionstestcases/timing/cert_axisRotationY_cosScript.sml
- testcases/timing/cert_axisRotationY_sinScript.sml 30 additions, 0 deletionstestcases/timing/cert_axisRotationY_sinScript.sml
- testcases/timing/cert_azimuth_atanScript.sml 30 additions, 0 deletionstestcases/timing/cert_azimuth_atanScript.sml
- testcases/timing/cert_azimuth_cosScript.sml 30 additions, 0 deletionstestcases/timing/cert_azimuth_cosScript.sml
- testcases/timing/cert_azimuth_sinScript.sml 30 additions, 0 deletionstestcases/timing/cert_azimuth_sinScript.sml
- testcases/timing/cert_carthesianToPolar_radius_sqrtScript.sml 30 additions, 0 deletions...cases/timing/cert_carthesianToPolar_radius_sqrtScript.sml
- testcases/timing/cert_complex_sine_cosine_expScript.sml 30 additions, 0 deletionstestcases/timing/cert_complex_sine_cosine_expScript.sml
- testcases/timing/cert_complex_sine_cosine_sinScript.sml 30 additions, 0 deletionstestcases/timing/cert_complex_sine_cosine_sinScript.sml
- testcases/timing/cert_complex_square_root_sqrtScript.sml 30 additions, 0 deletionstestcases/timing/cert_complex_square_root_sqrtScript.sml
- testcases/timing/cert_compundExp2_cosScript.sml 7 additions, 7 deletionstestcases/timing/cert_compundExp2_cosScript.sml
- testcases/timing/cert_compundExp2_expScript.sml 8 additions, 8 deletionstestcases/timing/cert_compundExp2_expScript.sml
- testcases/timing/cert_compundExp2_sinScript.sml 8 additions, 8 deletionstestcases/timing/cert_compundExp2_sinScript.sml
- testcases/timing/cert_compundExp_cosScript.sml 8 additions, 8 deletionstestcases/timing/cert_compundExp_cosScript.sml
- testcases/timing/cert_compundExp_expScript.sml 8 additions, 8 deletionstestcases/timing/cert_compundExp_expScript.sml
Loading
Please register or sign in to comment