aboutsummaryrefslogtreecommitdiffstats
path: root/verilog
ModeNameSize
-rw-r--r--Archi.v2523logstatsplain
-rw-r--r--Asm.v42768logstatsplain
-rw-r--r--AsmToJSON.ml1026logstatsplain
-rw-r--r--AsmToJSON.mli1006logstatsplain
-rw-r--r--Asmexpand.ml23424logstatsplain
-rw-r--r--Asmgen.v30111logstatsplain
-rw-r--r--Asmgenproof.v35077logstatsplain
-rw-r--r--Asmgenproof1.v63808logstatsplain
-rw-r--r--Builtins1.v2193logstatsplain
-rw-r--r--CBuiltins.ml2842logstatsplain
-rw-r--r--CombineOp.v5047logstatsplain
-rw-r--r--CombineOpproof.v7102logstatsplain
-rw-r--r--ConstpropOp.v56322logstatsplain
-rw-r--r--ConstpropOp.vp18869logstatsplain
-rw-r--r--ConstpropOpproof.v40626logstatsplain
-rw-r--r--Conventions1.v13395logstatsplain
-rw-r--r--Machregs.v12009logstatsplain
-rw-r--r--Machregsaux.ml898logstatsplain
-rw-r--r--Machregsaux.mli904logstatsplain
-rw-r--r--NeedOp.v9339logstatsplain
-rw-r--r--Op.v62789logstatsplain
-rw-r--r--PrintOp.ml9349logstatsplain
-rw-r--r--SelectLong.v32417logstatsplain
-rw-r--r--SelectLong.vp13064logstatsplain
-rw-r--r--SelectLongproof.v24403logstatsplain
-rw-r--r--SelectOp.v58809logstatsplain
-rw-r--r--SelectOp.vp20793logstatsplain
-rw-r--r--SelectOpproof.v38302logstatsplain
-rw-r--r--Stacklayout.v6276logstatsplain
-rw-r--r--TargetPrinter.ml31467logstatsplain
-rw-r--r--ValueAOp.v10622logstatsplain
-rw-r--r--extractionMachdep.v1420logstatsplain
generated by cgit (git 2.34.1) at 2024-05-19 18:58:36 +0000