)]}'
{
  "log": [
    {
      "commit": "c60730422e758ef1cebe7aeddf2dda31c996bf04",
      "tree": "9630ba7aaccee77f6fec916e5babd6d1ccedd404",
      "parents": [
        "d13444c54b90f0810397aafba365b295066018f6"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "biere@cs.uni-freiburg.de",
        "time": "Sun Jul 19 16:40:55 2026 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "biere@cs.uni-freiburg.de",
        "time": "Sun Jul 19 16:40:55 2026 +0100"
      },
      "message": "updated year\n"
    },
    {
      "commit": "d13444c54b90f0810397aafba365b295066018f6",
      "tree": "ed708e034fb46b1ced5d3875ef7b5f19d0cc7b4f",
      "parents": [
        "6d3a53b9bbabbac8ed07802189d7dc66b089e724"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "biere@cs.uni-freiburg.de",
        "time": "Sun Jul 19 16:33:05 2026 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "biere@cs.uni-freiburg.de",
        "time": "Sun Jul 19 16:33:05 2026 +0100"
      },
      "message": "formatted\n"
    },
    {
      "commit": "6d3a53b9bbabbac8ed07802189d7dc66b089e724",
      "tree": "5a0fa107737164cd9a7e00fe30d1d53c81b1de0c",
      "parents": [
        "14881627dda743dea19a2508087cb6966d41b5d1"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "biere@cs.uni-freiburg.de",
        "time": "Sun Jul 19 14:16:20 2026 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "biere@cs.uni-freiburg.de",
        "time": "Sun Jul 19 14:16:20 2026 +0100"
      },
      "message": "fixed NEWS.md\n"
    },
    {
      "commit": "14881627dda743dea19a2508087cb6966d41b5d1",
      "tree": "0e1ee71323d3dc21655ec6adba246b13fc366ac9",
      "parents": [
        "ea0e6910a75cfb38b3efa9fbbad45728091ebde2"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Wed Jul 15 19:32:25 2026 +0200"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Wed Jul 15 19:32:25 2026 +0200"
      },
      "message": "typo\n"
    },
    {
      "commit": "ea0e6910a75cfb38b3efa9fbbad45728091ebde2",
      "tree": "3a0f2553d00b10399578d84c03fb6d2ce4d07c5a",
      "parents": [
        "5661cc850c2f1ff4a3c43178bc8aa621fc34918a"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Wed Jul 15 14:03:48 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Wed Jul 15 14:03:48 2026 +0200"
      },
      "message": "quiet guard for solver timout\n"
    },
    {
      "commit": "5661cc850c2f1ff4a3c43178bc8aa621fc34918a",
      "tree": "b80992afcdda49c0a1d3fa3c5fd1a49e9beaf9d4",
      "parents": [
        "7c2c860d734c3846f0bbf4a3a0a2c3de66f020e3",
        "1d546466f61374b298d48620877644ab07d391df"
      ],
      "author": {
        "name": "florianpollitt",
        "email": "117081139+florianpollitt@users.noreply.github.com",
        "time": "Wed Jul 15 13:54:43 2026 +0200"
      },
      "committer": {
        "name": "GitHub",
        "email": "noreply@github.com",
        "time": "Wed Jul 15 13:54:43 2026 +0200"
      },
      "message": "Merge pull request #178 from EmilLandb/rel-3.0.1-port\n\nFix for memory usage statistics on Apple"
    },
    {
      "commit": "7c2c860d734c3846f0bbf4a3a0a2c3de66f020e3",
      "tree": "5ddb91431e7b9cffa6e8d98356ead8ca163203eb",
      "parents": [
        "366babfc289a39dab6cf38201525e75b9ee67859"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Wed Jul 15 13:52:31 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Wed Jul 15 13:52:31 2026 +0200"
      },
      "message": "fixed wrong define guard\n"
    },
    {
      "commit": "366babfc289a39dab6cf38201525e75b9ee67859",
      "tree": "677f7361af7d3163d9d61d5b1745359b38abea4f",
      "parents": [
        "545972114ae7896e0ef723846a9a33dae529f9ef"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Wed Jul 15 13:10:35 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Wed Jul 15 13:10:35 2026 +0200"
      },
      "message": "fixed quiet compilation\n"
    },
    {
      "commit": "1d546466f61374b298d48620877644ab07d391df",
      "tree": "2ab44e49eb91db0a4a403ce4d4b3466a0ddb224f",
      "parents": [
        "279f9e92afb54e49d4e0deae776492e6d23d966c"
      ],
      "author": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Tue Jul 14 16:55:31 2026 +0200"
      },
      "committer": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Tue Jul 14 16:55:31 2026 +0200"
      },
      "message": "same order as in resources.cpp\n"
    },
    {
      "commit": "279f9e92afb54e49d4e0deae776492e6d23d966c",
      "tree": "a61eb632dc493d5b295685b431fa6b5306e7584a",
      "parents": [
        "545972114ae7896e0ef723846a9a33dae529f9ef"
      ],
      "author": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Tue Jul 14 16:48:25 2026 +0200"
      },
      "committer": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Tue Jul 14 16:48:25 2026 +0200"
      },
      "message": "fixed memory usage statistic for APPLE\n"
    },
    {
      "commit": "545972114ae7896e0ef723846a9a33dae529f9ef",
      "tree": "f4ec906cf15b37c0fdd046e3717d86840ebae988",
      "parents": [
        "028f1ae37f21e60a04c9b8bb145c99680b259034"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Tue Jul 14 15:10:41 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Tue Jul 14 15:10:41 2026 +0200"
      },
      "message": "mobical shrinking works with signal handler\n"
    },
    {
      "commit": "028f1ae37f21e60a04c9b8bb145c99680b259034",
      "tree": "21a3eca33fa725706058284b555bd930ea367036",
      "parents": [
        "3e1eb5ee68501b7a50cfb62a9e9698d04bd5c3c1"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Tue Jul 14 14:48:01 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Tue Jul 14 14:48:01 2026 +0200"
      },
      "message": "fixed infinite loop and mobical signal handler\n"
    },
    {
      "commit": "3e1eb5ee68501b7a50cfb62a9e9698d04bd5c3c1",
      "tree": "d34d783070c4ae0f4db79f836565ed2849efa1c1",
      "parents": [
        "23e796635ebf7af919bd0442d99ad13642c891d1"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Tue Jul 14 13:54:21 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Tue Jul 14 13:54:21 2026 +0200"
      },
      "message": "mobical do not overwrite line\n"
    },
    {
      "commit": "23e796635ebf7af919bd0442d99ad13642c891d1",
      "tree": "16262df533936e6e442949d8eda6dd262659d6d6",
      "parents": [
        "f0366056055ebeafe3a14fec4492149bceaaa780"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Tue Jul 14 09:15:22 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Tue Jul 14 09:15:22 2026 +0200"
      },
      "message": "added missing mark_garbage with lrat\n"
    },
    {
      "commit": "f0366056055ebeafe3a14fec4492149bceaaa780",
      "tree": "781b3e8454e07f06072199762d61d946a558d79a",
      "parents": [
        "421a814c04b265d5bba17ddfd7e704e16b408d3f"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Tue Jul 14 09:10:09 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Tue Jul 14 09:10:09 2026 +0200"
      },
      "message": "news\n"
    },
    {
      "commit": "421a814c04b265d5bba17ddfd7e704e16b408d3f",
      "tree": "a00e329ebf85f1581f50cfe4ca703c7797dfb693",
      "parents": [
        "ca5bc065764b1f1cab82e6af01abd4c0b1f7fb21",
        "a1df4970f991428c976088d7fb9834a867a560f5"
      ],
      "author": {
        "name": "florianpollitt",
        "email": "117081139+florianpollitt@users.noreply.github.com",
        "time": "Tue Jul 14 09:01:22 2026 +0200"
      },
      "committer": {
        "name": "GitHub",
        "email": "noreply@github.com",
        "time": "Tue Jul 14 09:01:22 2026 +0200"
      },
      "message": "Merge pull request #174 from EmilLandb/rel-3.0.1-port\n\nported new signal handling to 3.0.1"
    },
    {
      "commit": "a1df4970f991428c976088d7fb9834a867a560f5",
      "tree": "3a3af84ed15b1dc1924674c84159334f35b18077",
      "parents": [
        "c8cbb1d2c4176cec7317dd140d7194eea6da2412"
      ],
      "author": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Mon Jul 13 18:23:05 2026 +0200"
      },
      "committer": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Mon Jul 13 18:23:05 2026 +0200"
      },
      "message": "Cleanup.\n"
    },
    {
      "commit": "ca5bc065764b1f1cab82e6af01abd4c0b1f7fb21",
      "tree": "cceccd4517da74afbcbc3bafe3a6045e6a7852fb",
      "parents": [
        "f8aa2289eb2842ea03ea1224a305baf234125467"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Mon Jul 13 09:37:04 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Mon Jul 13 09:37:04 2026 +0200"
      },
      "message": "news\n"
    },
    {
      "commit": "c8cbb1d2c4176cec7317dd140d7194eea6da2412",
      "tree": "9893c8923f329bdd6542d9b6fbef8c3dcd7eeeb9",
      "parents": [
        "1c938c010f3c0ce9627c2d73b4cc0a5ab6ad75e3"
      ],
      "author": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Sat Jul 11 07:15:10 2026 +0200"
      },
      "committer": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Sat Jul 11 07:15:10 2026 +0200"
      },
      "message": "some more TA insertions\n"
    },
    {
      "commit": "f8aa2289eb2842ea03ea1224a305baf234125467",
      "tree": "403a1519b5c4a12fa99ca5b34d3f64333c29038b",
      "parents": [
        "f666a6f790e5f53c216d83d7c59dddc88d2671cd"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Fri Jul 10 12:39:11 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Fri Jul 10 12:39:11 2026 +0200"
      },
      "message": "fixed lrat double learn unit\n"
    },
    {
      "commit": "f666a6f790e5f53c216d83d7c59dddc88d2671cd",
      "tree": "95cfee156e35aa97b7e5dc6f81a2a6f7599db630",
      "parents": [
        "0508e0e20fefa4f0f4789b622d4725109cec0f9b"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Fri Jul 10 09:36:06 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Fri Jul 10 09:36:06 2026 +0200"
      },
      "message": "added missing notifications\n"
    },
    {
      "commit": "0508e0e20fefa4f0f4789b622d4725109cec0f9b",
      "tree": "6bbafaa5a4aea62f3f0103af6b0f1dfa46e5546a",
      "parents": [
        "e56b967747e49d993a11e235523739e57a9adf1c"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Thu Jul 09 15:17:38 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Thu Jul 09 15:17:38 2026 +0200"
      },
      "message": "fixed assertion in reuse_assumptions\n"
    },
    {
      "commit": "1c938c010f3c0ce9627c2d73b4cc0a5ab6ad75e3",
      "tree": "c72565d31bd801686cf3348fb59941d03768d10c",
      "parents": [
        "64a63e2e1fa2f8681bc78c0119c555e43fdfc121"
      ],
      "author": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Thu Jul 09 14:48:43 2026 +0200"
      },
      "committer": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Thu Jul 09 14:48:43 2026 +0200"
      },
      "message": "forgot report in catch_signal\n"
    },
    {
      "commit": "64a63e2e1fa2f8681bc78c0119c555e43fdfc121",
      "tree": "4bbc3712b195fa2d3c2aa0272d8cf9c450ad55e4",
      "parents": [
        "bd32a09eb8f4bb342b55ef5e5d9754aa63b61dbc"
      ],
      "author": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Thu Jul 09 14:48:02 2026 +0200"
      },
      "committer": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Thu Jul 09 14:48:02 2026 +0200"
      },
      "message": "removed report (\u0027!\u0027) from catch_alarm and catch_signal\n"
    },
    {
      "commit": "e56b967747e49d993a11e235523739e57a9adf1c",
      "tree": "da08f4e883107fedeb3a1bdf8d7ff9f66154426a",
      "parents": [
        "c1c18f7651e28fad3feff436009fd2a7db99fe16"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Thu Jul 09 14:29:10 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Thu Jul 09 14:29:10 2026 +0200"
      },
      "message": "version\n"
    },
    {
      "commit": "c1c18f7651e28fad3feff436009fd2a7db99fe16",
      "tree": "acb3d290ca3c3513f50cc9edd75f3c5f035715d5",
      "parents": [
        "6294595948ff7c216ffc47cc870ce913f537c479"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Thu Jul 09 14:21:24 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Thu Jul 09 14:21:24 2026 +0200"
      },
      "message": "disabling options by default\n"
    },
    {
      "commit": "bd32a09eb8f4bb342b55ef5e5d9754aa63b61dbc",
      "tree": "6ad4602ce5a2d151b04395ae7b07e0054bbf320a",
      "parents": [
        "0182667c82cde13661d9e4e789ef3d1d65760043"
      ],
      "author": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Thu Jul 09 13:38:38 2026 +0200"
      },
      "committer": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Thu Jul 09 13:38:38 2026 +0200"
      },
      "message": "external terminator also connected in checkfailed, inserted terminated_asynchronousy in congruence and made some temporary changes to the time limit behavior for testing\n"
    },
    {
      "commit": "0182667c82cde13661d9e4e789ef3d1d65760043",
      "tree": "3862e120b920a14bab1a5a33b3c03c07a0527a0d",
      "parents": [
        "0b57aacc9fd13eea02c0b0c6f8e1ccb00c4e334f"
      ],
      "author": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Thu Jul 09 10:55:29 2026 +0200"
      },
      "committer": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Thu Jul 09 10:55:29 2026 +0200"
      },
      "message": "also temporarily reports for connecting watches\n"
    },
    {
      "commit": "0b57aacc9fd13eea02c0b0c6f8e1ccb00c4e334f",
      "tree": "e3194614f5828eedc31886e0c3ffaf561a0ad2a7",
      "parents": [
        "85a073a14f8244f5339f4d67457f5284ab9b6ccb"
      ],
      "author": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Thu Jul 09 10:39:34 2026 +0200"
      },
      "committer": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Thu Jul 09 10:39:34 2026 +0200"
      },
      "message": "report (\u0027!\u0027) in catch_alarm for debugging purposes\n"
    },
    {
      "commit": "85a073a14f8244f5339f4d67457f5284ab9b6ccb",
      "tree": "1ba0f5a71e77313938f012a501eee5488a1a76ec",
      "parents": [
        "87df9f0de4e832fbba2a198770408b03d6c778ed"
      ],
      "author": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Thu Jul 09 10:12:01 2026 +0200"
      },
      "committer": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Thu Jul 09 10:12:01 2026 +0200"
      },
      "message": "removed Signal dependency for internal -\u003e back to full graceful exit\n"
    },
    {
      "commit": "87df9f0de4e832fbba2a198770408b03d6c778ed",
      "tree": "50e4d9f45fc66adaf5e039e8511ed69997403ef7",
      "parents": [
        "6b5d91e2a377953713a3bed54a61e9089c22ad77"
      ],
      "author": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Wed Jul 08 08:12:05 2026 +0200"
      },
      "committer": {
        "name": "Emil Landbeck",
        "email": "emil.landbeck.media@gmail.com",
        "time": "Wed Jul 08 08:12:05 2026 +0200"
      },
      "message": "ported new signal handler to 3.0.1\n"
    },
    {
      "commit": "6294595948ff7c216ffc47cc870ce913f537c479",
      "tree": "83589a1ca55e6039a2a814a4ea743653f4e5bc4b",
      "parents": [
        "6b5d91e2a377953713a3bed54a61e9089c22ad77"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Tue Jul 07 16:49:00 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Tue Jul 07 16:49:00 2026 +0200"
      },
      "message": "NCONTRACTS compatibility\n"
    },
    {
      "commit": "6b5d91e2a377953713a3bed54a61e9089c22ad77",
      "tree": "a98628d212855b1ac92909a86fca07513651e4a9",
      "parents": [
        "a65ee0b61e07678aca96db66229ab0717c5057cb"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Mon Jul 06 12:03:38 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Mon Jul 06 12:03:38 2026 +0200"
      },
      "message": "elevation and better error messages for REQUIRE\n"
    },
    {
      "commit": "a65ee0b61e07678aca96db66229ab0717c5057cb",
      "tree": "b34a876125d518527e36cc6d5d71dc8e7ea13a6a",
      "parents": [
        "7b99c07f0bcab5824a5a3ce62c7066554017f641"
      ],
      "author": {
        "name": "florianpollitt",
        "email": "117081139+florianpollitt@users.noreply.github.com",
        "time": "Wed May 20 14:55:40 2026 +0200"
      },
      "committer": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Mon Jul 06 08:44:14 2026 +0200"
      },
      "message": "Merge pull request #172 from nmeum/source-date\n\nmake-build-header.sh: Respect SOURCE_DATE_EPOCH for reproducible builds"
    },
    {
      "commit": "7b99c07f0bcab5824a5a3ce62c7066554017f641",
      "tree": "2c98d099f17c1f63d2d7639110ee8d56bb981291",
      "parents": [
        "9b9793d4930d146b1f47664b27602785d54754d5"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 19:25:57 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 19:25:57 2025 +0100"
      },
      "message": "once more updated NEWS\n"
    },
    {
      "commit": "9b9793d4930d146b1f47664b27602785d54754d5",
      "tree": "92753362a7a51c8bbd99ef45e87c7a76e131096e",
      "parents": [
        "725cec022b6689a7af50db81dfd1a64add2e5976"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 18:30:22 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 18:30:22 2025 +0100"
      },
      "message": "some better wording\n"
    },
    {
      "commit": "725cec022b6689a7af50db81dfd1a64add2e5976",
      "tree": "39ab5be797c5e35fff9518a66c5bbf2864c859f6",
      "parents": [
        "0c54262af506dae330e3e40bd784dba43f1e7f62"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 18:17:08 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 18:17:08 2025 +0100"
      },
      "message": "improved contract checking messages\n"
    },
    {
      "commit": "0c54262af506dae330e3e40bd784dba43f1e7f62",
      "tree": "ffbd1f6fbb0e5c481011083a312476143f3ba6af",
      "parents": [
        "182287f8cf4655af0bdf3e104834ddf7ac9690d3"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:54:33 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:54:33 2025 +0100"
      },
      "message": "also fixed API explicit factorcheck trace\n"
    },
    {
      "commit": "182287f8cf4655af0bdf3e104834ddf7ac9690d3",
      "tree": "dba12e58ae1cd748ab087d1e13201c1ff8e85fec",
      "parents": [
        "b1b417fc1a0a680083c071584a9f65b3bd9eaf51"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:50:32 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:50:32 2025 +0100"
      },
      "message": "adapted DIMACS parser to new semantics\n"
    },
    {
      "commit": "b1b417fc1a0a680083c071584a9f65b3bd9eaf51",
      "tree": "0aaf8c209240a5315fd83621a67b86ffe10eaea0",
      "parents": [
        "9046047ad9edfe4382a447c8cb49520aace85a1f"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:32:23 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:32:23 2025 +0100"
      },
      "message": "Enabled `factor` option (aka BVA) by default.\n\nThis forces the use of the new API contract.\n"
    },
    {
      "commit": "9046047ad9edfe4382a447c8cb49520aace85a1f",
      "tree": "e241a340f55fa88c7fa8749c03ea700c42608656",
      "parents": [
        "990a332ce62b2e3044e32cd4761317878a2a3287"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:32:00 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:32:00 2025 +0100"
      },
      "message": "Removed deprecated (inlined) functions in `cadical.hpp`.\n"
    },
    {
      "commit": "990a332ce62b2e3044e32cd4761317878a2a3287",
      "tree": "02fc0e837fedda4ca6e1e37c20181f10f1735799",
      "parents": [
        "a45abbadb801881ae6394cb12cbad5e752da00e1"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:30:55 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:31:16 2025 +0100"
      },
      "message": "Updated NEWS to new 3.0.0 release.\n"
    },
    {
      "commit": "a45abbadb801881ae6394cb12cbad5e752da00e1",
      "tree": "4406fa0d96e3a8b310fac0491176263bfa57993b",
      "parents": [
        "4198d817d0dcde5b1240eefbff70b555b7df2af9"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:19:34 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:19:34 2025 +0100"
      },
      "message": "bumped version\n"
    },
    {
      "commit": "4198d817d0dcde5b1240eefbff70b555b7df2af9",
      "tree": "1ea136087d697995bc4b3fe68814dc7bcc934246",
      "parents": [
        "be6256c4098c675937e5f94a162059ffeff0a9bd"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:09:47 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 17:09:47 2025 +0100"
      },
      "message": "removed some white space\n"
    },
    {
      "commit": "be6256c4098c675937e5f94a162059ffeff0a9bd",
      "tree": "857064495479a7b66468253706e5a841f8d92cb8",
      "parents": [
        "e0bff9d93ed1af3bf566190507fdd6992b1f8462"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Tue Dec 23 15:48:31 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Tue Dec 23 15:48:31 2025 +0100"
      },
      "message": "one less warning level for clang on MacOS\n"
    },
    {
      "commit": "e0bff9d93ed1af3bf566190507fdd6992b1f8462",
      "tree": "c3cf513c26e80faab384d3f00a410a96e0ea6241",
      "parents": [
        "0ad02bd2ee346954e35d081f1a77728257a1570c"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 15:31:19 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 15:31:19 2025 +0100"
      },
      "message": "using\n"
    },
    {
      "commit": "0ad02bd2ee346954e35d081f1a77728257a1570c",
      "tree": "039036853a3df1735cd728d942d074d0d58dd3f9",
      "parents": [
        "4f80800aba6379d19ba17d3cc720b42af5b7754b"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 15:28:26 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 15:28:26 2025 +0100"
      },
      "message": "added mobical processes\n"
    },
    {
      "commit": "4f80800aba6379d19ba17d3cc720b42af5b7754b",
      "tree": "45880d1ede28260c05fbc68c7f45cb64243c1874",
      "parents": [
        "627b34975240dba3d633e2617d45b7dd7ca6f13b"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 15:03:56 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 15:04:04 2025 +0100"
      },
      "message": "added\n"
    },
    {
      "commit": "627b34975240dba3d633e2617d45b7dd7ca6f13b",
      "tree": "1fc994e1efcd331627b61cb310e2da9fda2f4945",
      "parents": [
        "2673910ed3d6ecd7c7370eae4c3464981de42a9c"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 14:20:59 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 15:04:04 2025 +0100"
      },
      "message": "Bumped year in version.\n"
    },
    {
      "commit": "2673910ed3d6ecd7c7370eae4c3464981de42a9c",
      "tree": "c603d5f01a478b99c6ed83189c9480cc33efdc6a",
      "parents": [
        "45240a0018c6e72fddebd0c357413c9e1ffa5661"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Tue Dec 23 14:40:44 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Tue Dec 23 14:40:44 2025 +0100"
      },
      "message": "fixed\n"
    },
    {
      "commit": "45240a0018c6e72fddebd0c357413c9e1ffa5661",
      "tree": "1c3593cab0e3985bded92ea1c2ccf93538b7f8ca",
      "parents": [
        "8b5f84bc12d87488861bb4c096348615ea352eaf"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 14:11:33 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 14:11:40 2025 +0100"
      },
      "message": "formatted\n"
    },
    {
      "commit": "8b5f84bc12d87488861bb4c096348615ea352eaf",
      "tree": "23112bf89d5aa497141b6d4ca6916ae98e0c584b",
      "parents": [
        "856346909cb055e93c5c4e31506b34ad8c773866"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 14:02:22 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 14:02:22 2025 +0100"
      },
      "message": "added real default configuration as first\n"
    },
    {
      "commit": "856346909cb055e93c5c4e31506b34ad8c773866",
      "tree": "b3a04f6150f61f31dd2111e270552b90947655a9",
      "parents": [
        "9392588fa0559114eaa58f45bafbc27fc210dca4"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 13:54:11 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Tue Dec 23 13:54:11 2025 +0100"
      },
      "message": "need cecho and also disabling -fsanitize\u003dundefined by default\n"
    },
    {
      "commit": "9392588fa0559114eaa58f45bafbc27fc210dca4",
      "tree": "83bb7dc17b5267e7dfc5993385208318d9a034a1",
      "parents": [
        "2abdea8cde916901b2ecd94fbef317263b603923"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Tue Dec 23 13:03:18 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Tue Dec 23 13:03:18 2025 +0100"
      },
      "message": "fix inverted if condition\n"
    },
    {
      "commit": "2abdea8cde916901b2ecd94fbef317263b603923",
      "tree": "afa689aa019c810b485d59ee6d2bc761a1c5009e",
      "parents": [
        "0072bce591147827e380a51b7c3c74b0f9f874ce"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Tue Dec 23 11:18:49 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Tue Dec 23 11:18:49 2025 +0100"
      },
      "message": "Don\u0027t ignore conflicts in warmup below deciding assumption and constrain\n\nTrace: 06280443441309590412.\n"
    },
    {
      "commit": "0072bce591147827e380a51b7c3c74b0f9f874ce",
      "tree": "ee365e7fa07e268fcd34080b36da1474b4ec722c",
      "parents": [
        "919c60d63b44fbbac513d30f1653bdc0ab0bacfe"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Tue Dec 23 11:07:56 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Tue Dec 23 11:07:56 2025 +0100"
      },
      "message": "Add missing set to did_external_prop\n\nTrace: 06548723655112888091.\n"
    },
    {
      "commit": "919c60d63b44fbbac513d30f1653bdc0ab0bacfe",
      "tree": "52664fcff69cb2d5d7dac81e7a86b967a194f96b",
      "parents": [
        "5ea26f7ab7de1c1e0a8a7e1080f13e5d8c983a68"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Tue Dec 23 07:19:36 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Tue Dec 23 07:19:36 2025 +0100"
      },
      "message": "congruence closure: need to allow tautologies\n\nTrace: 15070009772501296289 (as the assertion was saying, not all\nclauses get into the LRAT chain...)\n"
    },
    {
      "commit": "5ea26f7ab7de1c1e0a8a7e1080f13e5d8c983a68",
      "tree": "55133a6d0ccbbd5a96b066fb78fbb46e1ccf58c9",
      "parents": [
        "b263d6de4ee46f87d371b2065251f5b6dd41a293"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Tue Dec 23 07:08:17 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Tue Dec 23 07:08:17 2025 +0100"
      },
      "message": "Incorrect assertion\n\nTrace: 15070009772501296289 (assertion incorrect once the UP has been\ndisconnect).\n"
    },
    {
      "commit": "b263d6de4ee46f87d371b2065251f5b6dd41a293",
      "tree": "5660b23d3ea93bc6ef79cdad5d4d1bf9f6514c23",
      "parents": [
        "5578bf80a4cf32e1ed2d3b48e9ca227d47e974ec"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 22:00:29 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 22:00:29 2025 +0100"
      },
      "message": "More aggressively set did_external_prop for out-of-order\n\nTrace: 09440524518843616161. An out-of-order unit is produced without\nchrono, leading to an error later during backtracking after the external\npropagator has been disconnected.\n"
    },
    {
      "commit": "5578bf80a4cf32e1ed2d3b48e9ca227d47e974ec",
      "tree": "ffdbe9cd15e5a193c397444f4d1577dda920ba10",
      "parents": [
        "a7fd8af66ea8f2e0916c508460a05842741cb9eb"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 18:39:56 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 18:40:03 2025 +0100"
      },
      "message": "more\n"
    },
    {
      "commit": "a7fd8af66ea8f2e0916c508460a05842741cb9eb",
      "tree": "5a687a02eb1f58102d7e985d7bae891b605c76e6",
      "parents": [
        "3d4f5d04a3949c9536c3ac8fe24c8ccc907de551"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 18:34:25 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 18:34:25 2025 +0100"
      },
      "message": "Mobical: don\u0027t force backtrack on level 0\n\nTrace: 13180598237066768984.\n"
    },
    {
      "commit": "3d4f5d04a3949c9536c3ac8fe24c8ccc907de551",
      "tree": "2cc41f0495c57e465e937aeb79f6928d7aef5aea",
      "parents": [
        "5137978016e2172e8b1dc54c5f5c79a01c9df0a9"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 18:24:28 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 18:24:28 2025 +0100"
      },
      "message": "mobical: ensure backtracking at least one level\n\nTrace: 10381536760183778955.\n"
    },
    {
      "commit": "5137978016e2172e8b1dc54c5f5c79a01c9df0a9",
      "tree": "59cd82c942e3b970daa352249f6cde964371c234",
      "parents": [
        "15afed551275f383c89438a7187be1a1b827165e"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 18:17:27 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 18:17:27 2025 +0100"
      },
      "message": "Disconnection of UP must also reset notified\n\nBug found on trace 02891137574573508495 with an error in backtracking\n`notified \u003c\u003d assigned + reassigned`.\n"
    },
    {
      "commit": "15afed551275f383c89438a7187be1a1b827165e",
      "tree": "190944f64a8960def8ef11233e8ac93273d357b0",
      "parents": [
        "760e43030357066ddd1c613436977ea87b8dd68a"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 18:01:00 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 18:01:00 2025 +0100"
      },
      "message": "mobical: add paranoia assertion\n"
    },
    {
      "commit": "760e43030357066ddd1c613436977ea87b8dd68a",
      "tree": "75ba4112df47182b649258b88e8ef0022b96d3e1",
      "parents": [
        "669bfe9df3813e3537394d7e519cceb395ca899d"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 17:59:24 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 17:59:24 2025 +0100"
      },
      "message": "mobical: only disconnect existint external propagator\n"
    },
    {
      "commit": "669bfe9df3813e3537394d7e519cceb395ca899d",
      "tree": "df56483510ff0f2fabcf13f80a456d79a1e80801",
      "parents": [
        "2b349639c13a94b4b6810daf99a6bd848e45b2e9"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 17:59:00 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 17:59:00 2025 +0100"
      },
      "message": "mobical: only decide unset literals\n"
    },
    {
      "commit": "2b349639c13a94b4b6810daf99a6bd848e45b2e9",
      "tree": "595ebc2006075981e9a445559566f7326783a195",
      "parents": [
        "3269f7114e045a487d9419226b7613091c5fe576"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 17:31:21 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 17:31:21 2025 +0100"
      },
      "message": "remove too aggressive flag under clang\n"
    },
    {
      "commit": "3269f7114e045a487d9419226b7613091c5fe576",
      "tree": "e05991212a09d39f87ebb15280495c88c75c8264",
      "parents": [
        "618ca1b404077a32bfee10034ea852932d41af2e"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 17:30:37 2025 +0100"
      },
      "committer": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Mon Dec 22 17:30:37 2025 +0100"
      },
      "message": "fix clang warnings of unreachable code\n"
    },
    {
      "commit": "618ca1b404077a32bfee10034ea852932d41af2e",
      "tree": "b9f5fa3db3aefb1f7f5d58d4390c15cbe406d1e6",
      "parents": [
        "3e49a67b8d81ddf68c3e7f5f0ff962b7f9e82ba0"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 16:38:28 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 16:38:49 2025 +0100"
      },
      "message": "new CC showing\n"
    },
    {
      "commit": "3e49a67b8d81ddf68c3e7f5f0ff962b7f9e82ba0",
      "tree": "fe1107e2f4b9db4b99b69b6d63e450497ac02712",
      "parents": [
        "7a43b0f7319dc480cbe52e95bb96d58c30680aa5"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 16:32:09 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 16:32:09 2025 +0100"
      },
      "message": "installed the configure link again\n"
    },
    {
      "commit": "7a43b0f7319dc480cbe52e95bb96d58c30680aa5",
      "tree": "3c311f3f86f7f05b4cc9c922438cf813d9905784",
      "parents": [
        "7dae6eae2f478769b131ded1109f9f1caccdfb64"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Mon Dec 22 15:57:16 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Mon Dec 22 15:57:16 2025 +0100"
      },
      "message": "macos warning\n"
    },
    {
      "commit": "7dae6eae2f478769b131ded1109f9f1caccdfb64",
      "tree": "2b03817e0244a8015ddeff007db9b3ada6323a33",
      "parents": [
        "ddf7acc5803b06277d696f1461cd338382c101b6"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 15:27:51 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 15:27:51 2025 +0100"
      },
      "message": "cleaning up mock-propagator in ResetCall for mobical\n"
    },
    {
      "commit": "ddf7acc5803b06277d696f1461cd338382c101b6",
      "tree": "78b29edf7ef933673ccc5c1f2de0caa016462328",
      "parents": [
        "6253fc1ceda0e5acc87fde7011d5f7aaea8fe992"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Mon Dec 22 14:31:29 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Mon Dec 22 14:31:29 2025 +0100"
      },
      "message": "skipping parcomwrite test on Darwin/Apple\n"
    },
    {
      "commit": "6253fc1ceda0e5acc87fde7011d5f7aaea8fe992",
      "tree": "bf7af6eb5bb990707bceeea52e12fb5ac5adff95",
      "parents": [
        "ac18b6c3ab1a3187cda8104dfc5817d2133a9374"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 14:03:43 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 14:03:43 2025 +0100"
      },
      "message": "Improved shared library and dynamic binary built\n"
    },
    {
      "commit": "ac18b6c3ab1a3187cda8104dfc5817d2133a9374",
      "tree": "0b54741ec73b8f0716fada158644967ef9e8d7ff",
      "parents": [
        "bba797df2b2a35afa6b9c3ad0209f76319568cdd"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 14:03:36 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 14:03:36 2025 +0100"
      },
      "message": "Improved\n"
    },
    {
      "commit": "bba797df2b2a35afa6b9c3ad0209f76319568cdd",
      "tree": "4edf4bca134b3aa3e0285b7b17a653dfb4fe95fb",
      "parents": [
        "1d5b56632945a89f04d527fec893bdc48b1de5ed"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 13:15:58 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 13:15:58 2025 +0100"
      },
      "message": "Updated news.\n"
    },
    {
      "commit": "1d5b56632945a89f04d527fec893bdc48b1de5ed",
      "tree": "151cde00f62fd1f0a07471a187f2d0c2eb3cd9eb",
      "parents": [
        "a7d55ef212e648480d358a854088fa54ddce83ab"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:56:13 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:56:13 2025 +0100"
      },
      "message": "got skipping functionality\n"
    },
    {
      "commit": "a7d55ef212e648480d358a854088fa54ddce83ab",
      "tree": "c63b0799401fa41b9a0e9b098ab02256494a8473",
      "parents": [
        "d10d1bad4cbea10cab7a82b61e6371c0022b207b"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:40:39 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:40:55 2025 +0100"
      },
      "message": "fixed\n"
    },
    {
      "commit": "d10d1bad4cbea10cab7a82b61e6371c0022b207b",
      "tree": "20809b4984d48b4bfc8aef889fefab8c31fcefcd",
      "parents": [
        "8104e8c99fcf55075408de133349a3ef4aee0467"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Mon Dec 22 12:40:09 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Mon Dec 22 12:40:09 2025 +0100"
      },
      "message": "contract check warning\n"
    },
    {
      "commit": "8104e8c99fcf55075408de133349a3ef4aee0467",
      "tree": "9d8e462af892c7aa2585947a690a56cbef2b8292",
      "parents": [
        "dc0bd7c6f89340f2be6f69b0a0ef4c201b98effd"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:37:24 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:37:24 2025 +0100"
      },
      "message": "fixed building loop\n"
    },
    {
      "commit": "dc0bd7c6f89340f2be6f69b0a0ef4c201b98effd",
      "tree": "fe171b1ec2f37fe228fcc1404837dfbaa7597d73",
      "parents": [
        "c9055deecabe34c340cc7e15c24988f0f0fca490"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:33:05 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:33:05 2025 +0100"
      },
      "message": "bold\n"
    },
    {
      "commit": "c9055deecabe34c340cc7e15c24988f0f0fca490",
      "tree": "2f363fc651c6f4d76bc90728e29a11bf36c4524f",
      "parents": [
        "15810f472ca8d52f8811672134d145b4ca705f97"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:31:30 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:31:30 2025 +0100"
      },
      "message": "more\n"
    },
    {
      "commit": "15810f472ca8d52f8811672134d145b4ca705f97",
      "tree": "b9b520c09d32355950ae7599d7fa9d950a203fef",
      "parents": [
        "b7b6db3d312b1562414ba73d8fd08d36cc246c2b"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:30:17 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:30:17 2025 +0100"
      },
      "message": "fixed\n"
    },
    {
      "commit": "b7b6db3d312b1562414ba73d8fd08d36cc246c2b",
      "tree": "1e5ba077e612cced53f3791366a6b0deb6226e80",
      "parents": [
        "20ac829271be12f61f5b2f94999ed61cb128da6f"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:28:46 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:28:46 2025 +0100"
      },
      "message": "hidden\n"
    },
    {
      "commit": "20ac829271be12f61f5b2f94999ed61cb128da6f",
      "tree": "75ba36b8f59b20dc7d799ade86783ab60b3f9992",
      "parents": [
        "6073644ab56fd969d374c09136ec3030f6e7b128"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:25:08 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 12:25:08 2025 +0100"
      },
      "message": "fixed\n"
    },
    {
      "commit": "6073644ab56fd969d374c09136ec3030f6e7b128",
      "tree": "2c5cf455fb3c8d1b8cb6b2245680d8dc32711f21",
      "parents": [
        "da39f912b71487afe4990336cf7d9da343f5759f"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 11:59:25 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 11:59:25 2025 +0100"
      },
      "message": "more fixes\n"
    },
    {
      "commit": "da39f912b71487afe4990336cf7d9da343f5759f",
      "tree": "6a55267828c1a000a17e0e68f1b3d9f249cd5477",
      "parents": [
        "067cfff0ba46f9126aafa93ea24a8023e19f14d0"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 11:55:02 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 11:55:02 2025 +0100"
      },
      "message": "removed warning\n"
    },
    {
      "commit": "067cfff0ba46f9126aafa93ea24a8023e19f14d0",
      "tree": "9055b039b072679f8f4dbb88876294e2718c8893",
      "parents": [
        "57b9a4065158e8fcc094ec11f020d6f3e87d1f51"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 11:48:09 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 11:48:09 2025 +0100"
      },
      "message": "more fixes\n"
    },
    {
      "commit": "57b9a4065158e8fcc094ec11f020d6f3e87d1f51",
      "tree": "8549fa40772d8b8945059642fa83f50cfeb8884a",
      "parents": [
        "3383d193960a166e77ef5db07592b67c750c2d4b"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 11:41:49 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 11:41:49 2025 +0100"
      },
      "message": "worked on configuration script\n"
    },
    {
      "commit": "3383d193960a166e77ef5db07592b67c750c2d4b",
      "tree": "c4343690f5cc098fcadfaad8c7952a5f643a25ab",
      "parents": [
        "7d47fb5dd47503749c2ad1e78d752f890dece95f"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 10:50:30 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 10:50:49 2025 +0100"
      },
      "message": "parcompwrite test\n"
    },
    {
      "commit": "7d47fb5dd47503749c2ad1e78d752f890dece95f",
      "tree": "1491d8a28e875a25f2477e1747e779dbd74e992d",
      "parents": [
        "28fe4743d21e067aca9987a5f72e778e89a5decb"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 10:33:17 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 10:50:49 2025 +0100"
      },
      "message": "Fixed missing initialization of stats.\n"
    },
    {
      "commit": "28fe4743d21e067aca9987a5f72e778e89a5decb",
      "tree": "5cbd190d415bedf22fcb2ac179cf3f6df999c61f",
      "parents": [
        "b72f93915ffa291915ae61be0ae3f5eeeefb19b7"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Mon Dec 22 10:18:53 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "biere@ccamacmini01",
        "time": "Mon Dec 22 10:18:53 2025 +0100"
      },
      "message": "fixed Apple warnings and reformatted\n"
    },
    {
      "commit": "b72f93915ffa291915ae61be0ae3f5eeeefb19b7",
      "tree": "0df8c7fff23cbb67f35905a3b01429cc75e6930f",
      "parents": [
        "4f7d0837b599128e05e0b3772e139ae6e46f3d04"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 10:11:03 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 10:11:03 2025 +0100"
      },
      "message": "Revert \"Cannot cherry pick `deduplicatedinit` (f6a0b1902).\"\n\nThis reverts commit 4f7d0837b599128e05e0b3772e139ae6e46f3d04.\n\nAs we still have some of these features in the code.\n"
    },
    {
      "commit": "4f7d0837b599128e05e0b3772e139ae6e46f3d04",
      "tree": "28dac61769432cc72af5a4524e0887593e98bf95",
      "parents": [
        "e0dd388e65d7098607f66afe9549c1b21459e5cf"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 10:06:12 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 10:06:12 2025 +0100"
      },
      "message": "Cannot cherry pick `deduplicatedinit` (f6a0b1902).\nThus removed mentioning this new feature from NEWS.md.\n"
    },
    {
      "commit": "e0dd388e65d7098607f66afe9549c1b21459e5cf",
      "tree": "0df8c7fff23cbb67f35905a3b01429cc75e6930f",
      "parents": [
        "0f335b3aa06406311d781f9c2f5e30e7752b825b"
      ],
      "author": {
        "name": "Florian Pollitt",
        "email": "pollittf@informatik.uni-freiburg.de",
        "time": "Mon Oct 06 13:57:56 2025 +0200"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 10:00:12 2025 +0100"
      },
      "message": "more verbose error message\n(fixed Florian\u0027s wrong formatting of the error message)\n"
    },
    {
      "commit": "0f335b3aa06406311d781f9c2f5e30e7752b825b",
      "tree": "0df8c7fff23cbb67f35905a3b01429cc75e6930f",
      "parents": [
        "6660b6837836d8dd2d00812cf950fe255ae73bc8"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Tue Nov 25 14:17:06 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 09:54:47 2025 +0100"
      },
      "message": "fix some warnings (#149)\n"
    },
    {
      "commit": "6660b6837836d8dd2d00812cf950fe255ae73bc8",
      "tree": "079bd1feb9e3dc9da54ee10f39356e10beb2634c",
      "parents": [
        "42befcf9955046cbe4e08e27a25c7b1e7cbcc8e1"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 09:49:57 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 09:49:57 2025 +0100"
      },
      "message": "Manually merged \u0027alignof\u0027 for clause arena\n(added by Mathias in 0d4e7af3f)\n"
    },
    {
      "commit": "42befcf9955046cbe4e08e27a25c7b1e7cbcc8e1",
      "tree": "74c46bd6c08b372103151dbcfce7c5a426fc7d9a",
      "parents": [
        "c4b8d11f8b591bcdf0f1e2e210f20855688d658d"
      ],
      "author": {
        "name": "Mathias Fleury",
        "email": "Mathias.Fleury@ens-rennes.fr",
        "time": "Sat Nov 22 09:24:10 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 09:45:44 2025 +0100"
      },
      "message": "fix memory leak in configure script\n"
    },
    {
      "commit": "c4b8d11f8b591bcdf0f1e2e210f20855688d658d",
      "tree": "632dfc216ce55830ebb26919ab652ca2696ab5b5",
      "parents": [
        "516ebc8395d9b0318cb3d489e6a6ccd8675aeb1f"
      ],
      "author": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 09:43:24 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 09:43:24 2025 +0100"
      },
      "message": "Manual merges and fixes to NEWS (from api_contracts)\n"
    },
    {
      "commit": "516ebc8395d9b0318cb3d489e6a6ccd8675aeb1f",
      "tree": "87449665c3fcdbb43f9d682d69ac9f1a6e9be205",
      "parents": [
        "3285ea7068fdbeec6f6433dc2bdbf2fdeb362cd2"
      ],
      "author": {
        "name": "Katalin Fazekas",
        "email": "k.katalin.fazekas@gmail.com",
        "time": "Fri Dec 19 19:16:13 2025 +0100"
      },
      "committer": {
        "name": "Armin Biere",
        "email": "armin.biere@gmail.com",
        "time": "Mon Dec 22 09:31:35 2025 +0100"
      },
      "message": "extend cb_propagate comment\n"
    }
  ],
  "next": "3285ea7068fdbeec6f6433dc2bdbf2fdeb362cd2"
}