Add cosine to supported functions and create a verifiable script for it (2711b552) · Commits · AVA / Dandelion · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

Dandelion
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Environments
- Incidents

Snippets Groups Projects

2711b552

Commit 2711b552 authored 3 years ago by Heiko Becker

Downloads
- Patches
- Plain Diff

Add cosine to supported functions and create a verifiable script for it

parent 64631bb7

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 6
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

.gitignore 2 additions, 0 deletions

.gitignore
checkerScript.sml 98 additions, 30 deletions

checkerScript.sml
examples/mockUpScript.sml 106 additions, 13 deletions

examples/mockUpScript.sml
examples/sollya_inputs/cos_approx.sollya 61 additions, 0 deletions

examples/sollya_inputs/cos_approx.sollya
examples/sollya_inputs/exp_approx2.sollya 33 additions, 11 deletions

examples/sollya_inputs/exp_approx2.sollya
mcLaurinApproxScript.sml 81 additions, 17 deletions

mcLaurinApproxScript.sml

with 381 additions and 71 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment