Public recordCritical
Software health reportschema 0.27.0 · metrics 1.13.0 · 2026-07-23 13:36 UTC
kframework / c-semantics
Semantics of C in K
kframework/c-semantics holds a health index of 25 out of 100, placing it in the Critical band. It scores highest on Sustainability & Governance (66/100) and lowest on Vitality (15/100). It was last updated 1632 days ago. 2 contributors account for most of its recent work.
25
overall / 100Software health index
Metrics are grouped into weighted categories on one standardized 1–100 scale. Overall starts as their weighted mean; when public evidence triggers the High-Risk Jurisdiction Policy, the rating is adjusted and receives an At risk ceiling of 49. AI Readiness sits outside the overall score.
25
Excellent85-100Exemplary; meets essentially all checked criteria
Good70-84Healthy; minor gaps
Moderate50-69Acceptable with notable gaps; review recommended
At risk30-49Significant weaknesses; adoption warrants caution
Critical1-29Severe problems (abandoned, single-maintainer, no hygiene)
Score profile
Each axis is a category. The shape matters more than the average — a healthy subject fills the whole shape, while a spike-and-crater profile means strength in one dimension is masking risk in another.
Abandonment Policy applies a 60% multiplier to weighted overall health and gives it a ceiling of 49.
Ownership
K frameworkOrganization
38 followers36 public repossince Jul 2013
This repository is backed by an organization — shared, accountable stewardship that can outlive any single maintainer.
Metrics by category
Vitality
Is the project alive — is code being written and are releases shipping?
15
Development activity
1Critical
Abandonment alert
Work has arrived and nobody has attended to it
no human commit in 1632 daysautomated commits excludedpull requests left unansweredissues left unansweredreleases stalledOpenSSF Scorecard reports it unmaintainedOverall rating: At risk ceiling
Silence alone is never the finding — a small, finished library may need no commits for years. This alert requires both: no human commit for a long time, and obligations the project is visibly not discharging. Automated commits do not count as maintenance.
How abandonment is assessedHow it's scored
| 0/36 | Push recency — last push 1,632 days ago |
| 0/36 | Commit cadence — 0/52 weeks with commits |
| 0/18 | Commit volume — 0 commits in the last year |
| 0/10 | OpenSSF Scorecard: Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
Inputs used
| commits_last_year | 0 |
| human_commit_share | 1 |
| days_since_last_push | 1,632 |
| active_weeks_last_year | 0 |
Release discipline
36At risk
How it's scored
| 27/27 | Ships releases — 2 releases published |
| 0/36 | Release recency — latest release 4,261 days ago |
| 5.4/27 | Release cadence — a release every ~457 days |
| 0/10 | OpenSSF Scorecard: Signed-Releases — no data |
Inputs used
| releases_count | 2 |
| latest_release_tag | v3.4.0 |
| releases_from_tags | no |
| days_since_latest_release | 4,261 |
| mean_days_between_releases | 457 |
Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.
Community & Adoption
Does the project have users, downloads, attention, and a welcoming setup for contributors?
53
Popularity & adoption
61Moderate
How it's scored
| 40.8/60 | Stars — 328 stars |
| 13.8/25 | Forks — 46 forks |
| 6.5/15 | Watchers — 16 watchers |
Inputs used
| forks | 46 |
| stars | 328 |
| watchers | 16 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Community health
44At risk
How it's scored
| 22.5/22.5 | README |
| 16.9/22.5 | License — license file present, not a recognized license |
| 0/18 | CONTRIBUTING guide |
| 0/13.5 | Code of conduct |
| 0/7.2 | Issue template |
| 0/6.3 | PR template |
Inputs used
| has_readme | yes |
| has_license | yes |
| has_contributing | no |
| has_issue_template | no |
| has_code_of_conduct | no |
| has_pull_request_template | no |
Sustainability & Governance
Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?
66
Maintainer resilience (bus factor)
61Moderate
How it's scored
| 25.2/54 | Bus factor — 2 contributor(s) cover half of all commits |
| 12.4/22.5 | Commit distribution — top contributor authored 45% of commits |
| 13.5/13.5 | Contributor breadth — 27 contributors |
| 10/10 | OpenSSF Scorecard: Contributors — project has 14 contributing companies or organizations |
Inputs used
| bus_factor | 2 |
| contributors_sampled | 27 |
| top_contributor_share | 0.451 |
How it's scored
| 29.7/46.8 | Issue resolution — 64% of issues closed |
| 29.5/38.3 | PR acceptance — 376/488 decided PRs merged |
| 15/15 | OpenSSF Scorecard: Code-Review — all changesets reviewed |
Inputs used
| merged_prs | 376 |
| open_issues | 60 |
| closed_issues | 105 |
| issue_closed_ratio | 0.636 |
| closed_unmerged_prs | 112 |
Ownership & stewardship
65Moderate
How it's scored
| 30/30 | Ownership backing — organization-owned |
| 0/20 | Verified domain |
| 11.4/25 | Owner reach — 38 followers of kframework |
| 23.4/25 | Track record — 36 public repos, account ~12 yr old |
Inputs used
| followers | 38 |
| owner_type | Organization |
| is_verified | — |
| owner_login | kframework |
| public_repos | 36 |
| account_age_days | 4,743 |
Engineering Quality
Are baseline engineering and documentation practices in place?
34
Engineering practices
24Critical
How it's scored
| 0/24 | CI workflows |
| 24/24 | Tests present |
| 0/16 | Linter config |
| 0/9.6 | Pre-commit hooks |
| 0/6.4 | .editorconfig |
| 0/20 | OpenSSF Scorecard: CI-Tests — 0 out of 30 merged PRs checked by a CI test -- score normalized to 0 |
Inputs used
| has_ci | no |
| has_tests | yes |
| has_editorconfig | no |
| has_linter_config | no |
| has_precommit_config | no |
Documentation
50Moderate
How it's scored
| 30/30 | README |
| 0/25 | Documentation directory |
| 0/15 | Documentation / homepage site |
| 10/10 | Repository description |
| 0/10 | Topics |
| 10/10 | Wiki |
Inputs used
| topics | — |
| has_wiki | yes |
| homepage | — |
| has_readme | yes |
| has_docs_dir | no |
| has_description | yes |
Security
Are visible security and supply-chain practices strong, without unresolved high-risk jurisdiction exposure?
40
Security posture
40At risk
How it's scored
| 7.5/7.5 | Binary-Artifacts — no binaries found in the repo |
| 0/7.5 | Branch-Protection — no data |
| 0/2.5 | CI-Tests — 0 out of 30 merged PRs checked by a CI test -- score normalized to 0 |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 7.5/7.5 | Code-Review — all changesets reviewed |
| 2.5/2.5 | Contributors — project has 14 contributing companies or organizations |
| 0/10 | Dangerous-Workflow — no data |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.2/2.5 | License — license file detected |
| 0/7.5 | Maintained — 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
| 0/5 | Packaging — no data |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — SAST tool is not run on all commits -- score normalized to 0 |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — no data |
| 0/7.5 | Token-Permissions — no data |
| 7.5/7.5 | Vulnerabilities — 0 existing vulnerabilities detected |
Inputs used
| source | openssf_scorecard |
| checks_evaluated | 13 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 5 |
| scorecard_aggregate | 4 |
Excluded from scoring (no data or not applicable): branch_protection, dangerous_workflow, packaging, signed_releases, token_permissions. Remaining weights renormalized.
AI Readiness
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.
57
Agent context & guidance
40At risk
How it's scored
| 0/45 | Agent instructions — no CLAUDE.md / AGENTS.md / editor rules |
| 0/15 | Machine-readable docs (llms.txt) |
| 40/40 | Legible commit history — 100 of 100 human commits state their intent (structured subject or explanatory body) |
Inputs used
| has_llms_txt | no |
| legible_history_share | 1 |
| agent_instruction_files | — |
| agent_instruction_max_bytes | — |
Verify loop (build / test / typecheck)
61Moderate
How it's scored
| 18/18 | One-command bootstrap — 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 |
| 22/22 | Automated tests |
| 0/11 | Lint / format config |
| 11/11 | Static type checking — C (statically typed) |
| 10/10 | Reproducible environment — Dockerfile |
| 0/10 | Demonstrated agent practice — no agent-authored commits among the last 100 |
| 0/8 | Automated maintenance — no automated dependency updates observed |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Inputs used
| has_nix | no |
| has_tests | yes |
| lockfiles | — |
| has_dockerfile | yes |
| typed_language | yes |
| 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 | no |
| has_linter_config | no |
| typecheck_configs | — |
| agent_commit_share | 0 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Code legibility for models
100Excellent
How it's scored
| 45/45 | Type-checkable code — C (statically typed) |
| 55/55 | Manageable file sizes — 1/2,794 source files over 60KB |
Inputs used
| primary_language | C |
| largest_source_bytes | 79,889 |
| source_files_sampled | 2,794 |
| oversized_source_files | 1 |
Machine-readable interfaces
40At risk
How it's scored
| 0/40 | API schema (OpenAPI/GraphQL/proto) |
| 0/20 | MCP server |
| 40/40 | Runnable examples — examples |
Inputs used
| example_dirs | examples |
| has_mcp_signal | no |
| api_schema_files | — |
Key facts
328GitHub stars
27contributors
0commits, last 12 months
1,632days since last push
2releases
2bus factor
60open issues
—package ecosystems
Data collection 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
More detail
Star and fork history 0 ★ / 46 ⇿
0Stars
46Forks
1Releases
When each star and fork was added, collected from GitHub and bucketed by day. Cumulative growth sits directly above the daily additions it is made of, so the two read against each other: steady organic accretion looks nothing like an abrupt, short-lived burst. Where that difference is measurable, it is reported as growth authenticity.
Major 0Minor 1Patch 0
Each point covers 12 days.
OpenSSF Scorecard 4.0 / 10
4.0aggregate
Independent, tool-agnostic security assessment from the open-source OpenSSF Scorecard. Each check rewards a security practice, not a specific vendor's tool. Checks Scorecard could not determine are marked n/a and excluded from the security score (never counted as zero).
| 10 | Binary-Artifacts | no binaries found in the repo |
| n/a | Branch-Protection | 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 |
| 0 | CI-Tests | 0 out of 30 merged PRs checked by a CI test -- score normalized to 0 |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 10 | Code-Review | all changesets reviewed |
| 10 | Contributors | project has 14 contributing companies or organizations |
| n/a | Dangerous-Workflow | no workflows found |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 9 | License | license file detected |
| 0 | Maintained | 0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0 |
| n/a | Packaging | packaging workflow not detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | SAST tool is not run on all commits -- score normalized to 0 |
| 0 | Security-Policy | security policy file not detected |
| n/a | Signed-Releases | no releases found |
| n/a | Token-Permissions | No tokens found |
| 10 | Vulnerabilities | 0 existing vulnerabilities detected |
All dependencies not collected
The resolved dependency set could not be collected for this report: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Raw JSON report machine-readable
{
"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
}Scores are signals, not warranties. They reflect publicly visible practices on GitHub — not a code audit, and not a security guarantee.
Missing data is excluded and weights renormalized, never scored as zero. Methodology is versioned and open: metrics v1.13.0, schema v0.27.0 — full methodology · metrics wiki.
How one result sits in the wider record: aggregate statistics.