summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* src/file_txt.c: recover cdxml and mol2 filesHEADmasterChristophe Grenier27 hours1-469/+165
* src/file_ttf.c: improve Frama-C annotationsChristophe Grenier28 hours1-7/+3
* src/file_tpl.c: improve Frama-C annotationsChristophe Grenier28 hours1-8/+3
* src/file_tph.c: improve Frama-C annotationsChristophe Grenier28 hours1-11/+5
* src/file_torrent.c: improve Frama-C annotationsChristophe Grenier28 hours1-7/+3
* src/file_tivo.c: improve Frama-C annotationsChristophe Grenier28 hours1-11/+5
* src/file_tiff*.[ch]: Fix Frama-C warningsChristophe Grenier28 hours4-61/+21
* src/file_tib.c: Fix Frama-C warningsChristophe Grenier28 hours1-37/+24
* src/file_tg.c: improve Frama-C annotationsChristophe Grenier44 hours1-8/+3
* src/file_tax.c: improve Frama-C annotationsChristophe Grenier45 hours1-8/+3
* src/file_tar.c: improve Frama-C annotationsChristophe Grenier45 hours1-9/+4
* src/file_swf.c: improve Frama-C annotationsChristophe Grenier45 hours1-35/+8
* src/file_studio.c: improve Frama-C annotionsChristophe Grenier46 hours1-7/+3
* src/file_stu.c: improve Frama-C annotationsChristophe Grenier47 hours1-8/+3
* src/file_stl.c: improve Frama-C annotationsChristophe Grenier47 hours1-7/+3
* src/file_steuer2014.c: improve Frama-C annotationsChristophe Grenier47 hours1-7/+3
* src/file_sqm.c: improve Frama-C annotationsChristophe Grenier47 hours1-8/+3
* src/file_sql.c: improve Frama-C annotationsChristophe Grenier47 hours1-7/+3
* src/file_spss.c: improve Frama-C annotationsChristophe Grenier47 hours1-8/+3
* src/file_spf.c: Fix Frama-C warningsChristophe Grenier47 hours1-15/+9
* src/file_spe.c: improve Frama-C annotationsChristophe Grenier47 hours1-11/+4
* src/file_sp3.c: improve Frama-C annotationsChristophe Grenier47 hours1-6/+3
* src/file_snag.c: improve Frama-C annotationsChristophe Grenier47 hours1-12/+5
* src/file_skp.c: improve Frama-C annotationsChristophe Grenier47 hours1-7/+3
* src/file_skd.c: improve Frama-C annotationsChristophe Grenier47 hours1-7/+3
* src/file_sit.c: improve Frama-C annotationsChristophe Grenier47 hours1-7/+3
* src/file_sib.c: improve Frama-C annotationsChristophe Grenier47 hours1-7/+3
* src/file_shn.c: improve Frama-C annotationsChristophe Grenier47 hours1-7/+3
* src/file_sgcta.c: improve Frama-C annotationsChristophe Grenier48 hours1-7/+3
* src/file_ses.c: improve Frama-C annotationsChristophe Grenier48 hours1-7/+3
* src/file_sdsk.c: improve Frama-C annotationsChristophe Grenier48 hours1-7/+3
* src/file_save.c: improve Frama-C annotationsChristophe Grenier48 hours1-7/+3
* src/file_rx2.c: improve Frama-C annotationsChristophe Grenier48 hours1-6/+3
* src/file_rw2.c: improve Frama-C annotationsChristophe Grenier48 hours1-6/+3
* src/file_rpm.c: improve Frama-C annotationsChristophe Grenier48 hours1-8/+5
* src/file_rns.c: improve Frama-C annotationsChristophe Grenier48 hours1-7/+3
* src/file_rm.c: improve Frama-C annotationsChristophe Grenier48 hours1-6/+3
* src/file_rlv.c: improve Frama-C annotationsChristophe Grenier2 days1-6/+3
* src/file_riff.c: Fix Frama-C annotationsChristophe Grenier2 days1-28/+19
* src/file_rfp.c: improve Frama-C annotationsChristophe Grenier2 days1-8/+5
* src/file_res.c: improve Frama-C annotationsChristophe Grenier2 days1-7/+3
* src/file_reg.c: improve FRama-C annotationsChristophe Grenier2 days1-15/+9
* src/file_rdc.c: improve Frama-C annotationsChristophe Grenier2 days1-7/+3
* src/file_raw.c: improve Frama-C annotationsChristophe Grenier2 days1-7/+3
* src/file_rar.c: improve Frama-C annotationsChristophe Grenier2 days1-19/+9
* src/file_raf.c: improve Frama-C annotationsChristophe Grenier2 days1-7/+3
* src/file_ra.c: improve Frama-C annotationsChristophe Grenier2021-07-081-7/+3
* src/file_r3d.c: improve Frama-C annotationsChristophe Grenier2021-07-081-21/+9
* src/file_qxd.c: improve Frama-C annotationsChristophe Grenier2021-07-081-15/+5
* src/file_qkt.c: improve Frama-C annotationsChristophe Grenier2021-07-081-8/+3