share/analysis-scripts/build.py · 8e7c637028a55cf74235af257085c6d3baaa8cc3 · pub / frama-c

"git@git.frama-c.com:pub/open-source-case-studies.git" did not exist on "f939f27c606732a930bd0f6bf8d4b040f901eb33"

3 years ago

[analysis-scripts] improve and distribute estimate-difficulty executable · 8e7c6370

Andre Maroneze authored 3 years ago

Allow estimate-difficulty to be exported (in Linux/macOS/Windows) as
independent executable, so that it can be used without having to install
Frama-C.

8e7c6370

History

[analysis-scripts] improve and distribute estimate-difficulty executable

Andre Maroneze authored 3 years ago

Allow estimate-difficulty to be exported (in Linux/macOS/Windows) as
independent executable, so that it can be used without having to install
Frama-C.