Implement some cosmetic Go changes

Part of mit-plv#949 Indent Go code and adjust spacing Minor spacing changes Add `--doc-newline-before-package-declaration` Now we have package docs back for Go code, when we want them. Add `--doc-prepend-header{,-raw}`, use `--doc-text-before-function-name` Fixes mit-plv#958
JasonGross · May 3, 2021 · b7b11b0 · b7b11b0
1 parent 8bd7087
commit b7b11b0
Show file tree

Hide file tree

Showing 106 changed files with 43,705 additions and 43,326 deletions.
diff --git a/Makefile b/Makefile
@@ -256,7 +256,7 @@ BEDROCK2_WORD_BY_WORD_MONTGOMERY := src/ExtractionOCaml/bedrock2_word_by_word_mo
 BEDROCK2_ARGS := --no-wide-int --widen-carry --widen-bytes --split-multiret --no-select
 BEDROCK2_EXTRA_CFLAGS := -Wno-error=unused-but-set-variable
 
-GO_EXTRA_ARGS_ALL := --cmovznz-by-mul --internal-static --package-case flatcase --public-function-case UpperCamelCase --private-function-case camelCase --public-type-case UpperCamelCase --private-type-case camelCase --no-prefix-fiat
+GO_EXTRA_ARGS_ALL := --cmovznz-by-mul --internal-static --package-case flatcase --public-function-case UpperCamelCase --private-function-case camelCase --public-type-case UpperCamelCase --private-type-case camelCase --no-prefix-fiat --doc-prepend-header 'Code generated by Fiat Cryptography. DO NOT EDIT.' --doc-text-before-function-name ''
 GO_EXTRA_ARGS_64  := --no-wide-int $(GO_EXTRA_ARGS_ALL)
 GO_EXTRA_ARGS_32  := $(GO_EXTRA_ARGS_ALL)
 

diff --git a/fiat-bedrock2/src/curve25519_32.c b/fiat-bedrock2/src/curve25519_32.c
diff --git a/fiat-bedrock2/src/curve25519_64.c b/fiat-bedrock2/src/curve25519_64.c
diff --git a/fiat-bedrock2/src/p224_32.c b/fiat-bedrock2/src/p224_32.c
diff --git a/fiat-bedrock2/src/p224_64.c b/fiat-bedrock2/src/p224_64.c
diff --git a/fiat-bedrock2/src/p256_32.c b/fiat-bedrock2/src/p256_32.c
diff --git a/fiat-bedrock2/src/p256_64.c b/fiat-bedrock2/src/p256_64.c
diff --git a/fiat-bedrock2/src/p384_32.c b/fiat-bedrock2/src/p384_32.c