Christophe Grenier
|
4e44db2b46
|
Improve Frama-C annotations
|
2022-07-14 10:09:09 +02:00 |
|
Christophe Grenier
|
b2a0d41da6
|
Numerous frama-c annotations
|
2021-11-20 11:26:50 +01:00 |
|
Christophe Grenier
|
25c8dba564
|
Add an header guard to prevent multiple inclusion
|
2020-10-04 10:30:20 +02:00 |
|
Christophe Grenier
|
60b5424f53
|
Constify a lot of function parameters
|
2020-06-19 19:02:41 +02:00 |
|
Christophe Grenier
|
6705437287
|
add gcc_struct attribute to all __packed__ structure
do not use fseeko() with mingw32 gcc compiler
|
2015-04-11 14:23:16 +02:00 |
|
Christophe Grenier
|
32d529ddcd
|
remove unsued parameters from check_btrfs() and recover_ISO()
|
2012-04-15 11:23:48 +02:00 |
|
Christophe Grenier
|
f2c0943a5a
|
TestDisk: recover btrfs, a GPL-licensed copy-on-write file system for Linux.
|
2011-03-05 18:40:22 +01:00 |
|