TritonVM / triton-vm / 15843547387

Builds Branch Commit Type Ran Committer Via Coverage
15843547387 master fix: Fix upcoming linter warnings In particular, fix these lints: - mismatched_lifetime_syntaxes - clippy::doc_overindented_list_items - clippy::double_ended_iterator_last changelog: ignore push jan-ferdinand github
97.96
15685780404 master chore: Update license to MIT OR Apache-2.0 push jan-ferdinand github
98.02
15685774711 dualicense Merge c012d3adf into cda25b912 Pull #358 web-flow github
97.97
15685767511 master test: Remove dead code The use that this code was probably intended for is already covered by the test function `evaluate_assert_unique`. push jan-ferdinand github
97.94
15676126026 dualicense Merge 0f5a5cf71 into ac91d15d8 Pull #358 web-flow github
98.02
15585543503 master docs: Fix intra-doc links push jan-ferdinand github
97.99
15469197924 master fix: Correctly accept high-security proofs Previously, proofs produced with very high security factors (239 bits and higher) were considered invalid. Now, the correct length of the trace domain is used in the verifier, which correctly classifies ... push jan-ferdinand github
98.05
15304123441 master fix: Use rayon's thread count for parallelization Previously, `std::thread::available_parallelism()` was used directly to determine the size of the workload to be used in individual parallel workers. The number of available parallelism is difficu... push jan-ferdinand github
97.99
15304112103 lde_ram Merge b66d0f2fb into eec849194 Pull #356 web-flow github
97.96
15303396532 lde_ram Merge b85c8d3a3 into eec849194 Pull #356 web-flow github
97.99
15274699653 master docs: Link to Triton CLI's “Profiling” section push jan-ferdinand github
97.91
15214949481 master feat(profiler): Report memory consumption Track the resident set size (rss) whenever a task is started or stopped, and include the maximum encountered rss in the final report. Additionally, for each task, report the (averaged over number of itera... push jan-ferdinand github
98.0
15214760683 rss_in_profile Merge 0eaac39e9 into 9407c960e Pull #355 web-flow github
98.0
15213023090 rss_in_profile Merge 17118f1a2 into 9407c960e Pull #355 web-flow github
97.98
15212426746 rss_in_profile Merge 8a41b3a48 into 9407c960e Pull #355 web-flow github
98.0