Newer
Older
_build/
.merlin
\#*\#
.\#*
*~
*.bak
.coq-native/
builddep/
_opam
*.timing
.lia.cache
.nia.cache
**/case_studies/*/target
**/case_studies/*/log
**/case_studies/*/Cargo.lock
**/rustc-ice-*
_build/
.merlin
\#*\#
.\#*
*~
*.bak
.coq-native/
builddep/
_opam
*.timing
.lia.cache
.nia.cache
**/case_studies/*/target
**/case_studies/*/log
**/case_studies/*/Cargo.lock
**/rustc-ice-*