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
PhotoRec: check that file_check!=NULL before calling header_ignored()
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_vdi.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_prc.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wpb.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wim.c: add a Frama-C annotation
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_vault.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_tar.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_r3d.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_prt.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_prd.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_pnm.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_mus.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_hm.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_dss.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_DB.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/filegen.c: add more Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_wim.c: rewrite header_check_wim(), add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_zpr.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_zip.c: Add more Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_zip.c: add Frama-C assigns clause to zip_parse_file_entry_fn
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_zip.c: exit zip_parse_file_entry_fn() when an extension is found
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_zip.c: remove krita parameter
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_zip.c: move some redundant code into zip_parse_parse_entry_mimetype()
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_zip.c: move several static variables to the top
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_zip.c: move structure to the top
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_zcode.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_z2d.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_xz.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_xv.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago
src/file_xsv.c: add Frama-C annotations
cgrenier
as Christophe Grenier
More... almost 4 years ago