frama-c tags
https://git.frama-c.com/proidiot/frama-c/-/tags
https://git.frama-c.com/proidiot/frama-c/-/tags/22.0+r2
22.0+r2
Andre Maroneze
https://git.frama-c.com/proidiot/frama-c/-/tags/22.0+r1
22.0+r1
Loïc Correnson
https://git.frama-c.com/proidiot/frama-c/-/tags/22.0
22.0
Allan Blanchard
https://git.frama-c.com/proidiot/frama-c/-/tags/22.0-beta
22.0-beta
Allan Blanchard
https://git.frama-c.com/proidiot/frama-c/-/tags/2020-10-16
2020-10-16
Julien Signoles
https://git.frama-c.com/proidiot/frama-c/-/tags/21.1
21.1
Andre Maroneze
andre.oliveiramaroneze@cea.fr
https://git.frama-c.com/proidiot/frama-c/-/tags/21.0
21.0
Frama-C 21.0 (Scandium) release.
Andre Maroneze
andre.oliveiramaroneze@cea.fr
https://git.frama-c.com/proidiot/frama-c/-/tags/21.0-beta
21.0-beta
Andre Maroneze
https://git.frama-c.com/proidiot/frama-c/-/tags/Vessedia-D3.5
Vessedia-D3.5
Frama-C release as provided in Vessedia D3.5 deliverable
Patrick Baudin
https://git.frama-c.com/proidiot/frama-c/-/tags/20.0
20.0
Andre Maroneze
andre.oliveiramaroneze@cea.fr
https://git.frama-c.com/proidiot/frama-c/-/tags/19.1
19.1
Virgile Prevosto
https://git.frama-c.com/proidiot/frama-c/-/tags/19.0
19.0
David Bühler
https://git.frama-c.com/proidiot/frama-c/-/tags/18.0
18.0
David Bühler