kframework / c-semantics

Cuándo se añadió cada estrella y fork, recopilado de GitHub y agrupado por día. El crecimiento acumulado se sitúa justo encima de las adiciones diarias que lo componen, de modo que ambos se leen en conjunto: la acumulación orgánica sostenida no se parece en nada a un pico abrupto y efímero. Cuando esa diferencia es medible, se informa como autenticidad del crecimiento.

Cada punto abarca 12 días.

No fue posible recopilar el conjunto de dependencias resuelto para este informe: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository

{
  "data": {
    "repo": {
      "topics": [],
      "is_fork": false,
      "size_kb": 21206,
      "has_wiki": true,
      "homepage": null,
      "languages": {
        "C": 1144671,
        "C++": 106748,
        "Perl": 75518,
        "CMake": 1889,
        "OCaml": 163981,
        "Shell": 18724,
        "Makefile": 29488,
        "Dockerfile": 1769
      },
      "pushed_at": "2022-02-01T17:50:35Z",
      "created_at": "2013-07-29T19:13:25Z",
      "owner_type": "Organization",
      "updated_at": "2026-07-04T16:40:55Z",
      "description": "Semantics of C in K",
      "is_archived": false,
      "is_disabled": false,
      "license_spdx": null,
      "default_branch": "master",
      "license_spdx_raw": "NOASSERTION",
      "primary_language": "C",
      "significant_languages": [
        "C",
        "OCaml"
      ]
    },
    "owner": {
      "blog": "http://kframework.org",
      "name": "K framework",
      "type": "Organization",
      "login": "kframework",
      "company": null,
      "location": "University of Illinois at Urbana-Champaign and Alexandru Ioan Cuza University of Iasi",
      "followers": 38,
      "avatar_url": "https://avatars.githubusercontent.com/u/5104335?v=4",
      "created_at": "2013-07-27T21:19:14Z",
      "is_verified": null,
      "public_repos": 36,
      "account_age_days": 4743
    },
    "license": {
      "state": "custom",
      "spdx_id": null,
      "raw_spdx": "NOASSERTION",
      "file_present": true,
      "scorecard_found": true,
      "profile_has_license": true
    },
    "activity": {
      "releases": [
        {
          "tag": "v3.4.0",
          "kind": "minor",
          "published_at": "2014-11-21T19:36:13Z"
        },
        {
          "tag": "v3.2.1",
          "kind": "patch",
          "published_at": "2013-08-21T19:11:57Z"
        }
      ],
      "recent_commits": [
        {
          "oid": "e6879d14455771aa0cb3e3d201131d4d763a73a2",
          "body": "Fixing links to papers",
          "is_bot": false,
          "headline": "Update README.md (#659)",
          "author_name": "Chucky Ellison",
          "author_login": "ellisonch",
          "committed_at": "2022-02-01T17:50:31Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d2ef66f05f0d4f5eddeaaa9eac056242421353ee",
          "body": "* Ignore fields with tags and empty declarator lists\r\nin structs and unions.\r\n\r\n* Never skip bitfields.\r\n\r\n* Unit tests (modified versions of provided failing test).",
          "is_bot": false,
          "headline": "Handle fields with both tags and empty declarator lists (#655)",
          "author_name": "mariaKt",
          "author_login": "mariaKt",
          "committed_at": "2021-03-12T19:29:08Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "11abc93337631ca9d999ba3fc2575f6c656f342f",
          "body": null,
          "is_bot": false,
          "headline": "Added volatile in type builder (#654)",
          "author_name": "mariaKt",
          "author_login": "mariaKt",
          "committed_at": "2021-03-05T22:54:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0219936e86b30dd14e7eed6d6cbb7f90db71426c",
          "body": "* parser: emit #pragma pack\r\n\r\n* ignore unknown pragmas again\r\n\r\n* Docker: build with any user id\r\n\r\n* stdlib depends on the hardware-addresses file\r\n\r\n* WIP pack\r\n\r\n* move stuff to translation semantics\r\n\r\n* fix missing import\r\n\r\n* pragma pack\r\n\r\n* try fix Jenkinsfile\r\n\r\n* try fix Jenkinsfile\r\n\r\n* \n[…]\n* Try fix Jenkinsfile\r\n\r\n* see what happens\r\n\r\n* It looks like something strips the command\r\n\r\n* There is probably a newline comming from sh\r\n\r\n* cache MaxAlign in fieldInfo\r\n\r\n* Remove commented code",
          "is_bot": false,
          "headline": "Pragma pack (#652)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2021-02-02T09:55:08Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "e068f19eacbc8a458af4b7db2dfc0c06b300e26a",
          "body": "* Add locations for expressions\r\n\r\n* Fix tests\r\n\r\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Add locations for expressions (#649)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2021-01-27T23:01:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3a016071b33f3348b3ebd9c7c1fe1f6ca7641203",
          "body": "* Fix hardware address dereferencing\r\n\r\n* Fix hardware address initialization\r\n\r\n* Range map for hardware addresses.\r\n\r\n* Refactor range maps\r\n\r\n* Fix rangeMapAppendSorted\r\n\r\n* Fix mergeRangeMaps\r\n\r\n* Some more fixes\r\n\r\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Fix hardware address dereferencing and subaddresses (#651)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2021-01-05T11:36:04Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "175400bb594b535e70fa71730dcfe644ce86a803",
          "body": "* Add configuration variable for hardware addresses\r\n\r\n* Make harware addresses have static duration\r\n\r\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Add configuration variable for hardware addresses (#650)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-12-11T08:53:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3f17d8b026f7e8d74845bfc912b6be81b5227936",
          "body": "* Different overflow warning code for explicit unsigned casts.\r\n\r\n* Simplify casts\r\n\r\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Different overflow warning code for explicit unsigned casts. (#647)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-11-18T18:57:54Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9e8409757b2f5433cc7c3d5b38419b09eb45ab03",
          "body": "Co-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Get the entry function from the environment (#646)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-11-09T19:10:27Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7750fd74b7702c58b464376980d2aba10f5e60ae",
          "body": "* Update the k version to v5.0.0-f537759\r\n\r\n* Update K to d382d52b56b7cfed084a629d684a667e862790ec\r\n\r\n* Wrap objs\r\n\r\n* Update k to e160771bb4ff5cb05df39f8353f13731e65ac453\r\n\r\n* Rename os-settings.k\r\n\r\n* Update k to master\r\n\r\n* Change optimization level\r\n\r\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>\r\nCo-authored-by: Virgil Serbanuta <Virgil Serbanuta>",
          "is_bot": false,
          "headline": "Update the k version (#643)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-11-04T21:38:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7fee93fa140d0a4868740ecad65928362e162229",
          "body": "Co-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Allow the alignas test to run on 32-bit profiles. (#642)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-09-21T19:42:22Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e9919bbd29a24967dd845325fc934e03cd21029a",
          "body": "Co-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Allow multiple profiles. (#641)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-08-11T13:20:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b0ba60a922017ddc2a72daf03845afb745cb0d60",
          "body": "Co-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Fix the size of unsigned long and long long (#639)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-08-07T17:48:36Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b123ea4160e3e197910b1fb3a6b5c682df11ee93",
          "body": "* Test nested conditionals timeout\r\n\r\n* Fix conditional timeout\r\n\r\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Fix conditional timeout (#637)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-08-07T10:42:51Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c658a679180177935a94cf1a7c07c796c51715e0",
          "body": "Co-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Evaluate only the conditional branches that are striclty needed. (#636)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-07-15T14:26:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0267f4f25400991d95a4b5c6f01198fb87d25d73",
          "body": "* Array element initializer with braces\n\n* Test\n\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>\nCo-authored-by: rv-jenkins <admin@runtimeverification.com>",
          "is_bot": false,
          "headline": "Array element initializer with braces (#635)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-07-09T20:22:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8db1316e853ab10be1e2b58a6f7bbac180dd318d",
          "body": "* No lint error for operations that can't overflow.\r\n\r\n* Tests\r\n\r\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "No lint error for operations that can't overflow. (#634)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-07-08T15:49:23Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8b04b86ac303b19eb4f044fddd5561d96c874322",
          "body": "Co-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Fix parsing for -Wno-file-error (#633)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-06-02T18:22:24Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "cba8d83da21690e94a832bdf275b9481aec5761f",
          "body": "Co-authored-by: rv-jenkins <admin@runtimeverification.com>",
          "is_bot": false,
          "headline": "Add the -Wno-file-error flag. (#632)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-05-20T16:55:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d43df77c187b950bb5e1b087caaff8f17ff722a4",
          "body": "* -Wno-file-line argument for kcc.\r\n\r\n* Rename -Wno-file-line. Make the line an integer.\r\n\r\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "-Wno-file-line argument for kcc. (#631)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-05-20T14:29:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "eff3eb818c16378630f7cba1cf5f453f8d3e9819",
          "body": "* .build/k: 19747bbd3 - Update dependency: haskell-backend/src/main/native/haskell-backend (#1266)\n\n* .build/k: 3687814f1 - Support priority attribute in macros (#1268)\n\n* .build/k: 70cb72bbf - don't import sort predicates and projections in program parser module (#1275)",
          "is_bot": false,
          "headline": "Update dependency: .build/k (#626)",
          "author_name": "rv-jenkins",
          "author_login": "rv-jenkins",
          "committed_at": "2020-05-12T15:22:25Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7dc155f0c1f74da804497bfb1706567b0f2a132f",
          "body": "Co-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Optimize cparser (#628)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-05-11T16:59:26Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "00598cb89f3ad767d495cb676635002f53fd5fa8",
          "body": "* Reduce the cparser memory usage\r\n\r\n* Rename Unapplied\r\n\r\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Reduce the cparser memory usage (#627)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-05-08T20:01:24Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a1c695b925fdae38b8f76d1a2ad69ad4632dc5c6",
          "body": "* Allow querying bit sizes.\r\n\r\n* Split into partial bytes\r\n\r\n* Add partialBytesToBytes\r\n\r\n* Refactor #partialBytesToBytes\r\n\r\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Fix bitfield (#625)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-05-05T16:20:52Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "dfeb27732596166278cc84601cf06bcced47342f",
          "body": "Co-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Remove the 'push to docker' Jenkins stage. (#622)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-04-29T15:29:25Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5de35f06243e98ff494e6028ba707f6deead8aa7",
          "body": "* use `resolveOverloadResult` to remove the need for the `structural` attr\r\n\r\n* remove `structural` attr from CallExpr(BinaryOperator(operator->))",
          "is_bot": false,
          "headline": "Remove some instances of the `[structural]` attribute on contexts (#623)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2020-04-28T19:13:32Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e39b389ed922fd3e24463ca7b931810603136a86",
          "body": "* Add test for taking an unresolved function's address.\r\n\r\n* Exclude link address test form default tests\r\n\r\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Add test for taking an unresolved function's address. (#621)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-04-27T19:20:15Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3dfe9fe1c4c6215e11b2de3b16e36287973a0042",
          "body": "* Add command line option for unresolved symbols handling\r\n\r\n* Detect unresolved symbols when executing\r\n\r\n* Add test for symbols referenced from main, but not used.\r\n\r\n* Make WarnUnreachable the default for -funresolved-symbols\r\n\r\n* Check both types of 'loc' for unresolved link symbols.\r\n\r\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Add command line option for ignoring unresolved symbols (#619)",
          "author_name": "Virgil",
          "author_login": "virgil-serbanuta",
          "committed_at": "2020-04-22T15:49:24Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "37fb4676500172d65aeb73cdde4f7f23a017c9b2",
          "body": null,
          "is_bot": false,
          "headline": "add function to get current semantics (#620)",
          "author_name": "Dwight Guth",
          "author_login": null,
          "committed_at": "2020-04-15T21:43:38Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a06c241453184e6431de169936fbfeea6b935f54",
          "body": "so that the parser to Kore does not need to choose the right overload",
          "is_bot": false,
          "headline": "remove overloaded ExprLoc (#617)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2020-04-08T14:28:56Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0371ae1f9ddb341b4fd454376a4fd0b437f7eba6",
          "body": "* fix missing kseq\r\n\r\n* add missing sort\r\n\r\n* remove overloaded and duplicate productions",
          "is_bot": false,
          "headline": "sync llvm changes (#616)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2020-04-07T09:37:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0fc748cd75fc39fa9a6b14d34c5fa8f90df73b56",
          "body": "* reduce code duplication\r\n\r\n* a stub for clever linking\r\n\r\n* track linking dependencies\r\n\r\n* intelligent linking\r\n\r\n* clearLinkingState\r\n\r\n* disable clever linking when we have C++ main\r\n\r\n* link symbols reachable from entrypoint\r\n\r\n* link symbols used outside a function\r\n\r\ne.g., used in an initial\n[…]\ngil Serbanuta <virgil.serbanuta>\r\n\r\n* Fix test\r\n\r\n* Add warning test\r\n\r\nCo-authored-by: Virgil <25692529+virgil-serbanuta@users.noreply.github.com>\r\nCo-authored-by: Virgil Serbanuta <virgil.serbanuta>",
          "is_bot": false,
          "headline": "Clever linking (#608)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2020-03-26T10:45:12Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "f6db2ea355dd72f30cd7d064f62c50d467b5f63e",
          "body": "* C++ semantics [symbol] tags.\r\n\r\n* [symbol] attribute for C++ semantics\r\n\r\n* remove duplicate TReturnOp\r\n\r\nCo-authored-by: chathhorn <chathhorn@gmail.com>",
          "is_bot": false,
          "headline": "C++: add attribute [symbol] (#615)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2020-03-19T10:02:42Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "20371b58de9667f4c06e628a0160b56d1d41014b",
          "body": null,
          "is_bot": false,
          "headline": "fix nested union bug (#613)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2020-03-12T20:30:10Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8df6ac2bca058c88d9c1659eb08240b2e841f8dc",
          "body": "* sync changes to llvm backend into master\r\n\r\n* fix stuck function\r\n\r\n* fix comments",
          "is_bot": false,
          "headline": "sync changes to llvm backend into master (#611)",
          "author_name": "Dwight Guth",
          "author_login": null,
          "committed_at": "2020-03-09T12:06:37Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "20c2bda86613ee51dd13bd62e675b31301bc2307",
          "body": "* fix bitfield non-termination bug\r\n\r\n* added sorts",
          "is_bot": false,
          "headline": "fix bitfield non-termination bug (#610)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2020-02-28T14:51:24Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5220d3d8b1c3712973936e0af1417aea47f31f50",
          "body": "* fix nested switch\r\n\r\n* fix missing sort\r\n\r\n* need z3 for K\r\n\r\n* install z3 from sources",
          "is_bot": false,
          "headline": "Fix nested switch (#605)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2020-02-14T09:11:42Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ed5c05e4ac070e31cc45331e5b0752357fbeeea3",
          "body": null,
          "is_bot": false,
          "headline": "preprocessor: forward -std=xyz to gcc (#603)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2020-01-14T15:48:49Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "02919ca1c7777f948f01246d0c716a11b440938b",
          "body": "* Update INSTALL.md\r\n\r\n* Update INSTALL.md\r\n\r\n* Update INSTALL.md",
          "is_bot": false,
          "headline": "Update installation instructions (#602)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2020-01-14T09:53:09Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e9a9b6bb5bfc3d40177b51269f86b0df69b0a628",
          "body": "This reverts commit d61025b083d54500b14ba1276ea85f3806218cfe.",
          "is_bot": false,
          "headline": "Revert \"Clang-based C parser (#593)\" (#601)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2020-01-09T21:19:28Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "152f207c2833a6e90d78eb92816790dacdb32b28",
          "body": null,
          "is_bot": false,
          "headline": "Fix git clone command for docker installation (#598)",
          "author_name": "AlexCid",
          "author_login": "AlexCid",
          "committed_at": "2019-11-28T15:18:35Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8979c60cf067717f61049ea1463fcc6903db9de3",
          "body": "* fix restrict\r\n\r\n* Added a test.\r\n\r\n* formatting",
          "is_bot": false,
          "headline": "Fix restrict (#597)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-11-15T15:24:03Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d61025b083d54500b14ba1276ea85f3806218cfe",
          "body": "* Free memory when `throw` is interrupted by `throw`\r\n\r\n* helper scripts\r\n\r\n* kcc --use-clang\r\n\r\n* clang-kast --cparser\r\n\r\n* TranslationUnit\r\n\r\n* swap parameters of 'DefinitionLoc'\r\n\r\n* fix\r\n\r\n* TypedefDecl\r\n\r\n* Get rid of repetetion\r\n\r\n* Parsing C types\r\n\r\n* VarDecl\r\n\r\n* IntegerLiteral\r\n\r\n* Floatin\n[…]\ncaml parser for selected test cases\r\n\r\n* remove debugging code\r\n\r\n* enum-offsetof.c\r\n\r\n* disable debug output\r\n\r\n* sizeof(struct S{int x;}) + sizeof(struct S);\r\n\r\n* use clang-based C parser by default",
          "is_bot": false,
          "headline": "Clang-based C parser (#593)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-11-07T09:08:25Z",
          "body_truncated": true,
          "is_coding_agent": false
        },
        {
          "oid": "ffef397dd939e55439470dc324008b545dae463b",
          "body": null,
          "is_bot": false,
          "headline": "offsetof-1.c: constant field access expression (#594)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-11-01T07:38:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "9173de7d03d5a2384eed8d7d3baa13743408d0e0",
          "body": "* C18.md: C18 changelog.\r\n\r\n* Check for zero size arg to *alloc.\r\n\r\n* Remove type qualifiers in typeof cast.\r\n\r\n* Remove UB-STDLIB7 (aligned_alloc invalid args).\r\n\r\n* DR 481 semantics for _Generic.\r\n\r\n* Type of rvalues.\r\n\r\n* IMPL-STDLIB8 citations, tests.\r\n\r\n* Tweak\r\n\r\n* Newline.",
          "is_bot": false,
          "headline": "Some C18-related updates (#592)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-10-29T08:33:20Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "e428c4564059d5f52e8e4d5fd75dfdf5ccf6a1f0",
          "body": null,
          "is_bot": false,
          "headline": "compcertTSO-2.c.ref: fix line number. (#590)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-10-17T16:16:57Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "27dac225a2befe8de6c98794e75a056096b0e04c",
          "body": null,
          "is_bot": false,
          "headline": "compcertTSO-2.c: deterministic error output. (#589)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-10-17T07:11:11Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1ade876c68f3124b38cff01e530150324b57299e",
          "body": "* A few UB and lint checks.\r\n\r\n* Distinguish signed-int from int (for bitfields).\r\n\r\n* Updating tests and OS test exclusions.\r\n\r\n* Minor conversion refactor.\r\n\r\n* More signed-int fixes.\r\n\r\n* Cast ptr to int: Impl behavior intead of lint.\r\n\r\n* Update test expected output.\r\n\r\n* Update test expected output.\r\n\r\n* More expected-output fixes.\r\n\r\n* Update tests.\r\n\r\n* Remove duplicate test.\r\n\r\n* j055e.c.ref: Update test expected output.\r\n\r\n* Update test expected output.",
          "is_bot": false,
          "headline": "A few MISRA-related checks (#588)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-10-16T14:10:25Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "64b950146472a679d2de4075309c393eac0fae2c",
          "body": "* Update K submodule\r\n\r\n* Fixes for parse clashes with projections.",
          "is_bot": false,
          "headline": "Update K submodule (#587)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-10-08T12:41:29Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f4f2406a33dfc156a9947e98a2213e1d3ecf8700",
          "body": "* Fix for #582.\r\n\r\n* Test for fix.",
          "is_bot": false,
          "headline": "Fix for #582. (#586)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-10-07T06:56:44Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "a293965525c955c0f2f3ab1169dd8717811a0f03",
          "body": "* Update OS profile to be 64-bit platform.\r\n\r\n* Fixes for Match.\r\n\r\n* Another 64bit type update.\r\n\r\n* Fix dumb regression.\r\n\r\n* Fix.",
          "is_bot": false,
          "headline": "Fixes for Match (#585)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-10-02T13:32:26Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "37fcac6fc9a176d91684ecfe45db9d057740e908",
          "body": "* Fix encoded floats appearing in relational exps.\r\n\r\n* Test.\r\n\r\n* Fix test.",
          "is_bot": false,
          "headline": "Fix encoded floats appearing in relational exps. (#584)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-10-01T11:59:48Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5a3b266fa527995a5f6ffe81f2bf38530021ee04",
          "body": null,
          "is_bot": false,
          "headline": "Disable pushing docker images to internal registry. (#583)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-09-30T15:39:40Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3d017bc67c9435e2da73be78a24a2049f30793ed",
          "body": null,
          "is_bot": false,
          "headline": "Add -flinking-depth kcc flag. (#579)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-09-20T10:39:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "24ff37a5f84b6a302a63fde71bd2de9245f17ee2",
          "body": "* LLVM backend: semantics fixes.\r\n\r\n* LLVM backend: parser fixes.\r\n\r\n* stdio.k: Fix default field width.\r\n\r\n* Fix for converting encoded values.",
          "is_bot": false,
          "headline": "C parser fixes needed for the LLVM backend (#578)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-09-19T08:08:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "39a810bedf1c4bb4ca7c83b36029d26277be259a",
          "body": "* Fix #574.\r\n\r\n* Destruct the exception object",
          "is_bot": false,
          "headline": "Fix #574. (#576)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-09-17T14:52:43Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6ea18d7b110e56a39b06b747e021f5758a65125a",
          "body": "* createTemporary for bindParams\r\n\r\n* Delete local references when they go out of scope\r\n\r\n* destruct returned temporary\r\n\r\n* Forgotten test.\r\n\r\n* fix: forgotten `destructTemporaries`\r\n\r\n* Forgotten Makefile",
          "is_bot": false,
          "headline": "Destruct temporaries (2) (#572)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-09-17T04:37:52Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "1df96369808311853cb7bc43c13dd2cc5ad70a82",
          "body": "* Make size_t => unsigned-long\r\n\r\nOn my machine, there is a problem with the `new41.C` test. The test uses the `__SIZE_TYPE__` macro, that evaluates to `unsigned long`. Having `size_t => unsigned` in the semantics results in having two overloads for `operator new`, the implicit one with an `unsigned` parameter and the user-defined one with `unsigned long`, and the implicit one gets selected.\r\n\r\n* Enable new41.C and new23.C",
          "is_bot": false,
          "headline": "Make size_t => unsigned-long (#573)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-09-16T11:02:46Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0a766eb4575b487a85849f6b24d454f15435190e",
          "body": "* move `fullExpression` from C to C++ semantics\r\n\r\n* Move `myListUpdate` to `compat.k`.\r\n\r\n* Destruct (some) temporary objects.",
          "is_bot": false,
          "headline": "Destruct temporaries (#569)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-09-11T16:56:04Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "db9605e89d15309863042a556d4917395e679c19",
          "body": "* Delete local object just after its destruction.\r\n\r\nThe cell <local-addresses> is no longer used\r\nin the C++ semantics.\r\n\r\n* fix\r\n\r\n* fix\r\n\r\n* Fix a comment\r\n\r\n* remove `baseOfLoc`",
          "is_bot": false,
          "headline": "Delete local object just after its destruction. (#564)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-09-09T16:03:34Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "fadd8a89a233ab74af4ec57b2ec867b139d66b27",
          "body": "* .build/k: update submodule\r\n\r\n* .build/k: update submodule",
          "is_bot": false,
          "headline": "Update dependencies (#566)",
          "author_name": "rv-jenkins",
          "author_login": "rv-jenkins",
          "committed_at": "2019-09-08T12:50:29Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "19a8e9b765b2880986c7e3972061c3cf848e8678",
          "body": null,
          "is_bot": false,
          "headline": ".build/k: update submodule (#565)",
          "author_name": "rv-jenkins",
          "author_login": "rv-jenkins",
          "committed_at": "2019-09-05T19:16:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "b8f7e0ffca28465f1f24d1dcf6678becb08523ba",
          "body": "* new26.C.ref: remove windows line endings\r\n\r\n* Update K submodule.",
          "is_bot": false,
          "headline": "new26.C.ref: remove windows line endings (#563)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-08-31T00:24:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0591e74d3ca7a4db09faeb179888508de538fb40",
          "body": "* refactoring throw\r\n\r\n* refactor throw\r\n\r\n* Destruct aggregate-members only on exception.\r\n\r\nWhen going out of scope naturally, destructors\r\nof aggregate members are now not called. In future,\r\nthey will be called from the destructor of the aggregate.\r\n\r\n* fixes\r\n\r\n* Initialize aggregate members in a block\r\n\r\nso that they are automatically removed from locally-constructed\r\nbefore the aggregate itself is added there.\r\n\r\n* saveLocallyConstructed",
          "is_bot": false,
          "headline": "Fix aggregate destruction (#556)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-08-28T13:35:09Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4c7dcbfdb00c169b9907f6ad6eb1a4d63c2f2d07",
          "body": "* Minor refactoring:\r\n\r\nSpaces for tabs, consistent indenting of switch statements (and a few\r\nother places), add some missing default switch cases, less placeholder-y\r\nerror message.\r\n\r\n* Remove fd dup hack.\r\n\r\n* Split stuff apart a bit.\r\n\r\n* Refactoring.\r\n\r\n* Refactoring.\r\n\r\n* Refactoring, --kore flag.\r\n\r\n* Subdirectories.\r\n\r\n* Use more std::strings.\r\n\r\n* Sort signatures.\r\n\r\n* C++17.\r\n\r\n* Injections.\r\n\r\n* Injections.\r\n\r\n* Fix some memory leaks.\r\n\r\n* Fix.\r\n\r\n* Destructor.\r\n\r\n* Fix some leaks.",
          "is_bot": false,
          "headline": "C++ to kore parser (#541)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-08-27T23:48:09Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8f4c195c9b9544ebf9ca86774e28230c57ffc486",
          "body": "* init refactoring\r\n\r\n* cleanup initialization\r\n\r\n* revert priorities\r\n\r\n* fix bad sort cast\r\n\r\n* cleanup options\r\n\r\n* fix some incorrect sort information\r\n\r\n* narrow pattern matching in subobjectKCell\r\n\r\n* fix a few more minor errors\r\n\r\n* fix regression",
          "is_bot": false,
          "headline": "Finish fixing C semantics for llvm backend to kompile (#534)",
          "author_name": "dwightguth",
          "author_login": null,
          "committed_at": "2019-08-16T21:40:57Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "312a39f07a0a1bd3d8a672f19e9c96ac05a0cca2",
          "body": "* Fix functional cast\r\n\r\n* test",
          "is_bot": false,
          "headline": "Fix functional cast (#546)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-08-16T18:10:45Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "342b0e9bc9267e2b4a93ac780708c237fc9392e2",
          "body": null,
          "is_bot": false,
          "headline": "Dockerfile: use openjdk-11-jdk from base image (#554)",
          "author_name": "Minas Charalambides",
          "author_login": "charala1",
          "committed_at": "2019-08-13T19:48:43Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "842e4abab03a96c8e5fb979d988bff7d6022e3e3",
          "body": "* Dockerfile: pull perl installation from another image\r\n\r\n* Dockerfile: inherit from runtimeverificationinc/kframework:ubuntu-bionic\r\n\r\n* Dockerfile: trivial change with DEPS_DIR\r\n\r\n* Dockerfile: added TODO for jdk-11\r\n\r\n* Dockerfile: install llvm-6, clang-6.0 and clang++-6.0",
          "is_bot": false,
          "headline": "Using kframework base image (#552)",
          "author_name": "Minas Charalambides",
          "author_login": "charala1",
          "committed_at": "2019-08-13T18:04:35Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "fffef275d3963f35df7e3311c89b8af5891bde4a",
          "body": null,
          "is_bot": false,
          "headline": "Make test independent of locale. (#551)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-08-13T11:43:41Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d9e3623234fb90cca02d7a97de3a15b4198e18c1",
          "body": "* Dockerfile: pull ocaml installation from another image\r\n\r\n* Jenkinsfile: increase timeouts",
          "is_bot": false,
          "headline": "Dockerfile: pull ocaml installation from another image (#550)",
          "author_name": "Minas Charalambides",
          "author_login": "charala1",
          "committed_at": "2019-08-12T23:02:16Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5b9bd498b2a5d9c9086d96c55c4b80dbb0a76961",
          "body": "* UB check for invalid arg to ctype functions.\r\n\r\n* Remove ctype header/def from OS profile.\r\n\r\n* Return isdigit def.\r\n\r\n* Add isdigit semantics.\r\n\r\n* Fix.\r\n\r\n* Remove ctype.c again.\r\n\r\n* Fix.\r\n\r\n* Remove isdigit semantics.\r\n\r\n* Exclude test requiring isprint/isspace.\r\n\r\n* Fix.\r\n\r\n* Test for ctype char class funs.\r\n\r\n* Example for new error code.\r\n\r\n* Fix expected output for ctype test.",
          "is_bot": false,
          "headline": "UB check for invalid arg to ctype functions. (#548)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-08-12T08:30:53Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "cbcee19f616f05668b0928d916eb8043973db659",
          "body": "* Rewrite reference binding to match the standard.\r\n\r\n* Forgotten not-a-bitfield condition.\r\n\r\n* Bind prvalue to reference\r\n\r\n* fix zero initialization of an empty struct\r\n\r\n* refactor FunctionalCast\r\n\r\n* test\r\n\r\n* The result of zero-initialization is the initialized object.",
          "is_bot": false,
          "headline": "Various fixes and refactorings. Also some standardeese. (#545)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-08-07T12:49:16Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "ad1c29c28cbf75a2b6f374a037abfadbc5f8203c",
          "body": "* Dockerfile: FROM dockerhub repo\r\n\r\n* Jenkinsfile: `docker.withRegistry` + credentials\r\n\r\n* Jenkinsfile: timeouts",
          "is_bot": false,
          "headline": "Private registry credentials (#543)",
          "author_name": "Minas Charalambides",
          "author_login": "charala1",
          "committed_at": "2019-08-02T14:12:33Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "4f1e9da9cc370c089090a0a48cabdd5b54c0ab7c",
          "body": "* bindReference in translation semantics\r\n\r\n* Move reference binding to translation semantics\r\n\r\n* find bug\r\n\r\nthe translation gets stuck on\r\n```innerTypeOfSimpleType(`int_CPP-TYPING-SYNTAX`(.KList))```\r\n\r\n* Do not reference-rewrite object under construction\r\n\r\n(A fix of the error detected in the previous commit.)\r\n\r\n* Use `declareObject` to create a temporary for ref.\r\n\r\nTrack duration of references.\r\n\r\nThe temporary to which the reference is bound\r\npersists for the lifetime of the reference.",
          "is_bot": false,
          "headline": "BindReference in translation semantics #2 (#522)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-07-30T17:01:00Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "63ab79039f231a96252dd9e11484307709f65696",
          "body": "* Dockerfile: using internal registry image\r\n\r\n* INSTALL.md: docker instructions\r\n\r\n* Jenkinsfile: build and publish image\r\n\r\n* Jenkinsfile: pull base image from private registry",
          "is_bot": false,
          "headline": "Dockerfile: using internal registry image (#539)",
          "author_name": "Minas Charalambides",
          "author_login": "charala1",
          "committed_at": "2019-07-25T16:16:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8f05e8f0ba7fd18d77595ad9e48e0f786dbd955f",
          "body": "* Disambiguate some cpp klabels.\r\n\r\n* Refactor type canonicalization.\r\n\r\n* Send verbose output to file.\r\n\r\n* Allow __restrict__ in OS profile.",
          "is_bot": false,
          "headline": "Disambiguate some cpp klabels. (#536)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-07-18T17:16:59Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "0464a7a048b8578fffd37f413fe31b2f3de15406",
          "body": null,
          "is_bot": false,
          "headline": "Fix KCCFLAGS for CV examples (#538)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-07-17T14:06:26Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "f493acf34df43c62713048ed5eed934a782ba620",
          "body": "* don't heat ksequences\r\n\r\n* fix regression involving type map\r\n\r\n* update k submodule",
          "is_bot": false,
          "headline": "Fixes for latest version of K (#532)",
          "author_name": "dwightguth",
          "author_login": null,
          "committed_at": "2019-07-11T21:51:32Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "bf578990637d257f295cec94bbb30b3663c09500",
          "body": "* Remove `apt-get upgrade` from dockerfile\r\n\r\n* Another apt-get update",
          "is_bot": false,
          "headline": "Remove `apt-get upgrade` from dockerfile (#533)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-07-11T19:49:55Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "3742bfb4aa10a8693abd9406f42c55f85dbd21ff",
          "body": null,
          "is_bot": false,
          "headline": "type map (#530)",
          "author_name": "dwightguth",
          "author_login": null,
          "committed_at": "2019-07-10T16:14:11Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d8b6a2e002a846bb24e700374370b5e1b740aed1",
          "body": "* Makefile: bugfix for check-perl target\r\n\r\n* Makefile: out of source build for parser and cdecl\r\n\r\n* Makefile: removed temporary cdecl target\r\n\r\n* Makefile: fix cdecl Makefile.in timestamp issue",
          "is_bot": false,
          "headline": "Out of source build for parser and cdecl (#528)",
          "author_name": "Minas Charalambides",
          "author_login": "charala1",
          "committed_at": "2019-07-09T20:15:07Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "50633cd9440273ac81f3db22ee28812e83196302",
          "body": "* kcc_local_static_of for invasive unit testing.\r\n\r\n* Remove already-evaluated initializer.",
          "is_bot": false,
          "headline": "kcc_local_static_of attribute (#521)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-07-05T14:11:45Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "983adbf225477138acfd254c84b591368afc8662",
          "body": "* remove calls to #configuration\r\n\r\n* configuration\r\n\r\n* configuration\r\n\r\n* configuration\r\n\r\n* fix constexpr\r\n\r\n* update k submodule\r\n\r\n* misc fixes\r\n\r\n* fix parsing bug\r\n\r\n* fix warnings",
          "is_bot": false,
          "headline": "remove calls to #configuration (#470)",
          "author_name": "dwightguth",
          "author_login": null,
          "committed_at": "2019-07-03T22:05:16Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "c419400db7df25159c3669b35d540726c0caaf3f",
          "body": "* refactoring\r\n\r\n* fix\r\n\r\n* fix\r\n\r\n* fix\r\n\r\n* fix\r\n\r\n* conversionSequence\r\n\r\n* computeUDC\r\n\r\n* s/conversionSequence/computeConversionSequence/g\r\n\r\n* computeBestViable\r\n\r\n* checkIsBest, isBetterFunctionThan\r\n\r\n* refactoring\r\n\r\n* hasBetterCSThan\r\n\r\n* fix\r\n\r\n* remove old code",
          "is_bot": false,
          "headline": "Refactor overloading #2 (#479)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-07-03T17:45:39Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "dce53cea27c4cdf57ca0c23c5b5da7ee724f5dba",
          "body": "* fix #497.\r\n\r\n* fix & test",
          "is_bot": false,
          "headline": "Fix #497 (#516)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-07-03T12:21:13Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "fc23dfc05c065c5963acf61abaca65ea4216c56b",
          "body": null,
          "is_bot": false,
          "headline": "isReferenceRelated (#494)",
          "author_name": "Jan Tusil",
          "author_login": "h0nzZik",
          "committed_at": "2019-07-02T11:28:37Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "5679c893a07e13207aa0522278cf7d602a78a42b",
          "body": null,
          "is_bot": false,
          "headline": "Another fix for returning from native funs. (#514)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-07-01T21:08:30Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "bbfd62047cec5f56214598cf5e5ea290f3a53a14",
          "body": null,
          "is_bot": false,
          "headline": "Fix another issue on returning from native. (#513)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-07-01T18:33:29Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "2aa6c0138c963e96fe36485eb451776647d78d33",
          "body": "* Fix returning from native function.\r\n\r\n* Fix.",
          "is_bot": false,
          "headline": "Fix returning from native function. (#508)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-07-01T15:42:52Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "8a34282988d1efdb982ddc17ef3904f33c1ecf6f",
          "body": "* user has sudo privileges\r\n* local installation of perl packages\r\n* Dockerfile more similar to that of rv-match",
          "is_bot": false,
          "headline": "Updated Dockerfile, Jenkinsfile (#507)",
          "author_name": "Minas Charalambides",
          "author_login": "charala1",
          "committed_at": "2019-06-28T20:18:02Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "884dcd396fabdc20747f3a8d390b6befd3f34c72",
          "body": "* Minor refactoring.\r\n\r\n* Fix unintended non-det.",
          "is_bot": false,
          "headline": "Fix unintended non-determinism (again) (#505)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-06-28T17:25:03Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "68499b369cc9636dac6a820a3717701a5f122cbb",
          "body": null,
          "is_bot": false,
          "headline": "Makefile: fixed pack target (#506)",
          "author_name": "Minas Charalambides",
          "author_login": "charala1",
          "committed_at": "2019-06-28T15:52:24Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "7be7baae816c661ea6e9416516f531fc8064bdf5",
          "body": null,
          "is_bot": false,
          "headline": "Makefile: bugfix for logger call (#502)",
          "author_name": "Minas Charalambides",
          "author_login": "charala1",
          "committed_at": "2019-06-28T02:50:18Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "2c9ae2eec3b2ca6a7be6af9cc24a9af1baf1ed04",
          "body": "* Some more C non-determinism cases.\r\n\r\n* Binding refactor.\r\n\r\n* Min/max refactor.\r\n\r\n* Revert constant check.\r\n\r\n* parser: Escaping issue, minor refactor.\r\n\r\n* Prevent recovery in unit-pass tests.\r\n\r\n* typeof fix.\r\n\r\n* Revert \"Prevent recovery in unit-pass tests.\"\r\n\r\nThis reverts commit f86cd8c5c70b4c8e25ddc4a022450f9f18aff0e2.\r\n\r\n* typeof fix fix.\r\n\r\n* Another fix for conditionals.",
          "is_bot": false,
          "headline": "More non-determinism (#503)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-06-28T01:21:22Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "790da842f5e276b54bec9b82eacbf3be124e92dc",
          "body": "* Using a custom logger for the build\r\n\r\n* Added scripts/build-logger.h\r\n* modified: Makefile\r\n* modified: semantics/Makefile\r\n\r\n* Jenkinsfile: --output-sync=line\r\n\r\n* tests/*/Makefile: ROOT directory and Makefile target\r\n\r\n* tests/*/Makefile: KCC,KXX set via ROOT\r\n\r\n* tests/unit-pass/Makefile: CC and CXX no call to origin\r\n\r\n* Makefile: do not distribute K_BIN\r\n\r\n* Makefile: CC,CXX for $(PROFILE)-native and more calls to the logger",
          "is_bot": false,
          "headline": "Build logging and Makefile improvements (#500)",
          "author_name": "Minas Charalambides",
          "author_login": "charala1",
          "committed_at": "2019-06-25T22:37:15Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "6bc63acc9cfa19ac09fec135a54d9a10af70d124",
          "body": "* More generic script: scripts/gen-file-atomically.sh\r\n* modified: semantics/Makefile",
          "is_bot": false,
          "headline": "Fixes to atomic makefile generation (#495)",
          "author_name": "Minas Charalambides",
          "author_login": "charala1",
          "committed_at": "2019-06-25T16:27:08Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "27a1eefa2a0e155f2f46dab0d0ebbb0c9f120de8",
          "body": "* Improved clean targets\r\n* Fix for default targets\r\n\r\n* modified:   Makefile\r\n* modified:   semantics/Makefile\r\n* new file:   tests/Makefile",
          "is_bot": false,
          "headline": "Removed unused make targets (#489)",
          "author_name": "Minas Charalambides",
          "author_login": "charala1",
          "committed_at": "2019-06-21T19:40:17Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "da659b8afe5409a92386fcb68e43e9c47eddef69",
          "body": "* Fix some unintended non-determinism.\r\n\r\n* Fix some other issues.\r\n\r\n* Enable more tests for OS semantics.\r\n\r\n* More non-determinism.\r\n\r\n* Spawn kserver.",
          "is_bot": false,
          "headline": "Fix some unintended non-determinism. (#485)",
          "author_name": "Chris Hathhorn",
          "author_login": "chathhorn",
          "committed_at": "2019-06-21T16:43:05Z",
          "body_truncated": false,
          "is_coding_agent": false
        },
        {
          "oid": "d616ea4509ee8b6b637cef34b25cc540871c777b",
          "body": "modified:   examples/c/error-codes/posix/Makefile\r\nmodified:   examples/c/error-codes/violates-constraint/nonfatal/Makefile",
          "is_bot": false,
          "headline": "Makefiles of examples and tests: $(KCC) instead of kcc (#490)",
          "author_name": "Minas Charalambides",
          "author_login": "charala1",
          "committed_at": "2019-06-20T22:34:46Z",
          "body_truncated": false,
          "is_coding_agent": false
        }
      ],
      "releases_count": 2,
      "commits_last_year": 0,
      "latest_release_at": "2014-11-21T19:36:13Z",
      "latest_release_tag": "v3.4.0",
      "releases_from_tags": false,
      "days_since_last_push": 1632,
      "active_weeks_last_year": 0,
      "days_since_latest_release": 4261,
      "mean_days_between_releases": 457
    },
    "community": {
      "has_readme": true,
      "has_license": true,
      "has_description": true,
      "has_contributing": false,
      "health_percentage": 37,
      "has_issue_template": false,
      "has_code_of_conduct": false,
      "has_pull_request_template": false
    },
    "ecosystem": {
      "packages": []
    },
    "popularity": {
      "forks": 46,
      "stars": 328,
      "watchers": 16,
      "fork_history": {
        "days": [
          {
            "date": "2013-10-19",
            "count": 1
          },
          {
            "date": "2014-06-11",
            "count": 1
          },
          {
            "date": "2014-06-12",
            "count": 1
          },
          {
            "date": "2014-07-30",
            "count": 1
          },
          {
            "date": "2014-09-05",
            "count": 1
          },
          {
            "date": "2014-11-13",
            "count": 1
          },
          {
            "date": "2014-11-23",
            "count": 1
          },
          {
            "date": "2015-02-18",
            "count": 1
          },
          {
            "date": "2015-07-28",
            "count": 1
          },
          {
            "date": "2015-10-28",
            "count": 1
          },
          {
            "date": "2015-12-03",
            "count": 1
          },
          {
            "date": "2015-12-28",
            "count": 1
          },
          {
            "date": "2016-02-04",
            "count": 1
          },
          {
            "date": "2016-02-20",
            "count": 1
          },
          {
            "date": "2016-07-04",
            "count": 1
          },
          {
            "date": "2016-10-06",
            "count": 1
          },
          {
            "date": "2017-01-02",
            "count": 1
          },
          {
            "date": "2017-08-30",
            "count": 1
          },
          {
            "date": "2017-09-16",
            "count": 1
          },
          {
            "date": "2018-01-28",
            "count": 1
          },
          {
            "date": "2018-02-08",
            "count": 1
          },
          {
            "date": "2018-12-13",
            "count": 1
          },
          {
            "date": "2019-01-12",
            "count": 1
          },
          {
            "date": "2019-05-30",
            "count": 1
          },
          {
            "date": "2019-06-04",
            "count": 1
          },
          {
            "date": "2019-08-19",
            "count": 1
          },
          {
            "date": "2019-09-06",
            "count": 1
          },
          {
            "date": "2019-10-30",
            "count": 1
          },
          {
            "date": "2019-12-17",
            "count": 1
          },
          {
            "date": "2020-02-01",
            "count": 1
          },
          {
            "date": "2020-03-12",
            "count": 1
          },
          {
            "date": "2020-09-04",
            "count": 1
          },
          {
            "date": "2020-12-14",
            "count": 1
          },
          {
            "date": "2020-12-20",
            "count": 1
          },
          {
            "date": "2022-05-20",
            "count": 1
          },
          {
            "date": "2022-08-09",
            "count": 1
          },
          {
            "date": "2022-08-22",
            "count": 1
          },
          {
            "date": "2023-06-29",
            "count": 1
          },
          {
            "date": "2024-07-03",
            "count": 1
          },
          {
            "date": "2024-11-19",
            "count": 1
          },
          {
            "date": "2025-01-16",
            "count": 1
          },
          {
            "date": "2025-05-15",
            "count": 1
          },
          {
            "date": "2025-11-26",
            "count": 1
          },
          {
            "date": "2025-12-18",
            "count": 1
          },
          {
            "date": "2026-07-04",
            "count": 1
          }
        ],
        "complete": true,
        "collected": 45,
        "total_forks": 46
      },
      "star_history": null,
      "open_issues_and_prs": 65
    },
    "ai_readiness": {
      "has_nix": false,
      "example_dirs": [
        "examples"
      ],
      "has_llms_txt": false,
      "has_dockerfile": true,
      "has_mcp_signal": false,
      "bootstrap_files": [
        "Makefile",
        "examples/c/error-codes/Makefile",
        "examples/c/error-codes/implementation-defined/Makefile",
        "examples/c/error-codes/lint/Makefile",
        "examples/c/error-codes/posix/Makefile",
        "examples/c/error-codes/syntax-error/Makefile",
        "examples/c/error-codes/undefined/Makefile",
        "examples/c/error-codes/unspecified/Makefile",
        "examples/c/error-codes/violates-constraint/fatal/Makefile",
        "examples/c/error-codes/violates-constraint/nonfatal/Makefile",
        "parser/Makefile",
        "semantics/Makefile",
        "tests/Makefile",
        "tests/unit-fail-compilation/Makefile",
        "tests/unit-fail/Makefile",
        "tests/unit-pass/Makefile",
        "tests/unit-pass/g++/Makefile"
      ],
      "api_schema_files": [],
      "has_devcontainer": false,
      "typecheck_configs": [],
      "toolchain_manifests": [],
      "largest_source_bytes": 79889,
      "source_files_sampled": 2794,
      "oversized_source_files": 1,
      "agent_instruction_files": [],
      "agent_instruction_max_bytes": null
    },
    "dependencies": {
      "manifests": [],
      "advisories": {
        "error": null,
        "scope": null,
        "source": null,
        "findings": [],
        "collected": false,
        "malicious": [],
        "truncated": false,
        "by_severity": {},
        "advisory_count": 0,
        "affected_count": 0,
        "assessed_count": 0,
        "malicious_count": 0,
        "assessed_package": null,
        "unassessed_count": 0,
        "direct_affected_count": 0
      },
      "ecosystems": [],
      "dependencies": [],
      "all_dependencies": {
        "error": "GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository",
        "source": null,
        "packages": [],
        "collected": false,
        "truncated": false,
        "total_count": null,
        "direct_count": null,
        "indirect_count": null
      }
    },
    "maintainership": {
      "issues": {
        "open_prs": 5,
        "merged_prs": 376,
        "open_issues": 60,
        "closed_ratio": 0.636,
        "closed_issues": 105,
        "closed_unmerged_prs": 112
      },
      "bus_factor": 2,
      "bot_contributors": 0,
      "top_contributors": [
        {
          "type": "User",
          "login": "chathhorn",
          "commits": 1152,
          "avatar_url": "https://avatars.githubusercontent.com/u/704572?v=4"
        },
        {
          "type": "User",
          "login": "ellisonch",
          "commits": 886,
          "avatar_url": "https://avatars.githubusercontent.com/u/1285287?v=4"
        },
        {
          "type": "User",
          "login": "liyili2",
          "commits": 122,
          "avatar_url": "https://avatars.githubusercontent.com/u/5891627?v=4"
        },
        {
          "type": "User",
          "login": "msaxena2",
          "commits": 83,
          "avatar_url": "https://avatars.githubusercontent.com/u/5590858?v=4"
        },
        {
          "type": "User",
          "login": "andreistefanescu",
          "commits": 75,
          "avatar_url": "https://avatars.githubusercontent.com/u/5104433?v=4"
        },
        {
          "type": "User",
          "login": "h0nzZik",
          "commits": 66,
          "avatar_url": "https://avatars.githubusercontent.com/u/773581?v=4"
        },
        {
          "type": "User",
          "login": "traiansf",
          "commits": 56,
          "avatar_url": "https://avatars.githubusercontent.com/u/2890067?v=4"
        },
        {
          "type": "User",
          "login": "charala1",
          "commits": 38,
          "avatar_url": "https://avatars.githubusercontent.com/u/9667604?v=4"
        },
        {
          "type": "User",
          "login": "virgil-serbanuta",
          "commits": 22,
          "avatar_url": "https://avatars.githubusercontent.com/u/25692529?v=4"
        },
        {
          "type": "User",
          "login": "bmmoore",
          "commits": 18,
          "avatar_url": "https://avatars.githubusercontent.com/u/698479?v=4"
        }
      ],
      "contributors_sampled": 27,
      "top_contributor_share": 0.451
    },
    "quality_signals": {
      "has_ci": false,
      "has_tests": true,
      "ci_workflows": [],
      "has_docs_dir": false,
      "linter_configs": [],
      "has_editorconfig": false,
      "has_linter_config": false,
      "has_precommit_config": false
    },
    "security_signals": {
      "lockfiles": [],
      "scorecard": {
        "checks": [
          {
            "name": "Binary-Artifacts",
            "score": 10,
            "reason": "no binaries found in the repo",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
          },
          {
            "name": "Branch-Protection",
            "score": null,
            "reason": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
          },
          {
            "name": "CI-Tests",
            "score": 0,
            "reason": "0 out of 30 merged PRs checked by a CI test -- score normalized to 0",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
          },
          {
            "name": "CII-Best-Practices",
            "score": 0,
            "reason": "no effort to earn an OpenSSF best practices badge detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
          },
          {
            "name": "Code-Review",
            "score": 10,
            "reason": "all changesets reviewed",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
          },
          {
            "name": "Contributors",
            "score": 10,
            "reason": "project has 14 contributing companies or organizations",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
          },
          {
            "name": "Dangerous-Workflow",
            "score": null,
            "reason": "no workflows found",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
          },
          {
            "name": "Dependency-Update-Tool",
            "score": 0,
            "reason": "no update tool detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
          },
          {
            "name": "Fuzzing",
            "score": 0,
            "reason": "project is not fuzzed",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
          },
          {
            "name": "License",
            "score": 9,
            "reason": "license file detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
          },
          {
            "name": "Maintained",
            "score": 0,
            "reason": "0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
          },
          {
            "name": "Packaging",
            "score": null,
            "reason": "packaging workflow not detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
          },
          {
            "name": "Pinned-Dependencies",
            "score": 0,
            "reason": "dependency not pinned by hash detected -- score normalized to 0",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
          },
          {
            "name": "SAST",
            "score": 0,
            "reason": "SAST tool is not run on all commits -- score normalized to 0",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
          },
          {
            "name": "Security-Policy",
            "score": 0,
            "reason": "security policy file not detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
          },
          {
            "name": "Signed-Releases",
            "score": null,
            "reason": "no releases found",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
          },
          {
            "name": "Token-Permissions",
            "score": null,
            "reason": "No tokens found",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
          },
          {
            "name": "Vulnerabilities",
            "score": 10,
            "reason": "0 existing vulnerabilities detected",
            "documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
          }
        ],
        "commit": "e6879d14455771aa0cb3e3d201131d4d763a73a2",
        "ran_at": "2026-07-23T13:36:10Z",
        "aggregate_score": 4,
        "scorecard_version": "v5.5.0"
      },
      "has_codeql_workflow": false,
      "has_security_policy": false,
      "has_dependabot_config": false
    },
    "contribution_flow": {
      "collected": true,
      "ci_last_run_at": null,
      "oldest_open_prs": [
        {
          "number": 388,
          "created_at": "2019-04-30T10:36:11Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 558,
          "created_at": "2019-08-28T21:38:09Z",
          "last_comment_at": "2019-09-04T17:41:42Z",
          "last_comment_author": "dwightguth"
        },
        {
          "number": 567,
          "created_at": "2019-09-11T02:01:28Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 630,
          "created_at": "2020-05-13T10:06:27Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 645,
          "created_at": "2020-11-04T22:53:26Z",
          "last_comment_at": null,
          "last_comment_author": null
        }
      ],
      "last_merged_pr_at": "2022-02-01T17:50:32Z",
      "ci_last_conclusion": null,
      "oldest_open_issues": [
        {
          "number": 108,
          "created_at": "2015-06-25T19:12:51Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 121,
          "created_at": "2015-09-22T15:03:48Z",
          "last_comment_at": "2015-09-22T15:12:15Z",
          "last_comment_author": "dwightguth"
        },
        {
          "number": 161,
          "created_at": "2015-11-06T18:02:30Z",
          "last_comment_at": "2015-11-06T19:29:29Z",
          "last_comment_author": "dwightguth"
        },
        {
          "number": 259,
          "created_at": "2016-12-17T14:58:43Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 293,
          "created_at": "2017-10-05T14:11:15Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 295,
          "created_at": "2017-10-09T20:18:49Z",
          "last_comment_at": "2017-11-23T19:55:32Z",
          "last_comment_author": "h0nzZik"
        },
        {
          "number": 318,
          "created_at": "2018-07-12T15:23:11Z",
          "last_comment_at": "2018-07-16T16:00:51Z",
          "last_comment_author": "mrigger"
        },
        {
          "number": 319,
          "created_at": "2018-07-18T02:07:34Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 321,
          "created_at": "2018-10-02T20:59:03Z",
          "last_comment_at": "2018-11-06T20:04:02Z",
          "last_comment_author": "chathhorn"
        },
        {
          "number": 326,
          "created_at": "2018-10-24T02:01:12Z",
          "last_comment_at": "2018-11-26T09:24:36Z",
          "last_comment_author": "Lycbel"
        },
        {
          "number": 328,
          "created_at": "2018-10-24T03:20:24Z",
          "last_comment_at": "2018-11-16T15:01:46Z",
          "last_comment_author": "Lycbel"
        },
        {
          "number": 331,
          "created_at": "2018-11-15T16:50:31Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 332,
          "created_at": "2018-11-15T22:16:34Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 338,
          "created_at": "2018-11-24T17:33:18Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 342,
          "created_at": "2018-11-26T09:08:38Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 343,
          "created_at": "2018-11-26T09:48:10Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 345,
          "created_at": "2018-11-29T20:52:06Z",
          "last_comment_at": "2018-11-29T22:46:29Z",
          "last_comment_author": "chathhorn"
        },
        {
          "number": 347,
          "created_at": "2018-11-30T06:16:14Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 348,
          "created_at": "2018-11-30T06:47:46Z",
          "last_comment_at": null,
          "last_comment_author": null
        },
        {
          "number": 349,
          "created_at": "2018-12-02T21:00:39Z",
          "last_comment_at": null,
          "last_comment_author": null
        }
      ]
    }
  },
  "config": {
    "disabled_metrics": [],
    "disabled_categories": [],
    "disabled_components": {}
  },
  "source": {
    "url": "https://github.com/kframework/c-semantics",
    "host": "github.com",
    "name": "c-semantics",
    "owner": "kframework"
  },
  "metrics": {
    "overall": {
      "key": "overall",
      "band": "critical",
      "name": "Overall health",
      "note": "Abandonment Policy applies a 60% multiplier to weighted overall health and gives it a ceiling of 49.",
      "notes": [
        {
          "code": "abandonment_overall_adjustment",
          "params": {
            "cap": 49,
            "pct": 60
          }
        }
      ],
      "value": 25,
      "inputs": {
        "security": 40,
        "vitality": 15,
        "community": 53,
        "governance": 66,
        "engineering": 34,
        "abandonment_cap": 49,
        "abandonment_state": "likely_abandoned",
        "abandonment_multiplier": 60,
        "weighted_overall_before_abandonment": 42,
        "overall_after_abandonment_multiplier": 25
      },
      "components": []
    },
    "categories": [
      {
        "key": "vitality",
        "band": "critical",
        "name": "Vitality",
        "value": 15,
        "weight": 0.22,
        "metrics": [
          {
            "key": "development_activity",
            "band": "critical",
            "name": "Development activity",
            "note": null,
            "notes": [],
            "value": 1,
            "inputs": {
              "commits_last_year": 0,
              "human_commit_share": 1,
              "days_since_last_push": 1632,
              "active_weeks_last_year": 0
            },
            "components": [
              {
                "key": "push_recency",
                "name": "Push recency",
                "detail": "last push 1632 days ago",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "push_recency",
                    "params": {
                      "days": 1632
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_cadence",
                "name": "Commit cadence",
                "detail": "0/52 weeks with commits",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "commit_cadence_weeks",
                    "params": {
                      "weeks": 0
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "commit_volume",
                "name": "Commit volume",
                "detail": "0 commits in the last year",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "commits_last_year",
                    "params": {
                      "count": 0
                    }
                  }
                ],
                "max_points": 18
              },
              {
                "key": "openssf_scorecard_maintained",
                "name": "OpenSSF Scorecard: Maintained",
                "detail": "0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "release_discipline",
            "band": "at_risk",
            "name": "Release discipline",
            "note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "openssf_scorecard_signed_releases"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 36,
            "inputs": {
              "releases_count": 2,
              "latest_release_tag": "v3.4.0",
              "releases_from_tags": false,
              "days_since_latest_release": 4261,
              "mean_days_between_releases": 457
            },
            "components": [
              {
                "key": "ships_releases",
                "name": "Ships releases",
                "detail": "2 releases published",
                "points": 27,
                "status": "met",
                "details": [
                  {
                    "code": "releases_published",
                    "params": {
                      "count": 2
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "release_recency",
                "name": "Release recency",
                "detail": "latest release 4261 days ago",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "release_recency",
                    "params": {
                      "days": 4261
                    }
                  }
                ],
                "max_points": 36
              },
              {
                "key": "release_cadence",
                "name": "Release cadence",
                "detail": "a release every ~457 days",
                "points": 5.4,
                "status": "partial",
                "details": [
                  {
                    "code": "release_cadence",
                    "params": {
                      "gap": 457
                    }
                  }
                ],
                "max_points": 27
              },
              {
                "key": "openssf_scorecard_signed_releases",
                "name": "OpenSSF Scorecard: Signed-Releases",
                "detail": "no releases found",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 10
              }
            ]
          },
          {
            "key": "abandonment",
            "band": "moderate",
            "name": "Abandonment",
            "note": null,
            "notes": [],
            "value": 60,
            "inputs": {
              "cap": 49,
              "state": "likely_abandoned",
              "guards": [],
              "signals": [
                "unanswered_contributions",
                "issue_rot",
                "release_stall",
                "scorecard_unmaintained"
              ],
              "red_flag": true,
              "multiplier_pct": 60,
              "declared_reason": null,
              "unverified_reason": null,
              "unanswered_open_prs": 5,
              "unanswered_open_issues": 17,
              "days_since_last_merged_pr": 1632,
              "days_since_last_human_commit": 1632,
              "days_since_last_human_commit_is_floor": false
            },
            "components": [
              {
                "key": "project_is_still_maintained",
                "name": "Project is still maintained",
                "detail": "no human commit for 1632 days; 4 unmet obligation(s): pull requests unanswered, issues unanswered, releases stalled, Scorecard reports it unmaintained",
                "points": 60,
                "status": "partial",
                "details": [
                  {
                    "code": "abandonment_flagged",
                    "params": {
                      "days": 1632,
                      "count": 4,
                      "signals": "pull requests unanswered, issues unanswered, releases stalled, Scorecard reports it unmaintained"
                    }
                  }
                ],
                "max_points": 100
              }
            ]
          }
        ],
        "description": "Is the project alive — is code being written and are releases shipping?"
      },
      {
        "key": "community",
        "band": "moderate",
        "name": "Community & Adoption",
        "value": 53,
        "weight": 0.18,
        "metrics": [
          {
            "key": "popularity",
            "band": "moderate",
            "name": "Popularity & adoption",
            "note": null,
            "notes": [],
            "value": 61,
            "inputs": {
              "forks": 46,
              "stars": 328,
              "watchers": 16,
              "growth_state": "unverified",
              "growth_factor_pct": 100,
              "growth_unverified_reason": "no_history"
            },
            "components": [
              {
                "key": "stars",
                "name": "Stars",
                "detail": "328 stars",
                "points": 40.8,
                "status": "partial",
                "details": [
                  {
                    "code": "stars",
                    "params": {
                      "count": 328
                    }
                  }
                ],
                "max_points": 60
              },
              {
                "key": "forks",
                "name": "Forks",
                "detail": "46 forks",
                "points": 13.8,
                "status": "partial",
                "details": [
                  {
                    "code": "forks",
                    "params": {
                      "count": 46
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "watchers",
                "name": "Watchers",
                "detail": "16 watchers",
                "points": 6.5,
                "status": "partial",
                "details": [
                  {
                    "code": "watchers",
                    "params": {
                      "count": 16
                    }
                  }
                ],
                "max_points": 15
              }
            ]
          },
          {
            "key": "community_health",
            "band": "at_risk",
            "name": "Community health",
            "note": null,
            "notes": [],
            "value": 44,
            "inputs": {
              "has_readme": true,
              "has_license": true,
              "has_contributing": false,
              "has_issue_template": false,
              "has_code_of_conduct": false,
              "has_pull_request_template": false
            },
            "components": [
              {
                "key": "readme",
                "name": "README",
                "detail": null,
                "points": 22.5,
                "status": "met",
                "details": [],
                "max_points": 22.5
              },
              {
                "key": "license",
                "name": "License",
                "detail": "license file present, not a recognized license",
                "points": 16.9,
                "status": "partial",
                "details": [
                  {
                    "code": "license_custom",
                    "params": {}
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributing_guide",
                "name": "CONTRIBUTING guide",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 18
              },
              {
                "key": "code_of_conduct",
                "name": "Code of conduct",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 13.5
              },
              {
                "key": "issue_template",
                "name": "Issue template",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.2
              },
              {
                "key": "pr_template",
                "name": "PR template",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 6.3
              }
            ]
          }
        ],
        "description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
      },
      {
        "key": "governance",
        "band": "moderate",
        "name": "Sustainability & Governance",
        "value": 66,
        "weight": 0.24,
        "metrics": [
          {
            "key": "maintainer_resilience",
            "band": "moderate",
            "name": "Maintainer resilience (bus factor)",
            "note": null,
            "notes": [],
            "value": 61,
            "inputs": {
              "bus_factor": 2,
              "contributors_sampled": 27,
              "top_contributor_share": 0.451
            },
            "components": [
              {
                "key": "bus_factor",
                "name": "Bus factor",
                "detail": "2 contributor(s) cover half of all commits",
                "points": 25.2,
                "status": "partial",
                "details": [
                  {
                    "code": "bus_factor",
                    "params": {
                      "count": 2
                    }
                  }
                ],
                "max_points": 54
              },
              {
                "key": "commit_distribution",
                "name": "Commit distribution",
                "detail": "top contributor authored 45% of commits",
                "points": 12.4,
                "status": "partial",
                "details": [
                  {
                    "code": "top_contributor_share",
                    "params": {
                      "share": 45
                    }
                  }
                ],
                "max_points": 22.5
              },
              {
                "key": "contributor_breadth",
                "name": "Contributor breadth",
                "detail": "27 contributors",
                "points": 13.5,
                "status": "met",
                "details": [
                  {
                    "code": "contributors_sampled",
                    "params": {
                      "count": 27
                    }
                  }
                ],
                "max_points": 13.5
              },
              {
                "key": "openssf_scorecard_contributors",
                "name": "OpenSSF Scorecard: Contributors",
                "detail": "project has 14 contributing companies or organizations",
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "responsiveness",
            "band": "good",
            "name": "Issue & PR responsiveness",
            "note": null,
            "notes": [],
            "value": 74,
            "inputs": {
              "merged_prs": 376,
              "open_issues": 60,
              "closed_issues": 105,
              "issue_closed_ratio": 0.636,
              "closed_unmerged_prs": 112
            },
            "components": [
              {
                "key": "issue_resolution",
                "name": "Issue resolution",
                "detail": "64% of issues closed",
                "points": 29.7,
                "status": "partial",
                "details": [
                  {
                    "code": "issues_closed_share",
                    "params": {
                      "share": 64
                    }
                  }
                ],
                "max_points": 46.75
              },
              {
                "key": "pr_acceptance",
                "name": "PR acceptance",
                "detail": "376/488 decided PRs merged",
                "points": 29.5,
                "status": "partial",
                "details": [
                  {
                    "code": "decided_prs_merged",
                    "params": {
                      "merged": 376,
                      "decided": 488
                    }
                  }
                ],
                "max_points": 38.25
              },
              {
                "key": "openssf_scorecard_code_review",
                "name": "OpenSSF Scorecard: Code-Review",
                "detail": "all changesets reviewed",
                "points": 15,
                "status": "met",
                "details": [],
                "max_points": 15
              }
            ]
          },
          {
            "key": "stewardship",
            "band": "moderate",
            "name": "Ownership & stewardship",
            "note": null,
            "notes": [],
            "value": 65,
            "inputs": {
              "followers": 38,
              "owner_type": "Organization",
              "is_verified": null,
              "owner_login": "kframework",
              "public_repos": 36,
              "account_age_days": 4743
            },
            "components": [
              {
                "key": "ownership_backing",
                "name": "Ownership backing",
                "detail": "organization-owned",
                "points": 30,
                "status": "met",
                "details": [
                  {
                    "code": "owner_organization",
                    "params": {}
                  }
                ],
                "max_points": 30
              },
              {
                "key": "verified_domain",
                "name": "Verified domain",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 20
              },
              {
                "key": "owner_reach",
                "name": "Owner reach",
                "detail": "38 followers of kframework",
                "points": 11.4,
                "status": "partial",
                "details": [
                  {
                    "code": "owner_followers",
                    "params": {
                      "count": 38,
                      "login": "kframework"
                    }
                  }
                ],
                "max_points": 25
              },
              {
                "key": "track_record",
                "name": "Track record",
                "detail": "36 public repos, account ~12 yr old",
                "points": 23.4,
                "status": "partial",
                "details": [
                  {
                    "code": "public_repos",
                    "params": {
                      "count": 36
                    }
                  },
                  {
                    "code": "account_age_years",
                    "params": {
                      "years": 12
                    }
                  }
                ],
                "max_points": 25
              }
            ]
          }
        ],
        "description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
      },
      {
        "key": "engineering",
        "band": "at_risk",
        "name": "Engineering Quality",
        "value": 34,
        "weight": 0.2,
        "metrics": [
          {
            "key": "engineering_practices",
            "band": "critical",
            "name": "Engineering practices",
            "note": null,
            "notes": [],
            "value": 24,
            "inputs": {
              "has_ci": false,
              "has_tests": true,
              "has_editorconfig": false,
              "has_linter_config": false,
              "has_precommit_config": false
            },
            "components": [
              {
                "key": "ci_workflows",
                "name": "CI workflows",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 24
              },
              {
                "key": "tests_present",
                "name": "Tests present",
                "detail": null,
                "points": 24,
                "status": "met",
                "details": [],
                "max_points": 24
              },
              {
                "key": "linter_config",
                "name": "Linter config",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 16
              },
              {
                "key": "pre_commit_hooks",
                "name": "Pre-commit hooks",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 9.6
              },
              {
                "key": "editorconfig",
                "name": ".editorconfig",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 6.4
              },
              {
                "key": "openssf_scorecard_ci_tests",
                "name": "OpenSSF Scorecard: CI-Tests",
                "detail": "0 out of 30 merged PRs checked by a CI test -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 20
              }
            ]
          },
          {
            "key": "documentation",
            "band": "moderate",
            "name": "Documentation",
            "note": null,
            "notes": [],
            "value": 50,
            "inputs": {
              "topics": [],
              "has_wiki": true,
              "homepage": null,
              "has_readme": true,
              "has_docs_dir": false,
              "has_description": true
            },
            "components": [
              {
                "key": "readme",
                "name": "README",
                "detail": null,
                "points": 30,
                "status": "met",
                "details": [],
                "max_points": 30
              },
              {
                "key": "documentation_directory",
                "name": "Documentation directory",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 25
              },
              {
                "key": "documentation_homepage_site",
                "name": "Documentation / homepage site",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 15
              },
              {
                "key": "repository_description",
                "name": "Repository description",
                "detail": null,
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              },
              {
                "key": "topics",
                "name": "Topics",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 10
              },
              {
                "key": "wiki",
                "name": "Wiki",
                "detail": null,
                "points": 10,
                "status": "met",
                "details": [],
                "max_points": 10
              }
            ]
          }
        ],
        "description": "Are baseline engineering and documentation practices in place?"
      },
      {
        "key": "security",
        "band": "at_risk",
        "name": "Security",
        "value": 40,
        "weight": 0.16,
        "metrics": [
          {
            "key": "security_posture",
            "band": "at_risk",
            "name": "Security posture",
            "note": "Excluded from scoring (no data or not applicable): Branch-Protection, Dangerous-Workflow, Packaging, Signed-Releases, Token-Permissions. Remaining weights renormalized.",
            "notes": [
              {
                "code": "excluded_no_data",
                "params": {
                  "components": [
                    "branch_protection",
                    "dangerous_workflow",
                    "packaging",
                    "signed_releases",
                    "token_permissions"
                  ]
                }
              },
              {
                "code": "weights_renormalized",
                "params": {}
              }
            ],
            "value": 40,
            "inputs": {
              "source": "openssf_scorecard",
              "checks_evaluated": 13,
              "scorecard_version": "v5.5.0",
              "checks_inconclusive": 5,
              "scorecard_aggregate": 4
            },
            "components": [
              {
                "key": "binary_artifacts",
                "name": "Binary-Artifacts",
                "detail": "no binaries found in the repo",
                "points": 7.5,
                "status": "met",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "branch_protection",
                "name": "Branch-Protection",
                "detail": "internal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 7.5
              },
              {
                "key": "ci_tests",
                "name": "CI-Tests",
                "detail": "0 out of 30 merged PRs checked by a CI test -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "cii_best_practices",
                "name": "CII-Best-Practices",
                "detail": "no effort to earn an OpenSSF best practices badge detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "code_review",
                "name": "Code-Review",
                "detail": "all changesets reviewed",
                "points": 7.5,
                "status": "met",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "contributors",
                "name": "Contributors",
                "detail": "project has 14 contributing companies or organizations",
                "points": 2.5,
                "status": "met",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "dangerous_workflow",
                "name": "Dangerous-Workflow",
                "detail": "no workflows found",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 10
              },
              {
                "key": "dependency_update_tool",
                "name": "Dependency-Update-Tool",
                "detail": "no update tool detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "fuzzing",
                "name": "Fuzzing",
                "detail": "project is not fuzzed",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 5
              },
              {
                "key": "license",
                "name": "License",
                "detail": "license file detected",
                "points": 2.2,
                "status": "partial",
                "details": [],
                "max_points": 2.5
              },
              {
                "key": "maintained",
                "name": "Maintained",
                "detail": "0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 7.5
              },
              {
                "key": "packaging",
                "name": "Packaging",
                "detail": "packaging workflow not detected",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 5
              },
              {
                "key": "pinned_dependencies",
                "name": "Pinned-Dependencies",
                "detail": "dependency not pinned by hash detected -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 5
              },
              {
                "key": "sast",
                "name": "SAST",
                "detail": "SAST tool is not run on all commits -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 5
              },
              {
                "key": "security_policy",
                "name": "Security-Policy",
                "detail": "security policy file not detected",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 5
              },
              {
                "key": "signed_releases",
                "name": "Signed-Releases",
                "detail": "no releases found",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 7.5
              },
              {
                "key": "token_permissions",
                "name": "Token-Permissions",
                "detail": "No tokens found",
                "points": 0,
                "status": "excluded",
                "details": [
                  {
                    "code": "no_data",
                    "params": {}
                  }
                ],
                "max_points": 7.5
              },
              {
                "key": "vulnerabilities",
                "name": "Vulnerabilities",
                "detail": "0 existing vulnerabilities detected",
                "points": 7.5,
                "status": "met",
                "details": [],
                "max_points": 7.5
              }
            ]
          },
          {
            "key": "high_risk_jurisdiction_exposure",
            "band": "excellent",
            "name": "High-Risk Jurisdiction Exposure",
            "note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
            "notes": [
              {
                "code": "jurisdiction_evidence_limits",
                "params": {}
              }
            ],
            "value": 100,
            "inputs": {
              "meaning": "self-published location evidence; not nationality or citizenship",
              "red_flag": false,
              "exposures": [],
              "policy_countries": [
                "Russia",
                "Iran",
                "North Korea"
              ],
              "review_only_matches": 0,
              "assessed_self_published_locations": 15
            },
            "components": [
              {
                "key": "policy_exposure_multiplier",
                "name": "Policy exposure multiplier",
                "detail": "no confirmed policy-scope location match",
                "points": 100,
                "status": "met",
                "details": [
                  {
                    "code": "jurisdiction_no_match",
                    "params": {}
                  }
                ],
                "max_points": 100
              }
            ]
          }
        ],
        "description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
      },
      {
        "key": "ai_readiness",
        "band": "moderate",
        "name": "AI Readiness",
        "value": 57,
        "weight": 0,
        "metrics": [
          {
            "key": "ai_agent_context",
            "band": "at_risk",
            "name": "Agent context & guidance",
            "note": null,
            "notes": [],
            "value": 40,
            "inputs": {
              "has_llms_txt": false,
              "legible_history_share": 1,
              "agent_instruction_files": [],
              "agent_instruction_max_bytes": null
            },
            "components": [
              {
                "key": "agent_instructions",
                "name": "Agent instructions",
                "detail": "no CLAUDE.md / AGENTS.md / editor rules",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "no_agent_instructions",
                    "params": {}
                  }
                ],
                "max_points": 45
              },
              {
                "key": "machine_readable_docs_llms_txt",
                "name": "Machine-readable docs (llms.txt)",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 15
              },
              {
                "key": "legible_commit_history",
                "name": "Legible commit history",
                "detail": "100 of 100 human commits state their intent (structured subject or explanatory body)",
                "points": 40,
                "status": "met",
                "details": [
                  {
                    "code": "legible_history",
                    "params": {
                      "legible": 100,
                      "sampled": 100
                    }
                  }
                ],
                "max_points": 40
              }
            ]
          },
          {
            "key": "ai_verify_loop",
            "band": "moderate",
            "name": "Verify loop (build / test / typecheck)",
            "note": null,
            "notes": [],
            "value": 61,
            "inputs": {
              "has_nix": false,
              "has_tests": true,
              "lockfiles": [],
              "has_dockerfile": true,
              "typed_language": true,
              "bootstrap_files": [
                "Makefile",
                "examples/c/error-codes/Makefile",
                "examples/c/error-codes/implementation-defined/Makefile",
                "examples/c/error-codes/lint/Makefile",
                "examples/c/error-codes/posix/Makefile",
                "examples/c/error-codes/syntax-error/Makefile",
                "examples/c/error-codes/undefined/Makefile",
                "examples/c/error-codes/unspecified/Makefile",
                "examples/c/error-codes/violates-constraint/fatal/Makefile",
                "examples/c/error-codes/violates-constraint/nonfatal/Makefile",
                "parser/Makefile",
                "semantics/Makefile",
                "tests/Makefile",
                "tests/unit-fail-compilation/Makefile",
                "tests/unit-fail/Makefile",
                "tests/unit-pass/Makefile",
                "tests/unit-pass/g++/Makefile"
              ],
              "has_devcontainer": false,
              "has_linter_config": false,
              "typecheck_configs": [],
              "agent_commit_share": 0,
              "toolchain_manifests": [],
              "dependency_bot_commit_share": 0
            },
            "components": [
              {
                "key": "one_command_bootstrap",
                "name": "One-command bootstrap",
                "detail": "Makefile, examples/c/error-codes/Makefile, examples/c/error-codes/implementation-defined/Makefile, examples/c/error-codes/lint/Makefile, examples/c/error-codes/posix/Makefile, examples/c/error-codes/syntax-error/Makefile, examples/c/error-codes/undefined/Makefile, examples/c/error-codes/unspecified/Makefile, examples/c/error-codes/violates-constraint/fatal/Makefile, examples/c/error-codes/violates-constraint/nonfatal/Makefile, parser/Makefile, semantics/Makefile, tests/Makefile, tests/unit-fail-compilation/Makefile, tests/unit-fail/Makefile, tests/unit-pass/Makefile, tests/unit-pass/g++/Makefile",
                "points": 18,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "Makefile, examples/c/error-codes/Makefile, examples/c/error-codes/implementation-defined/Makefile, examples/c/error-codes/lint/Makefile, examples/c/error-codes/posix/Makefile, examples/c/error-codes/syntax-error/Makefile, examples/c/error-codes/undefined/Makefile, examples/c/error-codes/unspecified/Makefile, examples/c/error-codes/violates-constraint/fatal/Makefile, examples/c/error-codes/violates-constraint/nonfatal/Makefile, parser/Makefile, semantics/Makefile, tests/Makefile, tests/unit-fail-compilation/Makefile, tests/unit-fail/Makefile, tests/unit-pass/Makefile, tests/unit-pass/g++/Makefile"
                    }
                  }
                ],
                "max_points": 18
              },
              {
                "key": "automated_tests",
                "name": "Automated tests",
                "detail": null,
                "points": 22,
                "status": "met",
                "details": [],
                "max_points": 22
              },
              {
                "key": "lint_format_config",
                "name": "Lint / format config",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 11
              },
              {
                "key": "static_type_checking",
                "name": "Static type checking",
                "detail": "C (statically typed)",
                "points": 11,
                "status": "met",
                "details": [
                  {
                    "code": "statically_typed_language",
                    "params": {
                      "language": "C"
                    }
                  }
                ],
                "max_points": 11
              },
              {
                "key": "reproducible_environment",
                "name": "Reproducible environment",
                "detail": "Dockerfile",
                "points": 10,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "Dockerfile"
                    }
                  }
                ],
                "max_points": 10
              },
              {
                "key": "demonstrated_agent_practice",
                "name": "Demonstrated agent practice",
                "detail": "no agent-authored commits among the last 100",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "no_agent_authored_commits",
                    "params": {
                      "sampled": 100
                    }
                  }
                ],
                "max_points": 10
              },
              {
                "key": "automated_maintenance",
                "name": "Automated maintenance",
                "detail": "no automated dependency updates observed",
                "points": 0,
                "status": "missed",
                "details": [
                  {
                    "code": "no_dependency_automation",
                    "params": {}
                  }
                ],
                "max_points": 8
              },
              {
                "key": "openssf_scorecard_pinned_dependencies",
                "name": "OpenSSF Scorecard: Pinned-Dependencies",
                "detail": "dependency not pinned by hash detected -- score normalized to 0",
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 10
              }
            ]
          },
          {
            "key": "ai_code_legibility",
            "band": "excellent",
            "name": "Code legibility for models",
            "note": null,
            "notes": [],
            "value": 100,
            "inputs": {
              "primary_language": "C",
              "largest_source_bytes": 79889,
              "source_files_sampled": 2794,
              "oversized_source_files": 1
            },
            "components": [
              {
                "key": "type_checkable_code",
                "name": "Type-checkable code",
                "detail": "C (statically typed)",
                "points": 45,
                "status": "met",
                "details": [
                  {
                    "code": "statically_typed_language",
                    "params": {
                      "language": "C"
                    }
                  }
                ],
                "max_points": 45
              },
              {
                "key": "manageable_file_sizes",
                "name": "Manageable file sizes",
                "detail": "1/2794 source files over 60KB",
                "points": 55,
                "status": "partial",
                "details": [
                  {
                    "code": "oversized_source_files",
                    "params": {
                      "kb": 60,
                      "sampled": 2794,
                      "oversized": 1
                    }
                  }
                ],
                "max_points": 55
              }
            ]
          },
          {
            "key": "ai_interfaces",
            "band": "at_risk",
            "name": "Machine-readable interfaces",
            "note": null,
            "notes": [],
            "value": 40,
            "inputs": {
              "example_dirs": [
                "examples"
              ],
              "has_mcp_signal": false,
              "api_schema_files": []
            },
            "components": [
              {
                "key": "api_schema_openapi_graphql_proto",
                "name": "API schema (OpenAPI/GraphQL/proto)",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 40
              },
              {
                "key": "mcp_server",
                "name": "MCP server",
                "detail": null,
                "points": 0,
                "status": "missed",
                "details": [],
                "max_points": 20
              },
              {
                "key": "runnable_examples",
                "name": "Runnable examples",
                "detail": "examples",
                "points": 40,
                "status": "met",
                "details": [
                  {
                    "code": "file_list",
                    "params": {
                      "files": "examples"
                    }
                  }
                ],
                "max_points": 40
              }
            ]
          }
        ],
        "description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
      }
    ],
    "metrics_version": "1.13.0"
  },
  "warnings": [
    "Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token",
    "GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository"
  ],
  "report_type": "repository",
  "generated_at": "2026-07-23T13:36:40.599403Z",
  "schema_version": "0.27.0",
  "badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/k/kframework/c-semantics.svg",
  "full_name": "kframework/c-semantics",
  "license_state": "custom",
  "license_spdx": null
}