Upgrade to require Frama-C v29

rse-verification / interface-specification-propagator

GNU General Public License v2.0

0 stars 0 forks source link

Upgrade to require Frama-C v29 #17

Open woosh opened 2 months ago

woosh commented 2 months ago

Is there any known issues/drawbacks/opinions about (not) upgrading ISP 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

jesper-amilon commented 2 months ago

No drawbacks as far as I am aware. I think we should upgrade the main branch.