Skip to content

Releases: jabocken/SSM-Construction

Final Version of PLDI 2022 Artifact

05 Mar 08:32
@jabocken jabocken
v2.0.0.2
bd2b3be
Compare
Choose a tag to compare
Final Version of PLDI 2022 Artifact Latest
Latest

This release is the final published artifact for the PLDI 2022 paper "Formally Verified Lifting of C-compiled x86-64 Binaries".

Assets 2
Loading

Revised PLDI 2022 Artifact

03 Mar 14:39
@jabocken jabocken
v2.0.0.1
7912f4a
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Revised PLDI 2022 Artifact

This release is the published artifact for the PLDI 2022 paper "Formally Verified Lifting of C-compiled x86-64 Binaries" with some tweaks.

Assets 2
Loading

PLDI 2022 Artifact

01 Mar 19:45
@jabocken jabocken
v2.0.0.0
4953b54
Compare
Choose a tag to compare
PLDI 2022 Artifact

This release is the published artifact for the PLDI 2022 paper "Formally Verified Lifting of C-compiled x86-64 Binaries".

Assets 2
Loading