aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/ssr
ModeNameSize
-rw-r--r--absevarprop.v3440logplain
-rw-r--r--abstract_var2.v969logplain
-rw-r--r--binders.v1887logplain
-rw-r--r--binders_of.v978logplain
-rw-r--r--caseview.v858logplain
-rw-r--r--congr.v1490logplain
-rw-r--r--deferclear.v1263logplain
-rw-r--r--dependent_type_err.v1060logplain
-rw-r--r--derive_inversion.v1140logplain
-rw-r--r--elim.v10179logplain
-rw-r--r--elim2.v2682logplain
-rw-r--r--elim_pattern.v1276logplain
-rw-r--r--first_n.v978logplain
-rw-r--r--gen_have.v5386logplain
-rw-r--r--gen_pattern.v1455logplain
-rw-r--r--have_TC.v1480logplain
-rw-r--r--have_transp.v1535logplain
-rw-r--r--have_view_idiom.v918logplain
-rw-r--r--havesuff.v2404logplain
-rw-r--r--if_isnt.v1004logplain
-rw-r--r--intro_beta.v1006logplain
-rw-r--r--intro_noop.v1434logplain
-rw-r--r--ipatalternation.v939logplain
-rw-r--r--ltac_have.v1372logplain
-rw-r--r--ltac_in.v1119logplain
-rw-r--r--move_after.v854logplain
-rw-r--r--multiview.v1987logplain
-rw-r--r--occarrow.v1111logplain
-rw-r--r--patnoX.v889logplain
-rw-r--r--pattern.v1190logplain
-rw-r--r--primproj.v3309logplain
-rw-r--r--rewpatterns.v5596logplain
-rw-r--r--set_lamda.v1131logplain
-rw-r--r--set_pattern.v3242logplain
-rw-r--r--ssrsyntax2.v905logplain
-rw-r--r--tc.v1471logplain
-rw-r--r--typeof.v912logplain
-rw-r--r--unfold_Opaque.v772logplain
-rw-r--r--unkeyed.v1281logplain
-rw-r--r--view_case.v1143logplain
-rw-r--r--wlog_suff.v1059logplain
-rw-r--r--wlogletin.v1811logplain
-rw-r--r--wlong_intro.v930logplain