aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas32_2e321m9_13limbs
ModeNameSize
-rw-r--r--CurveParameters.v838logplain
-rw-r--r--Synthesis.v332logplain
-rwxr-xr-xcompiler.sh839logplain
-rwxr-xr-xcompilerxx.sh843logplain
-rw-r--r--feadd.c1290logplain
-rw-r--r--feadd.v448logplain
-rw-r--r--feaddDisplay.log895logplain
-rw-r--r--feaddDisplay.v155logplain
-rw-r--r--fecarry.v418logplain
-rw-r--r--fecarryDisplay.v159logplain
-rw-r--r--femul.c8241logplain
-rw-r--r--femul.v448logplain
-rw-r--r--femulDisplay.log7709logplain
-rw-r--r--femulDisplay.v155logplain
-rw-r--r--fesquare.c7688logplain
-rw-r--r--fesquare.v445logplain
-rw-r--r--fesquareDisplay.log7422logplain
-rw-r--r--fesquareDisplay.v161logplain
-rw-r--r--fesub.c1472logplain
-rw-r--r--fesub.v448logplain
-rw-r--r--fesubDisplay.log1077logplain
-rw-r--r--fesubDisplay.v155logplain
-rw-r--r--freeze.c6138logplain
-rw-r--r--freeze.v431logplain
-rw-r--r--freezeDisplay.log5942logplain
-rw-r--r--freezeDisplay.v159logplain
-rwxr-xr-xpy_interpreter.sh105logplain