Use operator precedence to print C code

mit-plv · Nov 7, 2022 · 8b06e2f · 8b06e2f
1 parent b6dae11
commit 8b06e2f
Show file tree

Hide file tree

Showing 17 changed files with 6,654 additions and 6,469 deletions.
diff --git a/fiat-c/src/curve25519_32.c b/fiat-c/src/curve25519_32.c
diff --git a/fiat-c/src/curve25519_64.c b/fiat-c/src/curve25519_64.c
diff --git a/fiat-c/src/p224_32.c b/fiat-c/src/p224_32.c
diff --git a/fiat-c/src/p224_64.c b/fiat-c/src/p224_64.c
diff --git a/fiat-c/src/p256_32.c b/fiat-c/src/p256_32.c
diff --git a/fiat-c/src/p256_64.c b/fiat-c/src/p256_64.c
diff --git a/fiat-c/src/p384_32.c b/fiat-c/src/p384_32.c
diff --git a/fiat-c/src/p384_64.c b/fiat-c/src/p384_64.c
diff --git a/fiat-c/src/p434_64.c b/fiat-c/src/p434_64.c
diff --git a/fiat-c/src/p448_solinas_32.c b/fiat-c/src/p448_solinas_32.c
diff --git a/fiat-c/src/p448_solinas_64.c b/fiat-c/src/p448_solinas_64.c
diff --git a/fiat-c/src/p521_64.c b/fiat-c/src/p521_64.c
diff --git a/fiat-c/src/poly1305_32.c b/fiat-c/src/poly1305_32.c
diff --git a/fiat-c/src/poly1305_64.c b/fiat-c/src/poly1305_64.c