forked from B-Lang-org/bsc
-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: nanavati/bsc
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Pattern-match exhaustiveness and redundancy checking (T0165/T0166)
#14
opened Aug 16, 2026 by
nanavati
Owner
Loading…
Replace the ATF result cache with evaluation from instance equations
#12
opened Jul 18, 2026 by
nanavati
Owner
Loading…
IExpand: replace the SYB traversal in removeInlinedPositions
#9
opened Jul 17, 2026 by
nanavati
Owner
Loading…
Fix two quadratic blowups in foreign-block Verilog generation
#8
opened Jul 17, 2026 by
nanavati
Owner
Loading…
Add an -elab-only flag: stop compilation at the .ba
#7
opened Jul 15, 2026 by
nanavati
Owner
Loading…
eqPtrs: see through array cells; linear pointer collection; correct the "tsorted" claim
#6
opened Jul 8, 2026 by
nanavati
Owner
Loading…
Fix spurious T0029 when a field reaches an ATF through a type synonym
#5
opened Jul 8, 2026 by
nanavati
Owner
Loading…
Verilator as a first-class simulator: integration branch
#3
opened Jul 4, 2026 by
nanavati
Owner
Loading…
ProTip!
Updated in the last three days: updated:>2026-08-17.