package frama-c-metacsl
MetAcsl plugin of Frama-C for writing pervasives properties
Install
Dune Dependency
Authors
Maintainers
Sources
meta-0.4.tar.gz
md5=e8e8feff1a13cdcb505d379672bbd9a9
sha512=83a51b32d84a7ade48da6f1e6a232fb4f22abebe6aae29726d46e0d35eb74230dcb649a3474a37699d3a60687a7a6916158ecc74bbe998449227989d6b0080f4
CHANGELOG.md.html
Version 0.4
compatibility with Frama-C 26.0 Iron
ensure Wookey case study can be handled (with non-free ACSL-importer plug-in)
Version 0.3
compatibility with Frama-C 25.0 Manganese
Version 0.2
add warning category
unknown-func
which aborts by defaultadd
\func
meta-variables in all contextsremove unused
-meta-eacsl
optionmore simplification of trivial instances
add
\called_arg
family of meta-variables in\calling
context
Version 0.1: first public release
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>