Gillian-JS#
Note
Everything this section is true at the time of artifact submission for PLDI 2020 on 2020/02/28.
Danger
Gillian-JS is currently broken (see here).
Gillian-JS is the instantiation of Gillian to JavaScript (ECMAScript 5 Strict), found in the Gillian-JS
folder of the repository.