Open Hub
Open Hub

 Settings |  Report Duplicate

10
I Use This!
Activity Not Available

Commits : Listings

Analyzed about 1 year ago. based on code collected about 1 year ago.
Jan 18, 2023 — Jan 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
src/file_bin.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_bim.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_bfa.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_berkeley.c: update Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_bdm.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_bac.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_axx.c: Fix Frama-C warnings
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_axp.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_au.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_atd.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_asm.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_asl.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_asf.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_ari.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_apple.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_ape.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_apa.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_amr.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_ace.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_amd.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_als.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/hdaccess.c: Do not use /dev/sdX anymore under cygwin
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_all.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_aif.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_ahn.c: Improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_afdesign.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/fidentify.c: call file_rename_*() when available but only for Frama-C validation
cgrenier
as Christophe Grenier
More... over 3 years ago
src/fidentify.c: call data_check_*() when available for better file check
cgrenier
as Christophe Grenier
More... over 3 years ago
src/fidentify.c: add more Frama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago
src/file_ado.c: Update FRama-C annotations
cgrenier
as Christophe Grenier
More... over 3 years ago