.rebar3
_[^_]*
.eunit
*.o
*.beam
*.plt
*.swp
*.swo
.erlang.cookie
ebin
log
erl_crash.dump
.rebar
logs
_build
.idea
*.iml
rebar3.crashdump
*.erl~
*.aes~
aesophia
.qcci
current_counterexample.eqc
test/contracts/test.aes