1
98%
master: 98%

Ran 30 May 2024 07:13AM UTC

Files 43

Run time 1s

Badge

Embed ▾

Committed 30 May 2024 06:17AM UTC coverage: 99.281% (-0.04%) from 99.317%

Job # 9298040551.1

Build Type

push

github

Committed by

jan-ferdinand

Commit Message

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 performance or soundness, while reducing the
the performance impact of the two instructions.

Run Details

44050 of 44369 relevant lines covered (99.28%)

3970248.64 hits per line

TritonVM / triton-vm / 9298040551 / 1
98%
master: 98%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 9298040551.1

TritonVM / triton-vm / 9298040551 / 1 98% master: 98%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 9298040551.1

TritonVM / triton-vm / 9298040551 / 1
98%
master: 98%

README BADGES
x