Skip to content
Snippets Groups Projects
Commit a41c1b36 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

bump Frama-C version

parent 64c8773a
No related branches found
No related tags found
1 merge request!44add mbedtls as case study
Pipeline #61447 passed
Stage: test
    Hide whitespace changes
    Inline Side-by-side
    Showing
    with 1 addition and 1 deletion
    frama-c @ 49876062
    Compare 662ed539...49876062
    Subproject commit 662ed53929a947e74a2aef706710802ea1e22288
    Subproject commit 498760623a093ddbed2722fc7001e82df46689ad
    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