javert-popl19-artifact

Project information

Instructions for the artifact that accompanies submission #189, "Compositional Symbolic Analysis for JavaScript: Unifying Symbolic Execution and Separation Logic", by José Fragoso Santos, Petar Maksimović, Gabriela Sampaio, and Philippa Gardner

3 Commits
1 Branch
0 Tags

README

Created on

October 16, 2018

Copy SSH clone URLgit@gitlab.doc.ic.ac.uk:pmaksimo/javert-popl19-artifact.git
Copy HTTPS clone URLhttps://gitlab.doc.ic.ac.uk/pmaksimo/javert-popl19-artifact.git