Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
17b2a353
Commit
17b2a353
authored
Nov 16, 2020
by
Basile Desloges
Browse files
[eacsl] Update changelog
parent
f14e917c
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/plugins/e-acsl/doc/Changelog
View file @
17b2a353
...
...
@@ -29,6 +29,7 @@ Plugin E-ACSL <next-release>
Plugin
E
-
ACSL
22.0
(
Titanium
)
#############################
-*
E
-
ACSL
[
2020
-
11
-
16
]
Fix
initialization
check
for
heap
memory
.
-
E
-
ACSL
[
2020
-
10
-
14
]
Add
Support
for
Variadic
generated
functions
in
the
AST
(
frama
-
c
/
e
-
acsl
#
128
).
-
E
-
ACSL
[
2020
-
10
-
06
]
Add
support
for
the
`\
separated
`
predicate
.
...
...
Write
Preview
Markdown
is supported
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