Compare commits

..

6 Commits

Author SHA1 Message Date
zxq9 6ce5bde517 Update repo reference
Gajumaru Bytecode Tests / tests (push) Successful in -4m0s
2025-01-22 19:54:37 +09:00
zxq9 4a7c2e2a97 Renaming, zx packaging, remove oracle references
Gajumaru Bytecode Tests / tests (push) Successful in -3m59s
2025-01-22 19:51:27 +09:00
zxq9 c1e484cf20 Switch to Gitea actions 2025-01-22 14:07:40 +09:00
zxq9 7292d32d8a Remove oracle trouble 2025-01-22 14:04:59 +09:00
zxq9 0efff22d57 WIP 2025-01-22 13:41:35 +09:00
zxq9 f1a9a0744d WIP 2025-01-22 13:21:26 +09:00
27 changed files with 29 additions and 62 deletions
+4 -4
View File
@@ -8,8 +8,8 @@ jobs:
steps:
- name: Check out repository code
uses: actions/checkout@v3
- name: test
- name: eunit
run: |
. /home/act_runner/.erts/27.2.1/activate
make dialyzer
make eunit
. /opt/act_runner/erts/27.2/activate
make
./rebar3 eunit
+1 -1
View File
@@ -25,4 +25,4 @@ cover
gmfate
current_counterexample.eqc
.rebar3
ebin/*.beam
ebin
View File
-16
View File
@@ -1,16 +0,0 @@
{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_aevm_data:type(),
val_t :: gmb_aevm_data:type(),
-record(pmap, {key_t :: gmb_gmvm_data:type(),
val_t :: gmb_gmvm_data:type(),
parent :: none | non_neg_integer(),
size = 0 :: non_neg_integer(),
data :: #{gmb_heap:binary_value() => gmb_heap:binary_value() | tombstone}
+1 -1
View File
@@ -1,5 +1,5 @@
-define(Type(), gmb_aevm_data:type()).
-define(Type(), gmb_gmvm_data:type()).
-define(TYPEREP_WORD_TAG, 0).
-define(TYPEREP_STRING_TAG, 1).
+2 -2
View File
@@ -6,7 +6,7 @@
{deps, [ {eblake2, "1.0.0"}
, {gmserialization, {git, "https://git.qpq.swiss/QPQ-AG/gmserialization.git",
{tag, "v1.2.0"}}}
{ref, "2db9ea613450116a330bf1e9447b77625ff8e2b3"}}}
, {getopt, "1.0.1"}
]}.
@@ -40,7 +40,7 @@
{profiles, [{binary, [
{deps, [ {eblake2, "1.0.0"}
, {gmserialization, {git, "https://git.qpq.swiss/QPQ-AG/gmserialization.git",
{ref, "9d2ecc00d32ea295309563e54a81636ecb597e96"}}}
{ref, "2db9ea613450116a330bf1e9447b77625ff8e2b3"}}}
, {getopt, "1.0.1"}
]},
+6 -6
View File
@@ -1,5 +1,9 @@
{"1.2.0",
[{<<"base58">>,
[{<<"gmserialization">>,
{git,"https://git.qpq.swiss/QPQ-AG/gmserialization.git",
{ref,"2db9ea613450116a330bf1e9447b77625ff8e2b3"}},
0},
{<<"base58">>,
{git,"https://git.qpq.swiss/QPQ-AG/erl-base58.git",
{ref,"e6aa62eeae3d4388311401f06e4b939bf4e94b9c"}},
1},
@@ -8,11 +12,7 @@
{git,"https://git.qpq.swiss/QPQ-AG/enacl.git",
{ref,"4eb7ec70084ba7c87b1af8797c4c4e90c84f95a2"}},
1},
{<<"getopt">>,{pkg,<<"getopt">>,<<"1.0.1">>},0},
{<<"gmserialization">>,
{git,"https://git.qpq.swiss/QPQ-AG/gmserialization.git",
{ref,"ac64e01b0f675c1a34c70a827062f381920742db"}},
0}]}.
{<<"getopt">>,{pkg,<<"getopt">>,<<"1.0.1">>},0}]}.
[
{pkg_hash,[
{<<"eblake2">>, <<"EC8AD20E438AAB3F2E8D5D118C366A0754219195F8A0F536587440F8F9BCF2EF">>},
-1
View File
@@ -10,7 +10,6 @@
%%%
%%%-------------------------------------------------------------------
-module(gmb_aevm_abi).
-vsn("3.4.1").
-define(HASH_SIZE, 32).
-export([ create_calldata/4
-1
View File
@@ -1,5 +1,4 @@
-module(gmb_aevm_data).
-vsn("3.4.1").
-export_type([data/0,
type/0,
-1
View File
@@ -31,7 +31,6 @@
%%%-------------------------------------------------------------------
-module(gmb_asm).
-vsn("3.4.1").
-export([ file/2
, pp/1
-1
View File
@@ -9,7 +9,6 @@
%%%-------------------------------------------------------------------
-module(gmb_disassemble).
-vsn("3.4.1").
-export([ pp/1,
format/2,
-1
View File
@@ -10,7 +10,6 @@
%%%
%%%-------------------------------------------------------------------
-module(gmb_fate_abi).
-vsn("3.4.1").
-export([ create_calldata/2
, decode_calldata/2
-1
View File
@@ -86,7 +86,6 @@
%%%-------------------------------------------------------------------
-module(gmb_fate_asm).
-vsn("3.4.1").
-export([ assemble_file/3
, asm_to_bytecode/2
-1
View File
@@ -7,7 +7,6 @@
%%%
%%%-------------------------------------------------------------------
-module(gmb_fate_code).
-vsn("3.4.1").
-export([ annotations/1
, deserialize/1
-1
View File
@@ -3,7 +3,6 @@
-include("gmb_fate_data.hrl").
-module(gmb_fate_data).
-vsn("3.4.1").
-type fate_integer() :: ?FATE_INTEGER_T.
-type fate_boolean() :: ?FATE_BOOLEAN_T.
-1
View File
@@ -40,7 +40,6 @@
%%
%% ------------------------------------------------------------------------
-module(gmb_fate_encoding).
-vsn("3.4.1").
-export([ deserialize/1
, deserialize_one/1
-1
View File
@@ -1,5 +1,4 @@
-module(gmb_fate_generate_docs).
-vsn("3.4.1").
-export([generate_documentation/2, generate_documentation/3]).
-1
View File
@@ -1,5 +1,4 @@
-module(gmb_fate_generate_ops).
-vsn("3.4.1").
-export([ gen_and_halt/1
, generate/0
-1
View File
@@ -8,7 +8,6 @@
%%% @end
%%% -------------------------------------------------------------------
-module(gmb_fate_maps).
-vsn("3.4.1").
-include("gmb_fate_data.hrl").
-1
View File
@@ -1,5 +1,4 @@
-module(gmb_heap).
-vsn("3.4.1").
-export([ to_binary/1
, to_binary/2
-1
View File
@@ -9,7 +9,6 @@
%%%-------------------------------------------------------------------
-module(gmb_memory).
-vsn("3.4.1").
-export([binary_to_words/1]).
-1
View File
@@ -9,7 +9,6 @@
%%%-------------------------------------------------------------------
-module(gmb_opcodes).
-vsn("3.4.1").
-export([ dup/1
, mnemonic/1
-1
View File
@@ -10,7 +10,6 @@
%%%-------------------------------------------------------------------
-module(gmb_primops).
-vsn("3.4.1").
-export([ is_local_primop_op/1
, op_needs_type_check/1
]).
+1 -1
View File
@@ -1,6 +1,6 @@
{application, gmbytecode,
[{description, "Bytecode definitions, serialization and deserialization for the Gajumaru."},
{vsn, "3.4.1"},
{vsn, "3.4.0"},
{registered, []},
{applications,
[kernel,
-1
View File
@@ -1,5 +1,4 @@
-module(gmfateasm).
-vsn("3.4.1").
-export([main/1]).
+12 -12
View File
@@ -1,19 +1,19 @@
{name,"Gajumaru Bytecode"}.
{type,lib}.
{modules,[]}.
{prefix,none}.
{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}},
{a_email,[]}.
{author,""}.
{c_email,[]}.
{copyright,""}.
{deps,[{"otpr","gmserialization",{0,1,0}},
{"otpr","eblake2",{1,0,0}},
{"otpr","getopt",{1,0,2}}]}.
{key_name,none}.
{a_email,[]}.
{c_email,[]}.
{copyright,[]}.
{desc,"A library and stand alone assembler for Gajumaru bytecode. This version supports AEVM bytecode and FATE bytecode."}.
{file_exts,[]}.
{key_name,none}.
{license,skip}.
{modules,[]}.
{name,"Gajumaru Bytecode"}.
{package_id,{"otpr","gmbytecode",{3,4,0}}}.
{prefix,none}.
{repo_url,"https://git.qpq.swiss/QPQ-AG/gmbytecode"}.
{tags,["gajumaru","blockchain","fate","bytecode","crypto","gm"]}.
{type,lib}.
{ws_url,[]}.