gillian-instantiation-template Template for an instantiation of Gillian Start by implementing cmemory.ml, and then the ParserAndCompiler interface. Run using esy x instantiation --help