Clone this repo:

Branches

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