about summary refs log tree commit diff stats
path: root/modal
ModeNameSize
-rw-r--r--.gitignore6log stats plain blame
-rw-r--r--README.md4609log stats plain blame
d---------build35log stats plain
-rw-r--r--logic.modal71log stats plain blame
-rw-r--r--modal.c8479log stats plain blame
d---------ocaml347log stats plain
d---------tests103log stats plain