Christophe Grenier
|
7c660ff10b
|
src/file*.c: add various Frama-C annotations in data_check_*()
|
2023-10-08 14:31:56 +02:00 |
|
Christophe Grenier
|
aac4087e84
|
src/file_pdb.c: fix Frama-C warnings
|
2021-07-05 13:54:20 +02:00 |
|
Christophe Grenier
|
75d31420bc
|
src/file_pdb.c: add Frama-C annotations
|
2021-02-27 10:31:31 +01:00 |
|
Christophe Grenier
|
3200bd035a
|
src/file_pdb.c: fix Frama-C warning
|
2020-10-10 10:15:39 +02:00 |
|
Christophe Grenier
|
79e2b889da
|
PhotoRec: add an ifdef in each file for easier frama-c testing
|
2020-09-11 12:58:00 +02:00 |
|
Christophe Grenier
|
ba9bd03a05
|
PhotoRec: recover Protein Data Bank data .pdb files
|
2018-12-08 09:27:09 +01:00 |
|