arnaucube
/
sonobe
mirror of https://github.com/arnaucube/sonobe.git
1
1
Fork 0
Code Issues Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
101 Commits
5 Branches
0 Tags
18 MiB
Tree: 8ba0165337
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from '8ba0165337'
${ noResults }
sonobe/.github/workflows/typos.toml

3 lines
53 B
Raw Normal View History

Add typos tool to CI to automate typo detection (#76) * Add typos to CI * Apply typos suggestions * missing typos
8 months ago
​
Implement OVA NIFS (#163) * feat: Basic Ova NIFS impl working The implementation follows the spec outlined by Bunz in: https://hackmd.io/V4838nnlRKal9ZiTHiGYzw?view. With this, the NIFS works and passes all tests. * chore: Resolve all TODOs and warnings * add: Docs for the NIMFS of the scheme and related structs * chore: update imports * add: Docs for all Ova NIFS functions * fix: Unify nomenclature for all variables and elements within NIFS tests * fix: Uniformize instance order in fn calls * chore: pass clippy * chore: clear all clippy findings in tests * chore: Remove `mimc` from spelling checks * chore: Address PR reviews
1 month ago
  1. [default.extend-words]
  2. groth = "groth"
  3. mimc = "mimc"