)]}'
{
  "commit": "ba71869c2b39f885cef677b1cd743d2fd50f467d",
  "tree": "6f187dfaa6b6841d8df7b49e3b91089bf944bfbe",
  "parents": [
    "520d4b698f3f1f8ed5d673fad6cc810179642279"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Dec 09 13:07:04 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Dec 09 13:19:18 2024 -0800"
  },
  "message": "feat: `Float32`\n\nThis PR adds support for `Float32` to the Lean runtime.\n\nWe need an update stage0, and then remove `#exit` from new\n`Float32.lean` file.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3eaf3e9d5f1ee37bc4d1993375c9d684b87d2b6f",
      "old_mode": 33188,
      "old_path": "src/Init/Data.lean",
      "new_id": "4d73951246297c41c06441441d1e140c03ecd075",
      "new_mode": 33188,
      "new_path": "src/Init/Data.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c5e08a43dba3bc5fef9d8d9c75dbc5219fa30bef",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Float32.lean"
    },
    {
      "type": "modify",
      "old_id": "b543ffffa8cb7df901ec8f07395b0ec2e1ffbde7",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/Basic.lean",
      "new_id": "4b5059ca6d44bb827880d0e5bec8577ab5153624",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "abc0eb777cd336a1260dc206c34fe3f6f3e35e31",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/EmitC.lean",
      "new_id": "ce5eecbdaae15bce95519f8cada39d625a5cd979",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/EmitC.lean"
    },
    {
      "type": "modify",
      "old_id": "a93e26d16485bfb29f00bfa954d908062635b74e",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/EmitLLVM.lean",
      "new_id": "34d6ff2886652609ac3cc949bcd7bf635a4ade2d",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/EmitLLVM.lean"
    },
    {
      "type": "modify",
      "old_id": "80a44c145fee30eeb721c6f6dd0697fe34f7b0ec",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/Format.lean",
      "new_id": "12720d830c757da481bbd84744cbd789ed26e7eb",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/Format.lean"
    },
    {
      "type": "modify",
      "old_id": "88ad3af320c039cba105a76f168ba91c709ce2ac",
      "old_mode": 33188,
      "old_path": "src/include/lean/lean.h",
      "new_id": "4b88e8b1a3422fc29c93745a7320da465ed0ede6",
      "new_mode": 33188,
      "new_path": "src/include/lean/lean.h"
    },
    {
      "type": "modify",
      "old_id": "55c333ea6d59a5580b920de6285ef90511c1c144",
      "old_mode": 33188,
      "old_path": "src/library/compiler/ir.cpp",
      "new_id": "aa4fdbe4250a590ffc4bf9ee9038a4c64b187ac2",
      "new_mode": 33188,
      "new_path": "src/library/compiler/ir.cpp"
    },
    {
      "type": "modify",
      "old_id": "07b395acca0e13d6195eaf63a0a82fed5c25a928",
      "old_mode": 33188,
      "old_path": "src/library/compiler/ir.h",
      "new_id": "3a49fee0ff48e2fd11e31a064200d648ba4b1c54",
      "new_mode": 33188,
      "new_path": "src/library/compiler/ir.h"
    },
    {
      "type": "modify",
      "old_id": "0c8b453ce93981c7e2da18960ce9ca3311c6ef89",
      "old_mode": 33188,
      "old_path": "src/library/compiler/llnf.cpp",
      "new_id": "d86a3e5e9884de558d719a90ec8915734dfa15e0",
      "new_mode": 33188,
      "new_path": "src/library/compiler/llnf.cpp"
    },
    {
      "type": "modify",
      "old_id": "eddd3468303d648455a8f843f582e0f3f8a5efc2",
      "old_mode": 33188,
      "old_path": "src/library/compiler/llnf.h",
      "new_id": "5dc6f98f57aeebe9c58490e8d3bfad60133d47e6",
      "new_mode": 33188,
      "new_path": "src/library/compiler/llnf.h"
    },
    {
      "type": "modify",
      "old_id": "2d9e742cd0afe537868b55b3849dd79501293775",
      "old_mode": 33188,
      "old_path": "src/library/compiler/util.cpp",
      "new_id": "96f8ed4c4da7db7eaedd564d02a8ac89bc84172f",
      "new_mode": 33188,
      "new_path": "src/library/compiler/util.cpp"
    },
    {
      "type": "modify",
      "old_id": "63d027ab6750a3b2b8fc15777bcc710df11b7820",
      "old_mode": 33188,
      "old_path": "src/library/constants.cpp",
      "new_id": "e172177055e307b04e71b2857572a5721473bac1",
      "new_mode": 33188,
      "new_path": "src/library/constants.cpp"
    },
    {
      "type": "modify",
      "old_id": "7693928801085001cb12b48638aba486267547aa",
      "old_mode": 33188,
      "old_path": "src/library/constants.h",
      "new_id": "4d2e50d6ffd2128a66a951bf63d9a438619cf67a",
      "new_mode": 33188,
      "new_path": "src/library/constants.h"
    },
    {
      "type": "modify",
      "old_id": "973c231dab496cdc54bc13a3b6e9e9e18fcdf9a8",
      "old_mode": 33188,
      "old_path": "src/library/constants.txt",
      "new_id": "1f6bf38a887cdd2ef7ebc11a1e49789bc7457abe",
      "new_mode": 33188,
      "new_path": "src/library/constants.txt"
    },
    {
      "type": "modify",
      "old_id": "24444786def43d1bca6ad1ec016301aef8411ab2",
      "old_mode": 33188,
      "old_path": "src/runtime/object.cpp",
      "new_id": "654e1b59f29d2ae37412c67cf7ada6aaddc222be",
      "new_mode": 33188,
      "new_path": "src/runtime/object.cpp"
    }
  ]
}