devel_tools · ab1e8fecd4d2faf2f3ed27a7d6be8e5245c7e855 · Charles Southerland / frama-c

An error occurred while fetching folder content.

Forked from pub / frama-c

Source project has a limited visibility.

Virgile Prevosto authored 6 years ago

Note: at some point, it might be useful to make `term` and `pred` take a
`kinstr` as argument to have a better scope for typechecking.

2d0409a6

Name	Last commit	Last update
..