Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
54ae5e5e
Commit
54ae5e5e
authored
Mar 30, 2021
by
Basile Desloges
Browse files
[eacsl] Update changelog
parent
6b3d729d
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/plugins/e-acsl/doc/Changelog
View file @
54ae5e5e
...
...
@@ -25,6 +25,8 @@
Plugin
E
-
ACSL
<
next
-
release
>
############################
-*
runtime
[
2021
-
03
-
30
]
Fix
the
end
address
of
the
memory
segments
in
the
RTL
layouts
.
-
E
-
ACSL
[
2021
-
03
-
25
]
Add
support
for
`
check
`
and
`
admit
`
annotations
(
frama
-
c
/
e
-
acsl
#
142
).
-*
E
-
ACSL
[
2021
-
03
-
25
]
Fix
wrong
computation
of
the
base
pointer
when
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment