aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas32_2e488m17_19limbs
ModeNameSize
-rw-r--r--CurveParameters.v842logplain
-rw-r--r--Synthesis.v333logplain
-rwxr-xr-xcompiler.sh1058logplain
-rwxr-xr-xcompilerxx.sh1062logplain
-rw-r--r--feadd.c1860logplain
-rw-r--r--feadd.v449logplain
-rw-r--r--feaddDisplay.log1261logplain
-rw-r--r--feaddDisplay.v156logplain
-rw-r--r--femul.c15459logplain
-rw-r--r--femul.v449logplain
-rw-r--r--femulDisplay.log14669logplain
-rw-r--r--femulDisplay.v156logplain
-rw-r--r--fesquare.c14596logplain
-rw-r--r--fesquare.v446logplain
-rw-r--r--fesquareDisplay.log14198logplain
-rw-r--r--fesquareDisplay.v162logplain
-rw-r--r--fesub.c2126logplain
-rw-r--r--fesub.v449logplain
-rw-r--r--fesubDisplay.log1527logplain
-rw-r--r--fesubDisplay.v156logplain
-rw-r--r--freeze.c9016logplain
-rw-r--r--freeze.v432logplain
-rw-r--r--freezeDisplay.log8712logplain
-rw-r--r--freezeDisplay.v160logplain
-rwxr-xr-xpy_interpreter.sh107logplain