Attestor v0.4.0

This version introduces support for a fragment of symbolic heap separation logic with user-supplied inductive predicate definitions which are compiled internally into hyperedge replacement grammars.
Similarly, symbolic heaps as initial states instead of heap configurations.

Installation instructions and further information about the tool are found here.
For a collection of benchmarks, please confer this repository.

Binaries are also found in maven central.