rename preamble to preambleDandelion, minor beautifications for CakeML connection
Showing
- approxCompErrScript.sml 1 addition, 1 deletionapproxCompErrScript.sml
- approxPolyScript.sml 4 additions, 5 deletionsapproxPolyScript.sml
- bitArithScript.sml 1 addition, 1 deletionbitArithScript.sml
- checkerDefsScript.sml 1 addition, 1 deletioncheckerDefsScript.sml
- checkerScript.sml 1 addition, 1 deletioncheckerScript.sml
- drangScript.sml 1 addition, 1 deletiondrangScript.sml
- euclidDivScript.sml 1 addition, 1 deletioneuclidDivScript.sml
- floverConnScript.sml 1 addition, 1 deletionfloverConnScript.sml
- hintScript.sml 1 addition, 1 deletionhintScript.sml
- mcLaurinApproxScript.sml 1 addition, 1 deletionmcLaurinApproxScript.sml
- moreRealScript.sml 1 addition, 1 deletionmoreRealScript.sml
- pointCheckerProofsScript.sml 1 addition, 1 deletionpointCheckerProofsScript.sml
- preambleDandelion.sml 1 addition, 1 deletionpreambleDandelion.sml
- realPolyProofsScript.sml 1 addition, 1 deletionrealPolyProofsScript.sml
- realPolyScript.sml 1 addition, 1 deletionrealPolyScript.sml
- realZeroLib.sml 172 additions, 2 deletionsrealZeroLib.sml
- renameScript.sml 1 addition, 1 deletionrenameScript.sml
- sturmComputeScript.sml 129 additions, 75 deletionssturmComputeScript.sml
- sturmScript.sml 1 addition, 1 deletionsturmScript.sml
- transcApproxSemScript.sml 19 additions, 19 deletionstranscApproxSemScript.sml
Loading
Please register or sign in to comment