All pull requests

Pull requests

• Avoid re-traversing actions after eliminating noAction

  #1126·matx-jeffnewbern opened Sep 26, 2026Collaborator·

  ·

• ctype: intern ground CTypes and read groundness off the canonical id

  #1125·matx-jeffnewbern opened Sep 18, 2026Collaborator·

  ·

• Bluesim: support for division with operands of different widths

  #1121·matx-william opened Sep 14, 2026·

  ·

• Bluesim: define divide-by-zero instead of UB or SIGFPE

  #1120·matx-william opened Sep 14, 2026·

  ·
  3

• bluehs: run scripts against the compiled library; make install-bluehs

  #1119·matx-jeffnewbern opened Sep 14, 2026Collaborator·

  ·

• testsuite: the Verilog link pins the generated-file header flags

  #1118·matx-jeffnewbern opened Sep 14, 2026Collaborator·

  ·

• Cabal: make the tree build, widen the GHC bounds, and make the library loadable

  #1117·matx-jeffnewbern opened Sep 13, 2026Collaborator·

  ·

• Lexer: reject \x escapes with no hex digits instead of crashing

  #1116·matx-amy opened Sep 11, 2026Contributor·

  ·

• Pred: expand synonyms only on the components a substitution rewrote

  #1115·matx-jeffnewbern opened Sep 9, 2026Collaborator·

  ·

• CType: accumulate splitTAp and tyConArgs arguments on the way down

  #1114·matx-jeffnewbern opened Sep 9, 2026Collaborator·

  ·

• SignalNaming: strip whole generated suffixes under -stable-verilog

  #1113·matx-jeffnewbern opened Sep 8, 2026Collaborator·

  ·

• -bloogle-db: Bloogle suggestions in unbound-name errors and typed-hole warnings

  #1111·matx-amy opened Sep 5, 2026Contributor·

  ·

• Typed holes

  #1110·matx-amy opened Sep 5, 2026Contributor·

  ·

• VIOProps: avoid scrambling the interning order

  #1109·matx-jeffnewbern opened Sep 4, 2026Collaborator·

  ·

• LiftDicts: pre-conversion dictionary pool; redirect map once per compile

  #1108·matx-jeffnewbern opened Sep 2, 2026Collaborator·

  ·

• VStableRenumber: replace the SYB traversals with explicit ones

  #1107·matx-jeffnewbern opened Aug 28, 2026Collaborator·

  ·

• Enable -stable-verilog by default

  #1105·matx-jeffnewbern opened Aug 26, 2026Collaborator·

  ·

• -stable-verilog: make generated Verilog a pure function of the elaborated design

  #1104·matx-jeffnewbern opened Aug 26, 2026Collaborator·

  ·

• -c: take codegen-semantic flags from the .ba, not the command line

  #1103·matx-jeffnewbern opened Aug 25, 2026Collaborator·

  ·

• Fix off-by-one heap overflow in BufferTarget circular writes

  #1101·matx-amy opened Aug 24, 2026Contributor·

  ·
  1

• Makefile: default GHCJOBS from the machine; lift -A to the measured plateau

  #1100·nanavati opened Aug 23, 2026Collaborator·

  ·
  1

• Deterministic builds: pass -fobject-determinism, and make it hold under --make -j via an EPS-saturating Warmup module

  #1099·nanavati opened Aug 23, 2026Collaborator·

  ·

• Makefile: stop warning on GHC 9.12/9.14, which CI builds and tests

  #1098·nanavati opened Aug 23, 2026Collaborator·

  ·

• Fix swapped low/high duration parameters in bk_define_clock declaration

  #1097·matx-amy opened Aug 22, 2026Contributor·

  ·
  1

• Bluesim: fix compile failure for byte-enabled BRAMs with more than 64 enable lanes

  #1096·nanavati opened Aug 21, 2026Collaborator·

  ·
  1