TritonVM / triton-vm / 9298044973
98%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 43
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 99.277% (-0.04%) from 99.317%
9298044973

push

github

jan-ferdinand 
perf: Sum mutually exclusive constraints

Both instructions `swap` and `dup` have many constraints that are
mutually exclusive. It is possible to sum mutually exclusive constraints
without impacting either completeness or soundness, while reducing the
the performance impact of the two instructions.

47 of 47 new or added lines in 1 file covered. (100.0%)

17 existing lines in 3 files now uncovered.

44048 of 44369 relevant lines covered (99.28%)

4082616.43 hits per line

Jobs
ID Job ID Ran Files Coverage
1 9298044973.1 0
99.28
 GitHub Action Run
Source Files on build 9298044973
Detailed source file information is not available for this build.