Add changes for 1.8.2

Author: sim642

CHANGES

@@ -1,3 +1,8 @@
+18 November 2021: goblint-cil-1.8.2
+
+    * Add columns to locations.
+    * Add support for __int128, __int128_t and __uint128_t.
+
 18 May 2021: goblint-cil-1.8.0
 
     * Proper support for C99, (#9) and VLAs in particular (#5, #7)

README.md

@@ -15,6 +15,7 @@ an incomplete list of some of the ways `goblint-cil` improves upon CIL:
 - Large integer constants that do not fit in an OCaml `int` are represented as a
   `string` instead of getting truncated
 - Syntactic search extension ([#21][pr21])
+- More precise locations (with columns)
 - Some warnings were made optional
 - Unmaintained extensions ([#30][pr30]) were removed
 - Many bug fixes

goblint-cil.opam

@@ -11,6 +11,7 @@ Changes:
 - Support for more recent OCaml versions (≥ 4.06)
 - Large integer constants that do not fit in an OCaml int are represented as a string instead of getting truncated
 - Syntactic search extension
+- More precise locations (with columns)
 - Some warnings were made optional
 - Unmaintained extensions were removed
 - Many bug fixes"""