All pull requests

Pull requests

• Github actions: rename dune-cache to cache to suppress warning message

  #165·alastairreid opened Nov 4, 2026·

  ·

• Drop legacy ASL support

  #164·alastairreid opened Nov 4, 2026·

  ·

• Xform_bounded: add Divide/Remainder support

  #163·alastairreid opened Nov 4, 2026·6/6·

  ·

• xform_bounded: correct bounds on Std::SInt::Unsigned

  #162·alastairreid opened Nov 4, 2026·5/6·

  ·

• Add Std::SInt::Ceiling_Divide/Remainder

  #161·alastairreid opened Nov 4, 2026·4/6·

  ·

• Correct out-by-one errors in Std::SInt function types

  #160·alastairreid opened Nov 4, 2026·3/6·

  ·

• Apply constant folding to types

  #158·alastairreid opened Nov 4, 2026·2/6·

  ·
  3