Skip to content

Commit 705bc3a

Browse files
sim642sim642
committed
Add CHANGELOG for v2.0.1
1 parent e655b16 commit 705bc3a

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

‎CHANGELOG.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,6 @@
1+
## v2.0.1
2+
* Fix compilation with z3.
3+
14
## v2.0.0
25
Goblint "lean" release after a lot of cleanup.
36

0 commit comments

Comments
 (0)