)]}'
{
  "commit": "6d0bc1647ffd4bf2564eab917e6e7eaa0142ee27",
  "tree": "dc8f04acb1dd41b71ed53199b67bb1d21b1bb9a5",
  "parents": [
    "688ee4c88722ca191981246f7732f25caed81cac"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Nov 15 11:18:45 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Nov 15 11:18:45 2024 -0800"
  },
  "message": "feat: add `Float.toBits` and `Float.fromBits`\n\nThis PR adds raw transmutation of floating-point numbers to and from `UInt64`. Floats and UInts share the same endianness across all supported platforms. The IEEE 754 standard precisely specifies the bit layout of floats. Note that `Float.toBits` is distinct from `Float.toUInt64`, which attempts to preserve the numeric value rather than the bitwise value.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "eb7d66df1d7f063343f479fb00ad89dbcf0d8865",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Float.lean",
      "new_id": "f8e384b5e2c1e788a136d80a485b0525bafc01d0",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Float.lean"
    },
    {
      "type": "modify",
      "old_id": "90b4b8439ea6a22e8c30c3feabf65f837a0bbcdc",
      "old_mode": 33188,
      "old_path": "src/include/lean/lean.h",
      "new_id": "a0b83c72013d08a94788a9b43bdf5b12418c6dc2",
      "new_mode": 33188,
      "new_path": "src/include/lean/lean.h"
    },
    {
      "type": "modify",
      "old_id": "b23a29177d722ef0a693b365247e1e8c69066d8a",
      "old_mode": 33188,
      "old_path": "src/runtime/object.cpp",
      "new_id": "2634445fed9dd45a2d28e40592e5959f55006a97",
      "new_mode": 33188,
      "new_path": "src/runtime/object.cpp"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "1904df8fd1babf93e6a33aef6c0805ce0466c877",
      "new_mode": 33188,
      "new_path": "tests/lean/run/floatBits.lean"
    }
  ]
}