)]}'
{
  "commit": "2480f77251e81afc284d7931bdf078319f1f4f8e",
  "tree": "af8cb61a67430bbafa2772c63f7b636c2f1e38a4",
  "parents": [
    "3a9d9a0e899811e57234c7a428754e851ec1a62c"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Sun Apr 19 11:14:35 2026 +0000"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Fri May 29 11:24:03 2026 +0000"
  },
  "message": "time: Rewrite Now_US() again to ease automatic proving\n\nCurrently it struggles with the 64-bit modular to range conversion.\nAdding a step in between, a 63-bit modular type, works better.\n\nChange-Id: I32b1a771b18bcc243244cb05636dae6d9f148f90\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.sourcearcade.org/c/libhwbase/+/501\nTested-by: Ada SPARK \u003cgnatbot@sourcearcade.org\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "42c63f6a3e517e78b601aeaed74f68e71741af22",
      "old_mode": 33188,
      "old_path": "common/hw-time.adb",
      "new_id": "b2fa5641619d1c304b96f2cc17995dce54190ec2",
      "new_mode": 33188,
      "new_path": "common/hw-time.adb"
    }
  ]
}