1.1.0

sim642 released this 26 Nov 12:00

· 12156 commits to master since this release

5e1a53e

CHANGES:

Goblint "fat" release containing 4 years of development.
This version is functionally equivalent to Goblint in SV-COMP 2022.

Assets 3