From 4cc70bcafd433cc2689dab4a1878cf19bebdaedb Mon Sep 17 00:00:00 2001 From: yizhou7 Date: Tue, 8 Feb 2022 19:57:16 -0500 Subject: [PATCH] emit comment in modexp_printer --- arch/otbn/modexp_printer.s.dfy | 2 ++ 1 file changed, 2 insertions(+) diff --git a/arch/otbn/modexp_printer.s.dfy b/arch/otbn/modexp_printer.s.dfy index 6fa9ce1..3a5f848 100644 --- a/arch/otbn/modexp_printer.s.dfy +++ b/arch/otbn/modexp_printer.s.dfy @@ -11,6 +11,8 @@ import opened otbn_printer method Main() { var p := new Printer({"modexp_var_3072_f4", "montmul"}); + var comment := "/*\n This code is generated by the veri-titan project: https://github.com/secure-foundations/veri-titan\n*/\n"; + print(comment); reveal va_code_modexp_var_3072_f4(); var c := va_code_modexp_var_3072_f4();