package frama-c-lannotate
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
Lannotate plugin of Frama-C, part of the LTest suite
Install
dune-project
Dependency
Authors
Maintainers
Sources
lannotate-0.2.5.tar.bz2
md5=bbea9beadbc380fb464c478fca022d80
sha512=fc4a748987dc76cb3113d83ab1158fbc07caaf9c1844383d8caeef81646a98cdbf8c4cbeec1029d717870648bd33ba1045dffb5c7b087734de4cf3be9bfed44f
doc/CHANGELOG.html
Version 0.2.5
- Compatibility with Frama-C 32.0 Germanium
Version 0.2.4
- Compatibility with Frama-C 31.0 Gallium
Version 0.2.3
- Compatibility with Frama-C 29.0 Copper
- Update Frama-C dependency in dune and opam files
- Fix a regression regarding the activation of LAnnotate when it should not have been enabled
Version 0.2.1
- compatibility with Frama-C 27.0 Cobalt
Version 0.2
- Compatibility with Frama-C 25.0 Manganese
- Fix small issues with RCC and BDUC criteria
Version 0.1: first public release
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>