1.0 Beta 4

Gobra-IDE: commit 39146ec
Gobra: commit dd374b4fe6d19cb8d2d338cee0cd7493e619295c
ViperServer: commit 3e7d117298c2c7766f25706eb0ccd360f33762d1
Silicon: commit 4dbb81fc9c3470ba9608eda5f08932962aee5479
Carbon: commit 4cdea1baeefbfd741ee2d0157e7c43337d84fe44
Silver: commit 3ea54220f1d2bc4adcc3151fa2080c198dbbd641

1.0 Beta 3

Gobra-IDE: commit 2ccb89a
Gobra: commit b3cd4dd48f09ad24f50bfac5bb011ed34f62e123
ViperServer: commit 3e7d117298c2c7766f25706eb0ccd360f33762d1
Silicon: commit 4dbb81fc9c3470ba9608eda5f08932962aee5479
Carbon: commit 4cdea1baeefbfd741ee2d0157e7c43337d84fe44
Silver: commit 3ea54220f1d2bc4adcc3151fa2080c198dbbd641

1.0 Beta 2

Gobra-IDE: commit eec2068
Gobra: commit 0867cf3477acc6cb0f0a031329f4c027bb21c012
ViperServer: commit 54e37aac4638af967b99908e9662a088add85aad
Silicon: commit 0964fff490c374f2ab7f2dcff4b19a1d6c05658a
Carbon: commit 3b58d4f688eed1da27edf98d2636780ec2f63c6d
Silver: commit 3f12277a2139f23dbbaacb822f211a254fb9e67f

1.0 Beta 1

v1.0-beta.1

fixes CI for creating releases

1.0 Alpha 2

This is not a release and is only used to boot strap Gobra IDE such that there is at least one non-pre-release.
Note that the assets have not specifically been built for this release but were taken from the last nightly builds using the following commits:
Gobra-IDE: commit 64b79f5
Gobra: commit 973c095cbc74636e8632d4d0cbd7c61f1bc2c2e3
ViperServer: commit 9be20638d683f948a4f977927009af55b24d6682
Silicon: commit 0964fff490c374f2ab7f2dcff4b19a1d6c05658a
Carbon: commit 3b58d4f688eed1da27edf98d2636780ec2f63c6d
Silver: commit 62e6c2bf8f9aca2a867127d417057fe255ed6232

1.0 Alpha 1

Alpha 1 release to test deployment of stable Gobra Tools