Code

less_than util#183

Code

Merged

hero78119 merged 17 commits intoscroll-tech:masterscroll-tech/ceno:masterfrom zemse:167-util-ltzemse/ceno:167-util-ltCopy head branch name to clipboardSep 12, 2024

+463-52

Commits

Commits on Sep 11, 2024

• add lt checks to between ts and prev rs1 rs2 & rd

  zemse

  committed
  c0a9b14

• use ux::MAX

  zemse

  committed
  8e61d8b

• avoid using lookup_ltu_limb8 instead use ux lookup

  zemse

  committed
  241dfe1

• use hash set for table

  zemse

  committed
  e89bfba

• support lt checks upto u32 range

  zemse

  committed
  735c9e7

• support for 64 bit lt check

  zemse

  committed
  8ed8038

• remove unnecessary wtns in assert less than case

  zemse

  committed
  7b99b58

• improve mockprover formatting for neg values

  Show description for b9df617
  zemse

  committed
  b9df617

• combine assert and less_than

  zemse

  committed
  9c58d0d

• add panic for less_than usage in riv64

  Show description for ea625d0
  zemse

  committed
  ea625d0

• mock prover sort wtns

  zemse

  committed
  fc33058

• use new api for Lt2Config

  zemse

  committed
  3936688

• move constraints to register_write

  zemse

  committed
  8ad75b9

• rename LtConfig to UIntLtConfig and Lt2Config to ExprLtConfig

  zemse

  committed
  a2e2e9d

• add challenge to blt test to make it pass

  zemse

  committed
  ccd6974

• add comment

  zemse

  committed
  d24d132

• fix logic

  zemse

  committed
  e89c9ff