GitHub · Where software is built

Labels Milestones New issue

Rotate functions over BitVector of length 0 throws devide by zero exception

#2980

· MrDurion opened

on Jun 24, 2025

<code>DataReprAnn</code>: order of constructors matters a lot

#2979

· DigitalBrains1 opened

on Jun 23, 2025

<code>deepErrorX</code> behavior for <code>Bit</code> and <code>BitVector n</code> are differenct

#2978

· lmbollen opened

on Jun 19, 2025

Generating verilog which has inputs/outputs that are a vector of clocks

#2977

· harris-chris opened

on Jun 18, 2025

Export <code>replace_int</code> / <code>index_int</code> from <code>Internal</code> module

#2974

· martijnbastiaan opened

on Jun 16, 2025

DSL.constructProduct fails without meaningful error message on one-tuple

#2965

· gergoerdi opened

on Jun 8, 2025

The <code>BitSize</code> of a <code>Maybe a</code> with custom representation leads to confusion

#2963

· pieter-bos opened

on Jun 6, 2025

Combining type families and strict fields creates casts that clash can't handle

#2961

· hiddemoll opened

on May 28, 2025

Document behavior of <code>shiftR a n</code> when <code>n > BitSize a</code> or negative

#2959

· martijnbastiaan opened

on May 27, 2025

<code>collapseRHSNoops</code> introduces <code>unsafeCoerce</code>'s which <code>DebugSilent</code> then complains about

#2956

· martijnbastiaan opened

on May 7, 2025

Missing checks for the bit count requirements of custom bit representations

#2954

· kleinreact opened

on May 5, 2025

Missing cache invalidation for custom bit representation files

#2953

· kleinreact opened

on May 5, 2025