issues Search Results · language:Dune language:Python language:HTML language:HTML language:Java language:JavaScript
Filter by
41.3M results
Your UC Berkeley Email Address
barakaki18@berkeley.edu
Link to Your Datahub Folder
gs://ucb-datahub-archived-homedirs/2026-05/datahub/barakaki18.tar.gz
data retrieval
support
brentara
Summary
Remove the Classic NLP approach from the Text2Process (T2P) dialog. T2P should always use the LLM path via the T2P-LLM
server (/t2p-2.0/generate_PNML).
Problem
Users can still select Classic ...
lukasgoegele
Session start: 2026-06-08 00:49 UTC
Lane: Lane 24 -- Phase 2 closure matrix widening
Bounded objective: add one disjoint Zig sidecar proof for the Phase 2 genksyms parser matrix, covering missing required ...
adybag14-cyber
I want to be able to import scipy
enhancement
howardtesting
===== start ===== 2026-06-08 daka gogo ✅ remember to commit your today s work!!!!! daka success, time: 08:47:53 =====
end =====
github-actions[bot]
Start note: 2026-06-08 00:44 UTC
Lane: Lane 23 -- Phase 2 genksyms wrapper lane
Bounded objective: reuse the existing Lane 23 reference-limit executable proof owner (PR #19499), add the missing
standard ...
Problem
/autonomous-loop and /context-firewall don t make the agent prefer the execution mechanism that fits where it s running.
In a Claude Code CLI/terminal session, the agent sometimes reaches for ...
enhancement
dividedby
Issue class
implementation-slice
Roadmap goal advanced
Player-data source-of-truth / endpoint-backed simulator input reliability
Repo layer touched
test-harness / continuity-regression guard
Parent ...
BLON333
User Story As a user, I want to browse a buyer guide by brand and model, so that I can check common faults and lifetime
maintenance costs before buying. Acceptance Criteria Brand and model selectors are ...
ismailkarali661-star
Start note
- Date: 2026-06-08 00:42 UTC
- Lane: Lane 22 — Phase 2 closure tranche
- Goal: restack the existing validator-output manifest-surface PR #19500 onto current master without widening its ...
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.