1
98%
master: 98%

Ran 30 May 2024 07:14AM UTC

Files 43

Run time 1s

Badge

Embed ▾

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

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

Run Details

44048 of 44369 relevant lines covered (99.28%)

4082616.43 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 9298044973.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 9298044973.1

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

README BADGES
x