gillian-instantiation-template Template for an instantiation of Gillian Start by implementing cmemory.ml, and then the ParserAndCompiler interface. Run help using esy x instantiation --help Run the simple wpst example using esy x instantiation wpst tests/simple.gil -a