Skip to content

Pull requests: gHashTag/t27

New pull request New
32 Open 719 Closed
32 Open 719 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

chore(deps)(deps): bump candle-core from 0.10.2 to 0.11.0
#1470 opened Jul 13, 2026 by dependabot Bot Loading…
3
chore(deps)(deps): bump ed25519-dalek from 2.2.0 to 3.0.0
#1469 opened Jul 13, 2026 by dependabot Bot Loading…
3
chore(deps)(deps): bump anyhow from 1.0.102 to 1.0.103
#1468 opened Jul 13, 2026 by dependabot Bot Loading…
3
chore(deps)(deps): bump ignore from 0.4.25 to 0.4.28
#1467 opened Jul 13, 2026 by dependabot Bot Loading…
3
chore(deps)(deps): bump regex from 1.12.3 to 1.13.0
#1466 opened Jul 13, 2026 by dependabot Bot Loading…
3
fix(codegen): faithful Rust/C emit — don't run optimizer on source backends (#1455)
#1456 opened Jul 10, 2026 by gHashTag Owner Loading…
1
6
ring-105: ecosystem .tri rewrite (7 repos -> t27 SSOT)
#1454 opened Jul 8, 2026 by gHashTag Owner • Draft
2
chore(license): align README/Cargo.toml/.zenodo.json/CITATION.cff to Apache-2.0
#1437 opened Jul 7, 2026 by gHashTag Owner Loading…
2
Wave Loop 459 — gen-verilog array parameters from test/invariant/bench + yosys warning gate + ROM style pragma
#1434 opened Jul 6, 2026 by gHashTag Owner Loading…
1
4
feat(igla): Wave Loop 458 — gen-verilog warning hygiene + module-level array parameters
#1432 opened Jul 6, 2026 by gHashTag Owner Loading…
1
2
feat(igla): Wave Loop 457 — RAM style pragma support for module-level arrays
#1430 opened Jul 6, 2026 by gHashTag Owner Loading…
1
2
Wave Loop 454 — high-VCCINT adversarial witness + duty-cycle/jitter robustness theorems
#1426 opened Jul 6, 2026 by gHashTag Owner Loading…
1
4
feat(igla): Wave Loop 436 — live XADC → PVT context in boot logs and sweep reports (closes #1402)
#1406 opened Jul 5, 2026 by gHashTag Owner Loading…
1
2
feat(igla): Wave Loop 435 — live XADC → PVT context CLI export, OSCFSEL 0..7 synthetic theorem matrix
#1403 opened Jul 5, 2026 by gHashTag Owner Loading…
1
4
feat(igla): Wave Loop 434 — live XADC → PVT theorem, synthetic CCLK proof-of-pipeline
#1400 opened Jul 5, 2026 by gHashTag Owner Loading…
1
1
Wave Loop 433: formal bridge fallback (closes #1393)
#1396 opened Jul 5, 2026 by gHashTag Owner Loading…
1
1
feat(igla): Wave Loop 432 — per-process-corner raw-ns OSCFSEL theorems, W432 close-out
#1394 opened Jul 5, 2026 by gHashTag Owner Loading…
1
1
feat(igla): Wave Loop 431 — XADC→PVT context bridge, computable envelope, measured-to-lean --json summary hardening
#1392 opened Jul 5, 2026 by gHashTag Owner Loading…
1
1
Wave Loop 430 — live XADC readout and PVT-envelope bridge
#1390 opened Jul 5, 2026 by gHashTag Owner Loading…
1
1
Wave Loop 429 — raw-ns OSCFSEL theorems, measured-to-lean --json, W430 cooperation
#1387 opened Jul 5, 2026 by gHashTag Owner Loading…
1
1
Wave Loop 428 — unified OSCFSEL PVT theorems, pvt-envelope --json, competitor refresh
#1384 opened Jul 5, 2026 by gHashTag Owner Loading…
1
1
feat(igla): Wave Loop 427 — per-OSCFSEL PVT envelope theorems, tri fpga sweep-report --json, competitor refresh (Variant C)
#1382 opened Jul 5, 2026 by gHashTag Owner Loading…
1
1
Wave Loop 426 — finite-grid PVT theorems, machine-readable tri fpga JSON, competitor refresh (Closes #1376)
#1378 opened Jul 5, 2026 by gHashTag Owner Loading…
1
feat(igla): Wave Loop 425 — OSCFSEL 0–7 sweep, PVT worst-case envelope theorems
#1375 opened Jul 5, 2026 by gHashTag Owner Loading…
1
3
feat(igla): Wave Loop 424 — FPGA tooling hardening, PVT context, CSV voltage units, non-blocking continue, W425 setup
#1373 opened Jul 5, 2026 by gHashTag Owner Loading…
1
8
ProTip! Follow long discussions with comments:>50.