Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
Gillian
Light Logo Dark Logo
  • Installation
  • Developing Gillian
  • The Gillian Debugger
  • API reference

Instantiations

  • Gillian-C
    • Symbolic Testing
    • PLDI’20 Artefact Documentation
      • Folder Structure
      • Symbolic Testing
  • Kanillian (Alternative C Instantiation)
  • Gillian-JS
    • Symbolic Testing
    • PLDI’20 Artefact Documentation
      • Folder Structure
      • JS-2-GIL and Test262
      • Symbolic Testing
  • Gillian-Rust

About Gillian

  • Publications
    • Compositional Symbolic Execution, Part I
    • Matching Plans
    • Symbolic Debugging with Gillian
    • Gillian, Part II
    • Gillian, Part I
    • JaVerT 2.0
    • Cosette
    • JaVerT
  • Other Gillian-related Publications
  • Copyright and License
Back to top
View this page

PLDI’20 Artefact Documentation¶

The following is the C artefact documentation for the Gillian, Part I PLDI’20 submission

  • Folder Structure
  • Symbolic Testing
Next
Folder Structure
Previous
Symbolic Testing
Copyright © Gillian Team @ Imperial College London
Made with Sphinx and @pradyunsg's Furo