Cleared 1m ago · hardwood-hq/hardwood #963 · Java · ★ 360 · Apache-2.0
The dive help overlay (?) renders its content top-down into a box whose height is capped to the screen, with no scrolling and no indication that anything was cut: // HelpOverlay.java int height = Math.min(lines.size() + 2, screenArea.height() - 2); When the content is taller than…
#13774 · Java · ★ 39k · GPL-3.0 · updated 4d ago
Checklist I am able to reproduce the bug with the latest version given here: CLICK THIS LINK. I made sure that there are no existing issues - open or closed - which I could contribute my information to. I have read the FAQ and my problem isn't listed. I have taken the time to…
#3784 · Java · ★ 312 · Apache-2.0 · updated 2d ago
The longTermCredentials and ec2MetadataCredentials top-level YAML fields in io.kroxylicious.kms.provider.aws.kms.config.Config were deprecated in version 0.21.0 and marked forRemoval = true. Background: Deprecated in: #1295 Deprecated since: 0.21.0 Location:…
#811 · Java · ★ 113 · MIT · updated 2mo ago
Aibolit fails when xml report is requested. $ python -m aibolit recommend --folder test/integration/check --format=xml --full Version 1.3.0 is available, but you are using 0.0.0 ignore: [] Traceback (most recent call last): ... File "/home/me/aibolit/aibolit/__main__.py", line…
#1196 · Java · ★ 3.0k · MIT · updated 3mo ago
This issue proposes the creation of a TLA+ dataset and benchmark suite based on logic puzzles and existing community modules. The goal is to enable consistent evaluation of LLMs on TLA+-related tasks and facilitate broader adoption of formal methods in AI-assisted development. 📌…