{
 "repo": {
  "name": "z3",
  "owner": "Z3Prover",
  "stars": 12899,
  "license": "NOASSERTION",
  "full_name": "Z3Prover/z3",
  "fetched_at": "2026-11-08T10:58:31.288952+00:00",
  "primary_language": "C++"
 },
 "burns": [
  {
   "agent": "github-copilot",
   "number": 7737,
   "reviewer_excerpt": "Z3 4.12.6 also proves this file efficiently.",
   "reviewer_excerpt_url": "https://github.com/Z3Prover/z3/pull/7737#issuecomment-3074158530"
  },
  {
   "agent": "github-copilot",
   "number": 7729,
   "reviewer_excerpt": "This is incorrect. Only Source Code, corresponding to (z3-$(Build.SourceVersion).zip) needs a hash. The other files are already signed.",
   "reviewer_excerpt_url": "https://github.com/Z3Prover/z3/pull/7729#issuecomment-3062903427"
  },
  {
   "agent": "github-copilot",
   "number": 7710,
   "reviewer_excerpt": "Fix instead the functions datatype::util::get_constructor_recognizer datatype::util::get_constructor_accessors to be efficient when constructors are 0-ary",
   "reviewer_excerpt_url": "https://github.com/Z3Prover/z3/pull/7710#issuecomment-3025008408"
  },
  {
   "agent": "github-copilot",
   "number": 7708,
   "reviewer_excerpt": "use usize(v) defined in vector.h instead of static_cast<unsigned>(v.size())",
   "reviewer_excerpt_url": "https://github.com/Z3Prover/z3/pull/7708#issuecomment-3019782835"
  },
  {
   "agent": "github-copilot",
   "number": 7689,
   "reviewer_excerpt": "this is not a valid fix",
   "reviewer_excerpt_url": "https://github.com/Z3Prover/z3/pull/7689#issuecomment-2993035219"
  }
 ],
 "total": 13,
 "agents": [
  {
   "agent": "github-copilot",
   "merged": 5,
   "flights": 12,
   "burn_rate": 0.455,
   "merge_rate": 0.455,
   "last_flight_at": "2025-07-15T15:24:09+00:00",
   "median_hours_to_merge": 5.1
  },
  {
   "agent": "openai-codex",
   "merged": 0,
   "flights": 1,
   "burn_rate": 0,
   "merge_rate": 0,
   "last_flight_at": "2025-06-29T18:41:34+00:00",
   "median_hours_to_merge": null
  }
 ],
 "riders": [],
 "flights": [
  {
   "agent": "github-copilot",
   "state": "closed",
   "title": "Fix quantifier weight default to prevent performance regression",
   "number": 7737,
   "outcome": "burn",
   "index_ok": true,
   "additions": 20,
   "deletions": 3,
   "merged_at": null,
   "opened_at": "2025-07-15T15:24:09+00:00",
   "task_type": "fix",
   "files_changed": 3,
   "hours_to_merge": null
  },
  {
   "agent": "github-copilot",
   "state": "open",
   "title": "Add support for Algebraic Datatypes in JavaScript/TypeScript bindings",
   "number": 7734,
   "outcome": "stale",
   "index_ok": false,
   "additions": 388,
   "deletions": 10,
   "merged_at": null,
   "opened_at": "2025-07-12T07:32:04+00:00",
   "task_type": "feat",
   "files_changed": 4,
   "hours_to_merge": null
  },
  {
   "agent": "github-copilot",
   "state": "closed",
   "title": "Add SHA256 hash generation for ZIP archives in nightly and release builds",
   "number": 7729,
   "outcome": "burn",
   "index_ok": true,
   "additions": 39,
   "deletions": 18,
   "merged_at": null,
   "opened_at": "2025-07-11T14:09:33+00:00",
   "task_type": "feat",
   "files_changed": 3,
   "hours_to_merge": null
  },
  {
   "agent": "github-copilot",
   "state": "closed",
   "title": "Fix git describe command failure in CMake configuration",
   "number": 7716,
   "outcome": "abandoned",
   "index_ok": false,
   "additions": 1,
   "deletions": 0,
   "merged_at": null,
   "opened_at": "2025-07-02T15:49:22+00:00",
   "task_type": "fix",
   "files_changed": 2,
   "hours_to_merge": null
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Fix O(n²) performance issue in CLI datatype declaration processing",
   "number": 7712,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 102,
   "deletions": 78,
   "merged_at": "2025-07-02T16:54:36+00:00",
   "opened_at": "2025-07-01T21:28:07+00:00",
   "task_type": "fix",
   "files_changed": 4,
   "hours_to_merge": 19.44
  },
  {
   "agent": "github-copilot",
   "state": "closed",
   "title": "Optimize datatype CLI performance by skipping accessor loop for 0-ary constructors",
   "number": 7710,
   "outcome": "burn",
   "index_ok": false,
   "additions": 11,
   "deletions": 3,
   "merged_at": null,
   "opened_at": "2025-07-01T16:55:38+00:00",
   "task_type": "perf",
   "files_changed": 3,
   "hours_to_merge": null
  },
  {
   "agent": "github-copilot",
   "state": "closed",
   "title": "Fix MSVC build warnings for size_t to unsigned conversion in nlsat components",
   "number": 7708,
   "outcome": "burn",
   "index_ok": false,
   "additions": 41,
   "deletions": 36,
   "merged_at": null,
   "opened_at": "2025-06-30T15:39:58+00:00",
   "task_type": "fix",
   "files_changed": 6,
   "hours_to_merge": null
  },
  {
   "agent": "openai-codex",
   "state": "closed",
   "title": "Fix Python model_str sorting",
   "number": 7706,
   "outcome": "abandoned",
   "index_ok": false,
   "additions": 9,
   "deletions": 1,
   "merged_at": null,
   "opened_at": "2025-06-29T18:41:34+00:00",
   "task_type": "fix",
   "files_changed": 4,
   "hours_to_merge": null
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Fix pydoc doctest failures by updating expected output format for string operations",
   "number": 7703,
   "outcome": "merged_clean",
   "index_ok": false,
   "additions": 3,
   "deletions": 3,
   "merged_at": "2025-06-28T02:11:05+00:00",
   "opened_at": "2025-06-28T01:54:54+00:00",
   "task_type": "fix",
   "files_changed": 2,
   "hours_to_merge": 0.27
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Improve Extract function documentation to clarify bit-vector vs sequence usage",
   "number": 7701,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 54,
   "deletions": 13,
   "merged_at": "2025-06-27T17:21:23+00:00",
   "opened_at": "2025-06-27T16:58:46+00:00",
   "task_type": "docs",
   "files_changed": 2,
   "hours_to_merge": 0.38
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Fix source installation to create dist-info directory for package discovery",
   "number": 7695,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 411,
   "deletions": 95,
   "merged_at": "2025-06-28T23:06:03+00:00",
   "opened_at": "2025-06-25T20:28:05+00:00",
   "task_type": "fix",
   "files_changed": 6,
   "hours_to_merge": 74.63
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "[WIP] Leaks",
   "number": 7691,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 4,
   "deletions": 3,
   "merged_at": "2025-06-21T03:26:43+00:00",
   "opened_at": "2025-06-20T22:19:56+00:00",
   "task_type": "fix",
   "files_changed": 3,
   "hours_to_merge": 5.11
  },
  {
   "agent": "github-copilot",
   "state": "closed",
   "title": "Fix division by zero handling inconsistency in arithmetic optimization",
   "number": 7689,
   "outcome": "burn",
   "index_ok": true,
   "additions": 16,
   "deletions": 5,
   "merged_at": null,
   "opened_at": "2025-06-20T21:14:52+00:00",
   "task_type": "fix",
   "files_changed": 2,
   "hours_to_merge": null
  }
 ],
 "indexed": 7,
 "monthly": [
  {
   "burns": 2,
   "month": "2025-06",
   "merged": 4,
   "flights": 7
  },
  {
   "burns": 3,
   "month": "2025-07",
   "merged": 1,
   "flights": 6
  }
 ],
 "top_authors": [
  {
   "name": null,
   "login": "levnach",
   "flights": 1,
   "indexed": 0
  }
 ],
 "page": "https://agentriders.com/logs/Z3Prover/z3/"
}