Gitiles
Code Review Sign In
review.sourcearcade.org / filo-scratch / 6710c0e32e411cbb12c0ac3a519cc6a73132f9e6
  1. 6710c0e ext2: Fix binary extent search and help proof by Nico Huber · 1 year, 11 months ago
  2. 5a042fd ext2: Adapt to satisfy some checks by Nico Huber · 1 year, 11 months ago
  3. 700a411 ext2: Introduce State.Block_Size by Nico Huber · 1 year, 11 months ago
  4. 3da2147 VFS: Satisfy GNATprove and No_Secondary_Stack by Nico Huber · 2 years ago
  5. 89d0594 ext2: Add missing default value for Inode.I by Nico Huber · 2 years ago
  6. 21d4202 Implement Ext2.Open() by Nico Huber · 2 years ago
  7. b1cb2d3 Re-invent FS.VFS.Open() by Nico Huber · 2 years ago
  8. 549a1b8 Drop `File_Len` from VFS.Read() by Nico Huber · 2 years ago
  9. d3644be Implement Ext2.Read() by Nico Huber · 2 years ago
  10. 022e226 ext2: Read inode type and length by Nico Huber · 2 years ago
  11. 7403a54 ext2: Rename Inode.Extents => Inode.Inline by Nico Huber · 2 years ago
  12. 1f3825e Disable SPARK_Mode for use of 'Address by Nico Huber · 2 years ago
  13. 2217322 Work around gnatprove trouble with >64-bit range type by Nico Huber · 2 years ago
  14. cdc0351 ext2: Implement Open() for an inode by number by Nico Huber · 2 years ago
  15. 57dfbfb ext2: Distinguish physical (always valid) and logical (per file) cached blocks by Nico Huber · 2 years ago
  16. f83364a Implement Is_Space() by Nico Huber · 2 years ago
  17. 33f6d95 ext2: Better organize per inode info by Nico Huber · 2 years ago
  18. 77a04d7 ext2: Make Feature_64Bit more strict by Nico Huber · 2 years ago
  19. cd1d5f7 Tune ext2 types by Nico Huber · 2 years ago
  20. 0496d89 Add Is_Power_Of_2 functions by Nico Huber · 2 years ago
  21. c4c7a5e ext2: Fix off-by-one by Nico Huber · 2 years ago
  22. fffc8c1 Implement Extent_Block_Map for ext4 extents by Nico Huber · 2 years ago
  23. 68c8693 ext2: Extract Cache_FSBlock procedure by Nico Huber · 2 years ago
  24. fe89712 ext2: Use a more generic cache index by Nico Huber · 2 years ago
  25. 6623c98 First version of Ext2_Block_Map by Nico Huber · 2 years ago
  26. 9072090 Fix Read_LE16/32 for array slices by Nico Huber · 2 years ago
  27. f5d99d0 Implement Ext2.Read_FSBlock by Nico Huber · 2 years ago
  28. 7f61349 Use BLOCK_SIZE by Nico Huber · 2 years ago
  29. a529660 Prepare Blockdev for 32-bit longs by Nico Huber · 2 years ago
  30. 9c04187 Introduce Blockdev_Length/_Offset by Nico Huber · 2 years ago
  31. 481ff84 Move shared types into FILO package by Nico Huber · 2 years ago
  32. 5182037 Add NullFS by Thomas Heijligen · 2 years ago
  33. 5c43abc Move fs-filo to filo-fs by Thomas Heijligen · 2 years ago
  34. a968f6f add Ada wrapper for C_devread by Thomas Heijligen · 2 years ago
  35. 26f7183 FS.FILO.Ext2: Fill Mount() procedure by Nico Huber · 2 years ago
  36. 8ec45a1 FS.FILO.Ext2: Export C functions by Nico Huber · 2 years ago
  37. 2f4d597 VFS: add <> to generics by Thomas Heijligen · 2 years ago
  38. 57d3a85 FS.FILO.Ext2: Update stubs by Nico Huber · 2 years ago
  39. 3e72282 FS.FILO: Add Partition_Offset type by Nico Huber · 2 years ago
  40. cd6b7ec FS: Add pre-conditions for deserialization functions by Nico Huber · 2 years ago
  41. f983931 FS.FILO: Allow File_Offset of full File_Length by Nico Huber · 2 years ago
  42. 3ec689d nix: add -U option to gnatprove by Thomas Heijligen · 2 years ago
  43. 691220d FS.FILO.VFS: Move `Convention => C` to spec by Nico Huber · 2 years ago
  44. 51f6041 Make VFS wrapper state aware by Nico Huber · 2 years ago
  45. 75d1ff3 vfs: Add filo like vfs layer by Thomas Heijligen · 2 years ago
  46. dc1a84b blockdev: Add missing partition functions by Thomas Heijligen · 2 years ago
  47. 98417fc Add Read_LE16/32 and types by Nico Huber · 2 years ago
  48. 1d7727f Add stub for FS.FILO.Ext2 by Nico Huber · 2 years ago
  49. d49cb12 Move SPARK_Mode => Off into body by Thomas Heijligen · 2 years ago
  50. b00b316 Use getopt for program parameters by Thomas Heijligen · 2 years ago
  51. 3a5cd8c FS.FILO: Add access to globals by Nico Huber · 2 years ago
  52. c6bd3d3 Rename FS.FILO => FS.FILO.Dev by Nico Huber · 2 years ago
  53. 0a9591e Fill FS.FILO.VFS wrapper by Nico Huber · 2 years ago
  54. fdfa2e2 Start FS.FILO.VFS wrapper by Nico Huber · 2 years ago
  55. 62268ee Make it compile by Thomas Heijligen · 2 years ago
  56. 81cf58d Remove a.out by Thomas Heijligen · 2 years ago
  57. d1e0457 Test env to develop FILO filesystem drivers in Ada by Thomas Heijligen · 2 years ago