search

lambdaclass / cairo-vm_in_go

cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Apache License 2.0
57 stars 13 forks source link

Hints and proof mode documentation #286

Closed jrchatruc closed 1 year ago

codecov-commenter commented 1 year ago

Codecov Report

Merging #286 (adcceff) into main (067f139) will increase coverage by 57.60%. Report is 12 commits behind head on main. The diff coverage is n/a.

@@            Coverage Diff            @@
##           main     #286       +/-   ##
=========================================
+ Coverage      0   57.60%   +57.60%     
=========================================
  Files         0       45       +45     
  Lines         0     5611     +5611     
=========================================
+ Hits          0     3232     +3232     
- Misses        0     2078     +2078     
- Partials      0      301      +301

see 45 files with indirect coverage changes

:mega: We’re building smart automated test selection to slash your CI/CD build times. Learn more