kframework / c-semantics

Wann jeder Stern und Fork hinzugefügt wurde, von GitHub erfasst und nach Tagen gruppiert. Das kumulierte Wachstum steht direkt über den täglichen Zugängen, aus denen es besteht, sodass beide gegeneinander lesbar sind: stetiger organischer Zuwachs sieht ganz anders aus als ein abrupter, kurzlebiger Ausschlag. Wo dieser Unterschied messbar ist, wird er als Wachstumsauthentizität ausgewiesen.

Jeder Punkt umfasst 12 Tage.

Der aufgelöste Abhängigkeitssatz konnte für diesen Bericht nicht erhoben werden: 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
}