TritonVM / triton-vm / 9488003495

Builds Branch Commit Type Ran Committer Via Coverage
9488003495 master perf: Compress compressible constraints A number of constraints are mutually exclusive and can be summed. More importantly than being mutually exclusive, the set of those constraints has Hamming weight 1. This implies they can safely (and soundly... push jan-ferdinand github
99.31
9427286510 master style: Enable additional lints push jan-ferdinand github
99.32
9427232998 master style: Enable additional lints push jan-ferdinand github
99.32
9427198035 master style: Enable additional lints push jan-ferdinand github
99.24
9426915136 pick_place Merge e18d3c3cb into 3aa95dd09 Pull #297 web-flow github
99.34
9426914851 master style(test): Avoid unnecessary file access Also avoids an unnecessary `.clone()`. push jan-ferdinand github
99.32
9422879219 master feat: Parallelize table extension (#294) The extension process is already parallelized over all tables. This PR increases parallelization over all *columns*, even within some tables. Additionally, it adds functionality for slicing a mutable 2d ... push web-flow github
99.32
9416514217 asz/parallel-table-extension Merge 05a1f1e9d into c683170e7 Pull #294 web-flow github
99.32
9414765705 pick_place Merge 7b63e76c9 into c683170e7 Pull #297 web-flow github
99.33
9414653775 master fix: Initialize vector before calling `.set_len()` The previous use of `.set_len()` did not uphold the safety contract, resulting in undefined behavior. [0, 1] Initializing the spare capacity before setting the length makes the behavior defined. ... push jan-ferdinand github
99.28
9407691200 asz/parallel-table-extension Merge d3214e284 into 3e15ff9a8 Pull #294 web-flow github
99.31
9407587014 asz/parallel-table-extension Merge 2c7124bfb into 3e15ff9a8 Pull #294 web-flow github
99.31
9407575867 asz/parallel-table-extension Merge 2465cfca9 into 3e15ff9a8 Pull #294 web-flow github
99.31
9403890626 asz/parallel-table-extension Merge eb3ba865b into 3e15ff9a8 Pull #294 web-flow github
99.32
9403879768 asz/parallel-table-extension Merge f17a8be2f into 3e15ff9a8 Pull #294 web-flow github
99.32