Compare commits

..

3 Commits

Author SHA1 Message Date
zxq9 cc4fd04019 Update test path
Gajumaru Bytecode Tests / tests (push) Successful in 47m48s
2025-02-24 20:59:02 +09:00
zxq9 97cea33be8 Dep ref update (#237)
Gajumaru Bytecode Tests / tests (push) Successful in -3m36s
Reviewed-on: #237
Co-authored-by: Craig Everett <zxq9@zxq9.com>
Co-committed-by: Craig Everett <zxq9@zxq9.com>
2025-01-23 21:41:25 +09:00
zxq9 1cdcb9150b Revamp (#235)
Gajumaru Bytecode Tests / tests (push) Successful in -3m34s
Add Gitea tests
Rename
Remove oracle references
Package for zx

Reviewed-on: #235
Reviewed-by: dimitar.p.ivanov <dimitarivanov@qpq.swiss>
Co-authored-by: Craig Everett <zxq9@zxq9.com>
Co-committed-by: Craig Everett <zxq9@zxq9.com>
2025-01-22 21:12:54 +09:00
27 changed files with 57 additions and 24 deletions
+4 -4
View File
@@ -8,8 +8,8 @@ jobs:
steps: steps:
- name: Check out repository code - name: Check out repository code
uses: actions/checkout@v3 uses: actions/checkout@v3
- name: eunit - name: test
run: | run: |
. /opt/act_runner/erts/27.2/activate . /home/act_runner/.erts/27.2.1/activate
make make dialyzer
./rebar3 eunit make eunit
+1 -1
View File
@@ -25,4 +25,4 @@ cover
gmfate gmfate
current_counterexample.eqc current_counterexample.eqc
.rebar3 .rebar3
ebin ebin/*.beam
View File
+16
View 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,[]}]}.
+2 -2
View File
@@ -1,6 +1,6 @@
-record(pmap, {key_t :: gmb_gmvm_data:type(), -record(pmap, {key_t :: gmb_aevm_data:type(),
val_t :: gmb_gmvm_data:type(), val_t :: gmb_aevm_data:type(),
parent :: none | non_neg_integer(), parent :: none | non_neg_integer(),
size = 0 :: non_neg_integer(), size = 0 :: non_neg_integer(),
data :: #{gmb_heap:binary_value() => gmb_heap:binary_value() | tombstone} data :: #{gmb_heap:binary_value() => gmb_heap:binary_value() | tombstone}
+1 -1
View File
@@ -1,5 +1,5 @@
-define(Type(), gmb_gmvm_data:type()). -define(Type(), gmb_aevm_data:type()).
-define(TYPEREP_WORD_TAG, 0). -define(TYPEREP_WORD_TAG, 0).
-define(TYPEREP_STRING_TAG, 1). -define(TYPEREP_STRING_TAG, 1).
+2 -2
View File
@@ -6,7 +6,7 @@
{deps, [ {eblake2, "1.0.0"} {deps, [ {eblake2, "1.0.0"}
, {gmserialization, {git, "https://git.qpq.swiss/QPQ-AG/gmserialization.git", , {gmserialization, {git, "https://git.qpq.swiss/QPQ-AG/gmserialization.git",
{ref, "2db9ea613450116a330bf1e9447b77625ff8e2b3"}}} {ref, "9d2ecc00d32ea295309563e54a81636ecb597e96"}}}
, {getopt, "1.0.1"} , {getopt, "1.0.1"}
]}. ]}.
@@ -40,7 +40,7 @@
{profiles, [{binary, [ {profiles, [{binary, [
{deps, [ {eblake2, "1.0.0"} {deps, [ {eblake2, "1.0.0"}
, {gmserialization, {git, "https://git.qpq.swiss/QPQ-AG/gmserialization.git", , {gmserialization, {git, "https://git.qpq.swiss/QPQ-AG/gmserialization.git",
{ref, "2db9ea613450116a330bf1e9447b77625ff8e2b3"}}} {ref, "9d2ecc00d32ea295309563e54a81636ecb597e96"}}}
, {getopt, "1.0.1"} , {getopt, "1.0.1"}
]}, ]},
+1 -1
View File
@@ -1,7 +1,7 @@
{"1.2.0", {"1.2.0",
[{<<"gmserialization">>, [{<<"gmserialization">>,
{git,"https://git.qpq.swiss/QPQ-AG/gmserialization.git", {git,"https://git.qpq.swiss/QPQ-AG/gmserialization.git",
{ref,"2db9ea613450116a330bf1e9447b77625ff8e2b3"}}, {ref,"9d2ecc00d32ea295309563e54a81636ecb597e96"}},
0}, 0},
{<<"base58">>, {<<"base58">>,
{git,"https://git.qpq.swiss/QPQ-AG/erl-base58.git", {git,"https://git.qpq.swiss/QPQ-AG/erl-base58.git",
+1
View File
@@ -10,6 +10,7 @@
%%% %%%
%%%------------------------------------------------------------------- %%%-------------------------------------------------------------------
-module(gmb_aevm_abi). -module(gmb_aevm_abi).
-vsn("3.4.1").
-define(HASH_SIZE, 32). -define(HASH_SIZE, 32).
-export([ create_calldata/4 -export([ create_calldata/4
+1
View File
@@ -1,4 +1,5 @@
-module(gmb_aevm_data). -module(gmb_aevm_data).
-vsn("3.4.1").
-export_type([data/0, -export_type([data/0,
type/0, type/0,
+1
View File
@@ -31,6 +31,7 @@
%%%------------------------------------------------------------------- %%%-------------------------------------------------------------------
-module(gmb_asm). -module(gmb_asm).
-vsn("3.4.1").
-export([ file/2 -export([ file/2
, pp/1 , pp/1
+1
View File
@@ -9,6 +9,7 @@
%%%------------------------------------------------------------------- %%%-------------------------------------------------------------------
-module(gmb_disassemble). -module(gmb_disassemble).
-vsn("3.4.1").
-export([ pp/1, -export([ pp/1,
format/2, format/2,
+1
View File
@@ -10,6 +10,7 @@
%%% %%%
%%%------------------------------------------------------------------- %%%-------------------------------------------------------------------
-module(gmb_fate_abi). -module(gmb_fate_abi).
-vsn("3.4.1").
-export([ create_calldata/2 -export([ create_calldata/2
, decode_calldata/2 , decode_calldata/2
+1
View File
@@ -86,6 +86,7 @@
%%%------------------------------------------------------------------- %%%-------------------------------------------------------------------
-module(gmb_fate_asm). -module(gmb_fate_asm).
-vsn("3.4.1").
-export([ assemble_file/3 -export([ assemble_file/3
, asm_to_bytecode/2 , asm_to_bytecode/2
+1
View File
@@ -7,6 +7,7 @@
%%% %%%
%%%------------------------------------------------------------------- %%%-------------------------------------------------------------------
-module(gmb_fate_code). -module(gmb_fate_code).
-vsn("3.4.1").
-export([ annotations/1 -export([ annotations/1
, deserialize/1 , deserialize/1
+1
View File
@@ -3,6 +3,7 @@
-include("gmb_fate_data.hrl"). -include("gmb_fate_data.hrl").
-module(gmb_fate_data). -module(gmb_fate_data).
-vsn("3.4.1").
-type fate_integer() :: ?FATE_INTEGER_T. -type fate_integer() :: ?FATE_INTEGER_T.
-type fate_boolean() :: ?FATE_BOOLEAN_T. -type fate_boolean() :: ?FATE_BOOLEAN_T.
+1
View File
@@ -40,6 +40,7 @@
%% %%
%% ------------------------------------------------------------------------ %% ------------------------------------------------------------------------
-module(gmb_fate_encoding). -module(gmb_fate_encoding).
-vsn("3.4.1").
-export([ deserialize/1 -export([ deserialize/1
, deserialize_one/1 , deserialize_one/1
+1
View File
@@ -1,4 +1,5 @@
-module(gmb_fate_generate_docs). -module(gmb_fate_generate_docs).
-vsn("3.4.1").
-export([generate_documentation/2, generate_documentation/3]). -export([generate_documentation/2, generate_documentation/3]).
+1
View File
@@ -1,4 +1,5 @@
-module(gmb_fate_generate_ops). -module(gmb_fate_generate_ops).
-vsn("3.4.1").
-export([ gen_and_halt/1 -export([ gen_and_halt/1
, generate/0 , generate/0
+1
View File
@@ -8,6 +8,7 @@
%%% @end %%% @end
%%% ------------------------------------------------------------------- %%% -------------------------------------------------------------------
-module(gmb_fate_maps). -module(gmb_fate_maps).
-vsn("3.4.1").
-include("gmb_fate_data.hrl"). -include("gmb_fate_data.hrl").
+1
View File
@@ -1,4 +1,5 @@
-module(gmb_heap). -module(gmb_heap).
-vsn("3.4.1").
-export([ to_binary/1 -export([ to_binary/1
, to_binary/2 , to_binary/2
+1
View File
@@ -9,6 +9,7 @@
%%%------------------------------------------------------------------- %%%-------------------------------------------------------------------
-module(gmb_memory). -module(gmb_memory).
-vsn("3.4.1").
-export([binary_to_words/1]). -export([binary_to_words/1]).
+1
View File
@@ -9,6 +9,7 @@
%%%------------------------------------------------------------------- %%%-------------------------------------------------------------------
-module(gmb_opcodes). -module(gmb_opcodes).
-vsn("3.4.1").
-export([ dup/1 -export([ dup/1
, mnemonic/1 , mnemonic/1
+1
View File
@@ -10,6 +10,7 @@
%%%------------------------------------------------------------------- %%%-------------------------------------------------------------------
-module(gmb_primops). -module(gmb_primops).
-vsn("3.4.1").
-export([ is_local_primop_op/1 -export([ is_local_primop_op/1
, op_needs_type_check/1 , op_needs_type_check/1
]). ]).
+1 -1
View File
@@ -1,6 +1,6 @@
{application, gmbytecode, {application, gmbytecode,
[{description, "Bytecode definitions, serialization and deserialization for the Gajumaru."}, [{description, "Bytecode definitions, serialization and deserialization for the Gajumaru."},
{vsn, "3.4.0"}, {vsn, "3.4.1"},
{registered, []}, {registered, []},
{applications, {applications,
[kernel, [kernel,
+1
View File
@@ -1,4 +1,5 @@
-module(gmfateasm). -module(gmfateasm).
-vsn("3.4.1").
-export([main/1]). -export([main/1]).
+12 -12
View File
@@ -1,19 +1,19 @@
{a_email,[]}. {name,"Gajumaru Bytecode"}.
{author,""}. {type,lib}.
{c_email,[]}. {modules,[]}.
{copyright,""}. {prefix,none}.
{deps,[{"otpr","gmserialization",{0,1,0}}, {desc,"A library and stand alone assembler for Gajumaru bytecode. This version supports AEVM bytecode and FATE bytecode."}.
{author,[]}.
{package_id,{"otpr","gmbytecode",{3,4,1}}}.
{deps,[{"otpr","gmserialization",{0,1,2}},
{"otpr","eblake2",{1,0,0}}, {"otpr","eblake2",{1,0,0}},
{"otpr","getopt",{1,0,2}}]}. {"otpr","getopt",{1,0,2}}]}.
{desc,"A library and stand alone assembler for Gajumaru bytecode. This version supports AEVM bytecode and FATE bytecode."}.
{file_exts,[]}.
{key_name,none}. {key_name,none}.
{a_email,[]}.
{c_email,[]}.
{copyright,[]}.
{file_exts,[]}.
{license,skip}. {license,skip}.
{modules,[]}.
{name,"Gajumaru Bytecode"}.
{package_id,{"otpr","gmbytecode",{3,4,0}}}.
{prefix,none}.
{repo_url,"https://git.qpq.swiss/QPQ-AG/gmbytecode"}. {repo_url,"https://git.qpq.swiss/QPQ-AG/gmbytecode"}.
{tags,["gajumaru","blockchain","fate","bytecode","crypto","gm"]}. {tags,["gajumaru","blockchain","fate","bytecode","crypto","gm"]}.
{type,lib}.
{ws_url,[]}. {ws_url,[]}.