- f2551fe fs: Use type conversions compatible with 32-bit builds by Nico Huber · 1 year ago main
- 523c372 vfs: Drop dead package with by Nico Huber · 1 year ago
- 989bfe2 ext2: Fix two minor proof issues by Nico Huber · 1 year, 1 month ago
- 8e4b9f8 iso9660: Fix small bugs and proofs by Nico Huber · 1 year, 1 month ago
- 780b7f4 iso9660: Try to match file names from Rock Ridge extension by Nico Huber · 1 year, 1 month ago
- 666da67 iso9660: Add FS_Record type to describe part of a block by Nico Huber · 1 year, 1 month ago
- 292f8a3 Extract Str_Buf_Equal() from ext2 driver by Nico Huber · 1 year, 1 month ago
- ab933b8 iso9660: Refactor Open() to ease extensions by Nico Huber · 1 year, 1 month ago
- b18691e iso9660: Handle multiple directory blocks by Nico Huber · 1 year, 1 month ago
- fa5f890 iso9660: Implement proper file-name matching by Nico Huber · 1 year, 1 month ago
- eae183a iso9660: Look for all upper-case file names by Nico Huber · 1 year, 1 month ago
- 65f2ea2 iso9660: Fix volume descriptor start offset by Nico Huber · 1 year, 1 month ago
- 26c363d Use libhwbase build infra by Nico Huber · 1 year, 1 month ago
- 20bf593 ext2: Rename Inode_Extents -> Inline_Extents by Nico Huber · 1 year, 1 month ago
- 7e7d149 ext2: Restore Size attribute, keep it along Object_Size by Nico Huber · 1 year, 1 month ago
- b735a1d ext2: Relax initialization in Read() by Nico Huber · 1 year, 1 month ago
- 4210fcc isofs: Assist proofs by Nico Huber · 1 year, 1 month ago
- f9ab868 FILO: Check overflow when converting unsigned to signed by Nico Huber · 1 year, 1 month ago
- 32f1927 FILO: Fix pre-coditions of Read_LE16/32 by Nico Huber · 1 year, 1 month ago
- 995779c FILO: Pack buffers (for safe unchecked conversions) by Nico Huber · 1 year, 1 month ago