Software Open Access
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Logic'. It contains the Diaframe 2.0 source code, a VM containing a compiled version of this source code, and instructions for evaluation.
Diaframe 2.0's current development can be found here.
Name | Size | |
---|---|---|
diaframe2-artifact-oopsla-2023.ova
md5:58ae4d5fd056ada91bf3970249f4dd3f |
7.3 GB | Download |
diaframe2-artifact-source.tgz
md5:d3b6518bc146ec6e2010741a0c251487 |
29.1 MB | Download |
LICENSE
md5:3faedc3fe84752e2f6e5794c61e4e67a |
1.5 kB | Download |
README.md
md5:97ba34560850c5c0766ade6d524d1701 |
32.8 kB | Download |
All versions | This version | |
---|---|---|
Views | 47 | 22 |
Downloads | 18 | 4 |
Data volume | 66.1 GB | 7.4 GB |
Unique views | 37 | 18 |
Unique downloads | 12 | 1 |