Skip to content

Pull requests: B-Lang-org/bsc

New pull request New
30 Open 426 Closed
30 Open 426 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

GitHub CI: Cancel in-progress workflows for PRs
#866 opened Dec 20, 2025 by quark17 Loading…
1
GitHub CI: Checkout other repos at same branch name if exists
#865 opened Dec 20, 2025 by quark17 Loading…
1
Some miscellaneous improvements to dump flags
#859 opened Dec 14, 2025 by nanavati Loading…
5
Add Generic representations of # -> * and * -> * args
#855 opened Dec 8, 2025 by krame505 Loading…
Improve the performance of expression and type substitution in ISyntax
#854 opened Dec 8, 2025 by nanavati Loading…
Replace MVarStrict Control.Concurrent.MVar.Strict
#852 opened Dec 8, 2025 by nanavati Loading…
2
Improve performance by replacing Hyper with NFData
#851 opened Dec 8, 2025 by nanavati Loading…
22
Support methods with multiple output ports
#849 opened Nov 25, 2025 by krame505 • Draft
1
Don't use letrec where it isn't necessary
#848 opened Nov 21, 2025 by nanavati Loading…
16
Unused import warning
#847 opened Nov 20, 2025 by nanavati Loading…
52
Normalize types after elaboration
#842 opened Nov 10, 2025 by nanavati Loading…
1
7
Switch from Hyper to NFData
#811 opened Sep 11, 2025 by gkaracha Loading…
40
Add Docker-based CI workflow
#775 opened Apr 7, 2025 by npe9 Loading…
Fix windows build.
#739 opened Oct 4, 2024 by Febbe • Draft
8
Support splitting up struct method parameters into multiple input ports
#729 opened Aug 20, 2024 by krame505 Loading…
76
comp: remove most imports of Data.Generics
#722 opened Jul 21, 2024 by thoughtpolice Loading…
6
bsc: remove use of old-time
#721 opened Jul 21, 2024 by thoughtpolice • Draft
9
src: move some code under comp/
#720 opened Jul 20, 2024 by thoughtpolice Loading…
2
chore(comp): remove -v95 flag
#719 opened Jul 18, 2024 by thoughtpolice Loading…
3
bsc: remove stp support
#717 opened Jul 18, 2024 by thoughtpolice • Draft
3
BSV: Pretty-print module return types when possible
#666 opened Jan 18, 2024 by RyanGlScott Loading…
1
4
Extend STP_STUB and YICES_STUB flag
#600 opened Aug 14, 2023 by Vekhir • Draft
4
Use rpath to find libstp.so
#404 opened Aug 29, 2021 by trixirt Loading…
3
Slightly modernize Verilog, take 2
#400 opened Aug 24, 2021 by thoughtpolice Loading…
3
Reject -o flag when using -verilog
#357 opened May 4, 2021 by brooksbp Loading…
6
ProTip! Filter pull requests by the default branch with base:main.