We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f1e59f6 commit c3ef49dCopy full SHA for c3ef49d
CHANGES
@@ -1,3 +1,9 @@
1
+## Unreleased
2
+* Add ends to locations, allowing for ranges.
3
+* Add additional expression locations to statements, etc.
4
+
5
+## Older versions
6
7
18 November 2021: goblint-cil-1.8.2
8
9
* Add columns to locations.
0 commit comments