summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
devPhotoRec: Using bgz extension instead of gz for bgziped filesChristophe Grenier3 years
masterfile_*.c: add various Frama-C annotationsChristophe Grenier18 hours
 
TagDownloadAuthorAge
v7.1commit 3bb714e653...Christophe Grenier21 months
v7.0commit 1a22f378fb...Christophe Grenier6 years
v6.14commit 44ea67379c...Christophe Grenier8 years
v6.13commit fe1d27b519...Christophe Grenier9 years
v6.12commit cb7da27191...Christophe Grenier10 years
v6.11commit 36aa8d5907...Christophe Grenier12 years
v6.10commit 1dcd5bdd23...Christophe Grenier13 years
v6.9commit 206df0d5b4...Christophe Grenier13 years
 
AgeCommit messageAuthorFilesLines
18 hoursfile_*.c: add various Frama-C annotationsHEADmasterChristophe Grenier17-37/+42
18 hoursPhotoRec: check that file_check!=NULL before calling header_ignored()Christophe Grenier12-19/+43
18 hourssrc/file_vdi.c: add Frama-C annotationsChristophe Grenier1-45/+58
18 hourssrc/file_prc.c: add Frama-C annotationsChristophe Grenier1-29/+39
18 hourssrc/file_wpb.c: add Frama-C annotationsChristophe Grenier1-10/+21
18 hourssrc/file_wim.c: add a Frama-C annotationChristophe Grenier1-0/+1
18 hourssrc/file_vault.c: add Frama-C annotationsChristophe Grenier1-22/+46
18 hourssrc/file_tar.c: improve Frama-C annotationsChristophe Grenier1-29/+33
18 hourssrc/file_r3d.c: add Frama-C annotationsChristophe Grenier1-58/+97
18 hourssrc/file_prt.c: add Frama-C annotationsChristophe Grenier1-14/+36
[...]
 
Clone
https://git.cgsecurity.org/testdisk.git