Skip to content

1.1.0
Compare
Choose a tag to compare
@sim642 sim642 released this 26 Nov 12:00
· 9804 commits to master since this release
v1.1.0
5e1a53e

CHANGES:

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

Assets 3
Loading