"src/main/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "30a45685bebd191822f39e64833d28045d3c3f25"
-
Regis Blanc authored
Refactor all existing Modulo into Remainder, as it is the correct term in Scala for the operation %. BigInt now supports `mod` operator, which gets represented as Modulo in Leon.
Regis Blanc authoredRefactor all existing Modulo into Remainder, as it is the correct term in Scala for the operation %. BigInt now supports `mod` operator, which gets represented as Modulo in Leon.