_CoqProject 215 Bytes
Newer Older
Léon Gondelman's avatar
Léon Gondelman committed
1 2 3 4 5 6 7
-Q theories iris_c
-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files

theories/lib/env.v
theories/lib/flock.v
theories/c_translation/monad.v
theories/c_translation/translation.v