index
:
testdisk
dev
master
TestDisk & PhotoRec
Christophe GRENIER
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
file_dxf.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
src/file_dxf.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+3
*
src/file*.c: add various Frama-C annotations in data_check_*()
Christophe Grenier
2023-10-08
1
-0
/
+2
*
Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification
Christophe Grenier
2022-04-13
1
-1
/
+1
*
src/file_dxf.c: improve Frama-C annotations
Christophe Grenier
2021-06-07
1
-16
/
+7
*
src/file_dxf.c: improve frama-c annotations
Christophe Grenier
2021-02-15
1
-1
/
+1
*
src/file_dxf.c: update frama-c annotations
Christophe Grenier
2021-01-29
1
-14
/
+43
*
PhotoRec: add an ifdef in each file for easier frama-c testing
Christophe Grenier
2020-09-11
1
-0
/
+5
*
PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)
Christophe Grenier
2015-06-13
1
-1
/
+0
*
PhotoRec: code cleanup for .dxf recovery
Christophe Grenier
2014-07-26
1
-28
/
+23
*
PhotoRec: use an enum for values returned by data_check()
Christophe Grenier
2013-12-14
1
-4
/
+4
*
Remove unnecessary time.h header inclusion
Christophe Grenier
2013-04-19
1
-3
/
+0
*
PhotoRec: file_search_footer() gets a new parameter
Christophe Grenier
2009-05-27
1
-1
/
+1
*
Fix some compilation warnings
Christophe Grenier
2009-02-03
1
-4
/
+0
*
Fix some missing headers for cygwin
Christophe Grenier
2009-02-01
1
-2
/
+2
*
PhotoRec: recover Drawing Interchange File .dxf files
Christophe Grenier
2009-01-18
1
-0
/
+109