Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Improve Frama-C annotations | Christophe Grenier | 2022-07-14 | 1 | -0/+2 |
* | Numerous frama-c annotations | Christophe Grenier | 2021-11-20 | 1 | -4/+14 |
* | Add an header guard to prevent multiple inclusion, some files were forgotten ... | Christophe Grenier | 2020-10-04 | 1 | -0/+4 |
* | New prototype for align_pread() | Christophe Grenier | 2020-08-02 | 1 | -2/+2 |
* | src/alignio.h: rewrite align_pread() and align_pwrite() to be easier to | Christophe Grenier | 2020-08-02 | 1 | -9/+51 |
* | Improve English grammar, capitalization, and punctuation | Alex Henrie | 2016-02-22 | 1 | -1/+1 |
* | Fix erronous return value when writting ie 512 byte on 4096-byte sector | Christophe Grenier | 2013-09-12 | 1 | -1/+3 |
* | Use pread() and pwrite() argument style for internal I/O | Christophe Grenier | 2009-01-31 | 1 | -10/+10 |
* | Reorganize how disk geometry, size and sector size is gathered | Christophe Grenier | 2008-04-11 | 1 | -0/+82 |