Skip to content

Commit 3cb3645

Browse files
sim642sim642
committed
Add CHANGELOG for v2.7.1
1 parent 0844c26 commit 3cb3645

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.7.1 Bamboozled Buffalo
2+
* Add library function specifications for fortified `inet_pton` and `inet_ntop` (#1883).
3+
14
## v2.7.0 Bamboozled Buffalo
25
Functionally equivalent to Goblint in SV-COMP 2026.
36

0 commit comments

Comments
 (0)