aboutsummaryrefslogtreecommitdiff
path: root/src/Specific/solinas64_2e401m31_7limbs
ModeNameSize
-rw-r--r--CurveParameters.v836logplain
-rw-r--r--Synthesis.v332logplain
-rwxr-xr-xcompiler.sh921logplain
-rwxr-xr-xcompilerxx.sh925logplain
-rw-r--r--feadd.c726logplain
-rw-r--r--feadd.v448logplain
-rw-r--r--feaddDisplay.log529logplain
-rw-r--r--feaddDisplay.v155logplain
-rw-r--r--femul.c3447logplain
-rw-r--r--femul.v448logplain
-rw-r--r--femulDisplay.log3167logplain
-rw-r--r--femulDisplay.v155logplain
-rw-r--r--fesquare.c3153logplain
-rw-r--r--fesquare.v445logplain
-rw-r--r--fesquareDisplay.log3015logplain
-rw-r--r--fesquareDisplay.v161logplain
-rw-r--r--fesub.c880logplain
-rw-r--r--fesub.v448logplain
-rw-r--r--fesubDisplay.log683logplain
-rw-r--r--fesubDisplay.v155logplain
-rw-r--r--freeze.c3457logplain
-rw-r--r--freeze.v431logplain
-rw-r--r--freezeDisplay.log3365logplain
-rw-r--r--freezeDisplay.v159logplain
-rwxr-xr-xpy_interpreter.sh105logplain