Skip to content

Pull requests: B-Lang-org/bsc

New pull request New
21 Open 386 Closed
21 Open 386 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

INSTALL.md: reorganize build requirements, add instructions for Fedora
#784 opened Apr 25, 2025 by danderson Loading…
Find tcl8 on Fedora-based systems
#783 opened Apr 25, 2025 by danderson Loading…
added $random, $urandom_range and better $value$plusargs
#780 opened Apr 14, 2025 by postoroniy Loading…
32
Add Docker-based CI workflow
#775 opened Apr 7, 2025 by npe9 Loading…
Fix windows build.
#739 opened Oct 4, 2024 by Febbe • Draft
4
Support splitting up struct method parameters into multiple input ports
#729 opened Aug 20, 2024 by krame505 Loading…
63
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
prims: do some cleanups
#295 opened Jan 16, 2021 by thoughtpolice Loading…
4
tweak to b37ad3c; install libstp_stub.so when STP_STUB=1
#278 opened Nov 13, 2020 by jcumming Loading…
1
Makefiles now support haskell stack
#267 opened Oct 16, 2020 by drhodes Loading…
3
first stab at cabal
#166 opened Apr 25, 2020 by npe9 Loading…
7
Load SAT libs from dir relative to exe using linker flags
#163 opened Apr 20, 2020 by bpfoley Loading…
5
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.