TritonVM / triton-vm / 9006161903

98%

Build Type

push

github

Committed by jan-ferdinand

Commit Message

doc: add arithmetization overview page

Add a new page to the specification: arithmetization overview. It
contains two automatically generated tables, one summarizing the various
(algebraic execution) tables and their columns; the other summarizing
the various constraints. The code for generating these tables lives in
tests, which also check that the specification is in sync with what was
generated.

Run Details

267 of 269 new or added lines in 2 files covered. (99.26%)

56 existing lines in 2 files now uncovered.

44072 of 44404 relevant lines covered (99.25%)

3558712.71 hits per line