aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/romega
ModeNameSize
-rw-r--r--README152logplain
-rw-r--r--ROmega.v317logplain
-rw-r--r--ReflOmegaCore.v100815logplain
-rw-r--r--const_omega.ml11729logplain
-rw-r--r--const_omega.mli5899logplain
-rw-r--r--g_romega.ml41315logplain
-rw-r--r--refl_omega.ml48237logplain