aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/byterun
ModeNameSize
-rw-r--r--coq_fix_code.c6201logplain
-rw-r--r--coq_fix_code.h1261logplain
-rw-r--r--coq_gc.h2399logplain
-rw-r--r--coq_instruct.h2404logplain
-rw-r--r--coq_interp.c39092logplain
-rw-r--r--coq_interp.h1015logplain
-rw-r--r--coq_memory.c5785logplain
-rw-r--r--coq_memory.h1982logplain
-rw-r--r--coq_values.c2098logplain
-rw-r--r--coq_values.h1246logplain
-rw-r--r--libcoqrun.clib54logplain