Skip to content
Commit be0cfd6a authored by Gilles Mouchard's avatar Gilles Mouchard
Browse files

Fixed bugs when updating annotations and comments in Frama-C C parsing service. 

Improved Frama-C C parsing service using Frama-C built-in JSON compilation database support.
Added support for jobs and logger in Frama-C C parsing service.
parent 7de223c5
Pipeline #10139 passed with stage
in 43 minutes and 3 seconds
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment