Sophie Lathouwers
Sophie Lathouwers
In case someone is interested, Sebastiaan has made SplitVerify (https://github.com/utwente-fmt/vercors/tree/dev/SplitVerify) which splits a (verification) file into smaller chunks for verification. We are still keeping this issue open because SplitVerify is...
Update: We have examples that use the backend dafny, carbon, boogie and chalice (or silicon). All examples that are annotated with "//:: tools dafny", "//:: tools carbon", "//:: tools boogie",...
As promised, here is a list of all examples that used either dafny, carbon, boogie or chalice as a backend. Trying to verify one of these examples with the specified...