Skip to content

Tags: mahaloz/sailr-eval

Tags

v1.6.0

Toggle v1.6.0's commit message
bump version

v1.5.2

Toggle v1.5.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Fix/bump cfgutils (#13)

* Bump cfgutils API use

* bump vers

v1.5.1

Toggle v1.5.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Use new API for AIL graph in angr (#12)

v1.5.0

Toggle v1.5.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Delay the imports of PyJoern for less data installs (#11)

v1.4.2

Toggle v1.4.2's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
Bump cfgutils (#10)

* Bump cfgutils

* another bump

v1.4.1

Toggle v1.4.1's commit message
Bump

v1.4.0

Toggle v1.4.0's commit message
Update README for reproducible commit

v1.2.0

Toggle v1.2.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Verify numbers produced in pipeline verification (#6)

* Better verification scripts

* Allow old versions

* Update number checking

* Update

* Remove uneeded CI files

* bump

* Add binutils

* Update the README

v1.1.0

Toggle v1.1.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Add a verification for users and CI (#4)

* Add initial code for a verification script

* Add a CI for verifying pipeline still works

* Add install line

* Add angr

* Update readme for verification script

v1.0.0

Toggle v1.0.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Remove builtin Joern, depend on PyJoern (#2)

* Remove builtin Joern, depend on PyJoern

* Update container for new pyjoern

* update setup

* Fix setup again

* update java version

* fix counting bug