Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve Frama-C annotations | Christophe Grenier | 2022-07-14 | 1 | -0/+1 |
* | Numerous frama-c annotations | Christophe Grenier | 2021-11-20 | 1 | -1/+21 |
* | Constify a lot of function parameters | Christophe Grenier | 2020-06-19 | 1 | -1/+1 |
* | Remove interface from rebuild_FAT_BS() | Christophe Grenier | 2017-04-14 | 1 | -1/+1 |
* | Make FAT RebuildBS works when there is a single FAT table | Christophe Grenier | 2012-01-07 | 1 | -2/+2 |
* | export find_sectors_per_cluster_aux() | Christophe Grenier | 2009-02-20 | 1 | -0/+18 |
* | Move find_sectors_per_cluster() and no_of_cluster2part_type() to a separated ... | Christophe Grenier | 2009-02-16 | 1 | -0/+34 |