Skip to content
This repository was archived by the owner on Feb 14, 2025. It is now read-only.

Support Frama-C 20 #38

Open
begarco opened this issue May 10, 2020 · 0 comments
Open

Support Frama-C 20 #38

begarco opened this issue May 10, 2020 · 0 comments
Labels
enhancement
Milestone
V3.0.0

Comments

@begarco
Copy link
Contributor

begarco commented May 10, 2020

Is your feature request related to a problem? Please describe.

A clear and concise description of what the problem is. Ex. I'm always frustrated when [...]

This plugin should be aligned with the Frama-C releases.

Describe the solution you'd like

A clear and concise description of what you want to happen.

Add support of Frama-C 20.
@begarco begarco added this to the V3.0.0 milestone May 10, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
V3.0.0
Development

No branches or pull requests
1 participant
@begarco