This commit is contained in:
parent
c176d5dd01
commit
8671d83072
2
.gitignore
vendored
2
.gitignore
vendored
@ -25,4 +25,4 @@ cover
|
||||
gmfate
|
||||
current_counterexample.eqc
|
||||
.rebar3
|
||||
ebin
|
||||
ebin/*.beam
|
||||
|
16
ebin/gmbytecode.app
Normal file
16
ebin/gmbytecode.app
Normal file
@ -0,0 +1,16 @@
|
||||
{application,gmbytecode,
|
||||
[{description,"Bytecode definitions, serialization and deserialization for the Gajumaru."},
|
||||
{vsn,"3.4.1"},
|
||||
{registered,[]},
|
||||
{applications,[kernel,stdlib,eblake2,gmserialization,getopt]},
|
||||
{env,[]},
|
||||
{modules,[gmb_aevm_abi,gmb_aevm_data,gmb_asm,gmb_asm_scan,
|
||||
gmb_disassemble,gmb_fate_abi,gmb_fate_asm,
|
||||
gmb_fate_asm_scan,gmb_fate_code,gmb_fate_data,
|
||||
gmb_fate_encoding,gmb_fate_generate_docs,
|
||||
gmb_fate_generate_ops,gmb_fate_maps,gmb_fate_opcodes,
|
||||
gmb_fate_ops,gmb_fate_pp,gmb_heap,gmb_memory,
|
||||
gmb_opcodes,gmb_primops,gmfateasm]},
|
||||
{maintainers,[]},
|
||||
{licenses,[]},
|
||||
{links,[]}]}.
|
Loading…
x
Reference in New Issue
Block a user