Commit 438a7aec authored by Guillaume Melquiond's avatar Guillaume Melquiond

Provide ComputerDivision.mod in Gappa driver.

parent 833b28df
......@@ -73,6 +73,7 @@ end
theory int.ComputerDivision
syntax function div "int<zr>(%1 / %2)"
syntax function mod "(%1 - int<zr>(%1 / %2) * %2)"
end
......
......@@ -2357,7 +2357,7 @@
memlimit="4000"
obsolete="false"
archived="false">
<result status="unknown" time="0.00"/>
<result status="valid" time="0.00"/>
</proof>
<proof
prover="12"
......@@ -2727,7 +2727,7 @@
memlimit="4000"
obsolete="false"
archived="false">
<result status="unknown" time="0.00"/>
<result status="valid" time="0.00"/>
</proof>
<proof
prover="12"
......@@ -3001,7 +3001,7 @@
memlimit="4000"
obsolete="false"
archived="false">
<result status="unknown" time="0.00"/>
<result status="valid" time="0.00"/>
</proof>
<proof
prover="12"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment