Gitiles
Code Review Sign In
review.sourcearcade.org / libhwbase / refs/heads/main / ada / posix / hw-file.adb
  1. 3a9d9a0 posix file: Explicitly disable SPARK_Mode for hw_file_map() by Nico Huber · 7 weeks ago main
  2. def89eb posix file: Add procedure to query the size of a file by Nico Huber · 9 years ago
  3. 967dd0d posix file: Add an `Offset` parameter and make `Len` optional by Nico Huber · 9 years ago
  4. a43b1ee posix file: Let the OS decide addresses to map to by Nico Huber · 9 years ago
  5. 32f1489 posix file: Match newer warning wording by Nico Huber · 9 years ago
  6. f03ef4f Add support to map the contents of a file by Nico Huber · 9 years ago