search

rse-verification / saida

ACSL contract verification
GNU General Public License v2.0
1 stars 1 forks source link

Upgrade to Frama-C v29 #11

Closed woosh closed 1 week ago

woosh commented 2 weeks ago

Is there any known issues/drawbacks/opinions about (not) upgrading Saida to require v29 of Frama-C? There exists a Frama-C v29 branch already, but it would be nice to get that into the main branch in order to keep maintenance efforts at a minimum.

@palmskog @gustavung @jesper-amilon

woosh commented 1 week ago

Closed by 73af901eeeeb1002d8aec3a95dbcead901119a95