BAP Plugins Repository
Stars
58
Forks
13
Watchers
Open Issues
3
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
223
commits
33
5
1
updates more plugins to the latest version of OCaml and Core
2e9aa5c
updates checkpath
f6e39fa
updates callstrings
dd6bcae
adds a new check-invariants pass
b7fabd1
updates the test-expect framework
fdc27b5
updates saluki to core v0.14
0dfa8b3
fixes a bug in a test artifact
63f61d2
updates the paper to the official one
4fdda52
updates default options for Saluki tests
67061bb
updates Saluki to BAP 2.0, adds coverage printing
dfdf71f
updates test-expect to the newer version of core
27fec68
adds the lifting benchmark
fe6cd63
updated code base (#28)
1c3be48
updates saluki to core-kernel 11
1a8fb78
updates acknowledgements in the paper
834c0ea