Skip to content

Commit

Permalink
Merge branch 'veristat: replay, filtering, sorting'
Browse files Browse the repository at this point in the history
Andrii Nakryiko says:

====================

This patch set adds a bunch of new featurs and improvements that were sorely
missing during recent active use of veristat to develop BPF verifier precision
changes. Individual patches provide justification, explanation and often
examples showing how new capabilities can be used.
====================

Signed-off-by: Alexei Starovoitov <ast@kernel.org>
  • Loading branch information
Alexei Starovoitov committed Nov 4, 2022
2 parents aa3496a + d5ce4b8 commit af085f5
Showing 1 changed file with 727 additions and 160 deletions.
Loading

0 comments on commit af085f5

Please sign in to comment.