Remove hints for exp, replace by ceil function
Showing
- .gitlab-ci.yml 8 additions, 8 deletions.gitlab-ci.yml
- checkerDefsScript.sml 0 additions, 1 deletioncheckerDefsScript.sml
- checkerScript.sml 74 additions, 42 deletionscheckerScript.sml
- examples/mockUpCosScript.sml 1 addition, 2 deletionsexamples/mockUpCosScript.sml
- examples/mockUpExpHardScript.sml 1 addition, 2 deletionsexamples/mockUpExpHardScript.sml
- examples/mockUpExpScript.sml 1 addition, 2 deletionsexamples/mockUpExpScript.sml
- examples/mockUpSinScript.sml 1 addition, 2 deletionsexamples/mockUpSinScript.sml
- realZeroLib.sml 3 additions, 3 deletionsrealZeroLib.sml
Loading
Please register or sign in to comment