-
Notifications
You must be signed in to change notification settings - Fork 182
Pull requests: B-Lang-org/bsc
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Propagate state names through ModuleContext's bind
#1062
opened Jul 20, 2026 by
nanavati
Collaborator
Loading…
Semantic port properties: derive from the APackage, feed every backend
#1060
opened Jul 18, 2026 by
nanavati
Collaborator
Loading…
Fix getIOProps: an inout argument exposed at an interface inout is live
#1059
opened Jul 18, 2026 by
nanavati
Collaborator
Loading…
IType: cache free type variables on interned nodes; prune tSubst
#1055
opened Jul 15, 2026 by
nanavati
Collaborator
Loading…
Thread class sort members through CIclass; keep SClass sorts package-independent
#1054
opened Jul 15, 2026 by
nanavati
Collaborator
Loading…
Report S0015 split-port errors at the interface field's declaration
#1053
opened Jul 15, 2026 by
nanavati
Collaborator
Loading…
ISyntaxUtil: give the handwritten List cons struct its true SDataCon sort
#1052
opened Jul 15, 2026 by
nanavati
Collaborator
Loading…
ISyntaxCheck: build ATF equivalences from canonical qualified tycons
#1051
opened Jul 15, 2026 by
nanavati
Collaborator
Loading…
IType: intern all type nodes behind normalizing smart constructors; name/value intern keys
#1048
opened Jul 14, 2026 by
nanavati
Collaborator
Loading…
Verify handwritten tycon constants against the Prelude (tconcheck); qualification-scoped tycon comparison
#1046
opened Jul 14, 2026 by
nanavati
Collaborator
Loading…
ISyntax: replace SYB traversals with explicit ones
#1045
opened Jul 14, 2026 by
nanavati
Collaborator
Loading…
testsuite: working time-ordered parallel scheduling, with guards against empty test runs
#1043
opened Jul 13, 2026 by
nanavati
Collaborator
Loading…
CI: gate .bo/.ba format changes on their header-tag bumps
#1041
opened Jul 12, 2026 by
nanavati
Collaborator
Loading…
Add -remap-path-prefix: reproducible .bo/.ba output across build directories
#1040
opened Jul 12, 2026 by
nanavati
Collaborator
Loading…
Pool solved dictionaries under a closed certificate
#1038
opened Jul 10, 2026 by
nanavati
Collaborator
Loading…
Never substitute bound type variables; defer rigid fundep improvements
#1037
opened Jul 10, 2026 by
nanavati
Collaborator
Loading…
Settle numeric provisos once per definition, in one SAT session
#1036
opened Jul 10, 2026 by
nanavati
Collaborator
Loading…
Ordered-clause fundep semantics: commit coherent instance matches
#1035
opened Jul 10, 2026 by
nanavati
Collaborator
Loading…
Support Integer module parameters on synthesized modules
#1034
opened Jul 10, 2026 by
nanavati
Collaborator
Loading…
Typeclass coherence: BSV annotation syntax, and a warning for instances that don't cover their functional dependencies
#1033
opened Jul 9, 2026 by
nanavati
Collaborator
Loading…
eqPtrs: see through array cells; linear pointer collection; correct the "tsorted" claim
#1030
opened Jul 8, 2026 by
nanavati
Collaborator
Loading…
Fix spurious T0029 when a field reaches an ATF through a type synonym
#1028
opened Jul 8, 2026 by
nanavati
Collaborator
Loading…
A tree-sitter grammar for Bluespec Classic
#1026
opened Jul 7, 2026 by
mieszko
Collaborator
Loading…
Previous Next
ProTip!
Filter pull requests by the default branch with base:main.