aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/romega
ModeNameSize
-rw-r--r--README152logplain
-rw-r--r--ROmega.v431logplain
-rw-r--r--ReflOmegaCore.v56642logplain
-rw-r--r--const_omega.ml9915logplain
-rw-r--r--const_omega.mli3511logplain
-rw-r--r--g_romega.ml41673logplain
-rw-r--r--refl_omega.ml38922logplain
-rw-r--r--romega_plugin.mlpack32logplain