Gillian-JS: Introduction

important

Everything this section is true at the time of artifact submission for PLDI 2020 on 28th February 2020.

Gillian-JS is the instantiation of Gillian to JavaScript (ECMAScript ES5 Strict). It can be found in the Gillian-JS folder of the repository.

In this section, we start by describing its structure. We then detail the results related to the compiler JS-2-GIL. Finally, we explain how to write symbolic tests.