Skip to content

Pull requests: B-Lang-org/bsc

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

Pull requests list

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…
2
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! Exclude everything labeled bug with -label:bug.