WISL

WISL is an instantiation of Gillian for a simple while language with a C-style block-offset memory model. It can be found in the wisl folder of the Gillian repository.