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