Use operator precedence to print C code

mit-plv · May 4, 2021 · 5fa73dd · 5fa73dd
1 parent c076f35
commit 5fa73dd
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