11a8997ac7
* Change names of generated aeb_fate_code -> aeb_fate_ops * Break out fate code to separate adt module * Fix documentation of the SPEND op * More compact implementation of serialization/deserialization * Changed argument specification order
29 lines
354 B
Plaintext
29 lines
354 B
Plaintext
.eunit
|
|
deps
|
|
*.o
|
|
*.beam
|
|
*.plt
|
|
erl_crash.dump
|
|
ebin/*.beam
|
|
rel/example_project
|
|
.concrete/DEV_MODE
|
|
.rebar
|
|
aeb_asm_scan.erl
|
|
aeb_fate_asm_scan.erl
|
|
aeb_fate_asm_scan.xrl
|
|
_build/
|
|
aefateasm
|
|
include/aeb_fate_opcodes.hrl
|
|
src/aeb_fate_opcodes.erl
|
|
src/aeb_fate_ops.erl
|
|
src/aeb_fate_pp.erl
|
|
*.erl~
|
|
*.hrl~
|
|
*.aes~
|
|
doc
|
|
cover
|
|
aefate
|
|
current_counterexample.eqc
|
|
.rebar3
|
|
ebin
|