Craig Everett
dbab49936d
All checks were successful
Sophia Tests / tests (push) Successful in 48m54s
A few references to oracles still remain, but they have been removed as a feature, at least. Reviewed-on: #985 Reviewed-by: Ulf Wiger <ulfwiger@qpq.swiss> Co-authored-by: Craig Everett <zxq9@zxq9.com> Co-committed-by: Craig Everett <zxq9@zxq9.com>
28 lines
256 B
Plaintext
28 lines
256 B
Plaintext
.rebar3
|
|
_[^_]*
|
|
.eunit
|
|
*.o
|
|
*.beam
|
|
*.plt
|
|
*.swp
|
|
*.swo
|
|
.erlang.cookie
|
|
ebin
|
|
log
|
|
erl_crash.dump
|
|
.rebar
|
|
logs
|
|
_build
|
|
.idea
|
|
*.iml
|
|
rebar3.crashdump
|
|
*.erl~
|
|
*.aes~
|
|
sophia
|
|
.qcci
|
|
current_counterexample.eqc
|
|
test/contracts/test.aes
|
|
__pycache__
|
|
.docssite/docs/*.md
|
|
.vscode
|