diff --git a/.gitignore b/.gitignore index cb5c766..a903229 100644 --- a/.gitignore +++ b/.gitignore @@ -25,4 +25,4 @@ cover gmfate current_counterexample.eqc .rebar3 -ebin +ebin/*.beam diff --git a/ebin/gmbytecode.app b/ebin/gmbytecode.app new file mode 100644 index 0000000..af46a2e --- /dev/null +++ b/ebin/gmbytecode.app @@ -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,[]}]}.