.gitignore

# Build products, except for UIUC K definitions. We want the
# repository to be runnable even if the use doesn't have
# pandoc-tangle installed.
# See the 'exclude everything except directory foo/bar'
# example in the gitignore man page to understand how this works.
/.build/*

!/.build/uiuck/
/.build/uiuck/*
!/.build/uiuck/*.k

!/.build/rvk/
/.build/rvk/*

!/.build/secp256k1

/tests/proofs

# This holds the tests that are split into one test per file from
# the ethereum tests
/tests/VMTests
/tests/BlockchainTests

# Directory for storing temporary files like logs, snippets and TODO lists.
/tmp

# TODO: The RVK make recipie should be putting these in .build
/KRYPTO.cmi
/KRYPTO.cmx
/KRYPTO.o
/semantics.a
/semantics.cmxa