<commit_before>[ { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.eq#"
    , "type"      : "eq# :: Index n -> Index n -> Bool"
    , "templateE" : "~ARG[0] = ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.neq#"
    , "type"      : "neq# :: Index n -> Index n -> Bool"
    , "templateE" : "~ARG[0] /= ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.lt#"
    , "type"      : "lt# :: Index n -> Index n -> Bool"
    , "templateE" : "~ARG[0] < ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.ge#"
    , "type"      : "ge# :: Index n -> Index n -> Bool"
    , "templateE" : "~ARG[0] >= ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.gt#"
    , "type"      : "gt# :: Index n -> Index n -> Bool"
    , "templateE" : "~ARG[0] > ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.le#"
    , "type"      : "le# :: Index n -> Index n -> Bool"
    , "templateE" : "~ARG[0] <= ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.maxBound#"
    , "type"      : "maxBound# :: KnownNat n => Index n"
    , "templateE" : "to_unsigned(max(0,~LIT[0]-1),~SIZE[~TYPO])"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.+#"
    , "type"      : "(+#) :: KnownNat n => Index n -> Index n -> Index n"
    , "templateE" : "~ARG[1] + ~ARG[2]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.-#"
    , "type"      : "(-#) :: KnownNat n => Index n -> Index n -> Index n"
    , "templateE" : "~ARG[1] - ~ARG[2]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.*#"
    , "type"      : "(*#) :: KnownNat n => Index n -> Index n -> Index n"
    , "templateE" : "resize(~ARG[1] * ~ARG[2], ~LIT[0])"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.fromInteger#"
    , "type"      : "fromInteger# :: KnownNat n => Integer -> Index n"
    , "templateE" : "to_unsigned(~ARG[1],integer(ceil(log2(real(max(2,~LIT[0]))))))"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.quot#"
    , "type"      : "quot# :: Index n -> Index n -> Index n"
    , "templateE" : "~ARG[0] / ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.rem#"
    , "type"      : "rem# :: Index n -> Index n -> Index n"
    , "templateE" : "~ARG[0] rem ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.toInteger#"
    , "type"      : "toInteger# :: Index n -> Integer"
    , "templateE" : "to_integer(~ARG[0])"
    }
  }
]
<commit_msg>Simplify Index.fromInteger# VHDL black box<commit_after>[ { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.eq#"
    , "type"      : "eq# :: Index n -> Index n -> Bool"
    , "templateE" : "~ARG[0] = ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.neq#"
    , "type"      : "neq# :: Index n -> Index n -> Bool"
    , "templateE" : "~ARG[0] /= ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.lt#"
    , "type"      : "lt# :: Index n -> Index n -> Bool"
    , "templateE" : "~ARG[0] < ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.ge#"
    , "type"      : "ge# :: Index n -> Index n -> Bool"
    , "templateE" : "~ARG[0] >= ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.gt#"
    , "type"      : "gt# :: Index n -> Index n -> Bool"
    , "templateE" : "~ARG[0] > ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.le#"
    , "type"      : "le# :: Index n -> Index n -> Bool"
    , "templateE" : "~ARG[0] <= ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.maxBound#"
    , "type"      : "maxBound# :: KnownNat n => Index n"
    , "templateE" : "to_unsigned(max(0,~LIT[0]-1),~SIZE[~TYPO])"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.+#"
    , "type"      : "(+#) :: KnownNat n => Index n -> Index n -> Index n"
    , "templateE" : "~ARG[1] + ~ARG[2]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.-#"
    , "type"      : "(-#) :: KnownNat n => Index n -> Index n -> Index n"
    , "templateE" : "~ARG[1] - ~ARG[2]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.*#"
    , "type"      : "(*#) :: KnownNat n => Index n -> Index n -> Index n"
    , "templateE" : "resize(~ARG[1] * ~ARG[2], ~LIT[0])"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.fromInteger#"
    , "type"      : "fromInteger# :: KnownNat n => Integer -> Index n"
    , "templateE" : "to_unsigned(~ARG[1],~SIZE[~TYPO])"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.quot#"
    , "type"      : "quot# :: Index n -> Index n -> Index n"
    , "templateE" : "~ARG[0] / ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.rem#"
    , "type"      : "rem# :: Index n -> Index n -> Index n"
    , "templateE" : "~ARG[0] rem ~ARG[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Sized.Internal.Index.toInteger#"
    , "type"      : "toInteger# :: Index n -> Integer"
    , "templateE" : "to_integer(~ARG[0])"
    }
  }
]

{'fraction_non_alphanumeric': 0.2439568612867237, 'fraction_numerical': 0.010970621048716996, 'mean_word_length': 2.0632118451025057, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 65, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3134336', 'n_tokens_mistral': 2354, 'n_tokens_neox': 2270, 'n_words': 378}