@theqrl/hypc 0.0.2 → 0.2.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (40) hide show
  1. package/README.md +4 -4
  2. package/build/clean.js +2 -4
  3. package/hypc.js +2 -2
  4. package/hypjson.js +47 -47
  5. package/linker.js +43 -32
  6. package/package.json +4 -4
  7. package/test/cli.js +1 -1
  8. package/test/compiler.js +21 -21
  9. package/test/linker.js +46 -90
  10. package/test/translate.js +2 -2
  11. package/translate.js +3 -3
  12. package/contractA_hyp_A.bin +0 -1
  13. package/contractB_hyp_B.bin +0 -1
  14. package/importA_hyp_C.bin +0 -1
  15. package/importB_hyp_D.bin +0 -1
  16. package/libX_hyp_X.bin +0 -1
  17. package/libY_hyp_Y.bin +0 -1
  18. package/libZ_hyp_Z.bin +0 -1
  19. package/test/resources/fixtureAsmJson.hyp +0 -8
  20. package/test/resources/fixtureAsmJson.output +0 -101
  21. package/test/resources/fixtureIncorrectSource.hyp +0 -1
  22. package/test/resources/fixtureSmoke.hyp +0 -5
  23. package/test/resources/importA.hyp +0 -7
  24. package/test/resources/importB.hyp +0 -5
  25. package/test/resources/importCallback/base/contractA.hyp +0 -8
  26. package/test/resources/importCallback/base/contractB.hyp +0 -6
  27. package/test/resources/importCallback/contractC.hyp +0 -4
  28. package/test/resources/importCallback/includeA/libX.hyp +0 -4
  29. package/test/resources/importCallback/includeA/libY.hyp +0 -6
  30. package/test/resources/importCallback/includeA/utils.hyp +0 -4
  31. package/test/resources/importCallback/includeB/libZ.hyp +0 -4
  32. package/test/resources/smtChecker/loop.hyp +0 -8
  33. package/test/resources/smtChecker/smoke.hyp +0 -5
  34. package/test/resources/smtChecker/smoke_with_engine.hyp +0 -6
  35. package/test/resources/smtChecker/smoke_with_multi_engine.hyp +0 -8
  36. package/test_resources_fixtureSmoke_hyp_C.abi +0 -1
  37. package/test_resources_fixtureSmoke_hyp_C.bin +0 -1
  38. package/test_resources_importA_hyp_C.bin +0 -1
  39. package/test_resources_importB_hyp_D.bin +0 -1
  40. package/utils_hyp_Utils.bin +0 -1
package/test/resources/fixtureAsmJson.output DELETED
@@ -1,101 +0,0 @@
1
- .code
2
- PUSH 80 contract C {\n // Leaving an ...
3
- PUSH 40 contract C {\n // Leaving an ...
4
- MSTORE contract C {\n // Leaving an ...
5
- CALLVALUE contract C {\n // Leaving an ...
6
- DUP1 C {\n //
7
- ISZERO ac
8
- PUSH [tag] 1 ac
9
- JUMPI ac
10
- PUSH 0 m
11
- DUP1 n
12
- REVERT aving an emp
13
- tag 1 ac
14
- JUMPDEST ac
15
- POP contract C {\n // Leaving an ...
16
- PUSH #[$] 0000000000000000000000000000000000000000000000000000000000000000 contract C {\n // Leaving an ...
17
- DUP1 contract C {\n // Leaving an ...
18
- PUSH [$] 0000000000000000000000000000000000000000000000000000000000000000 contract C {\n // Leaving an ...
19
- PUSH 0 contract C {\n // Leaving an ...
20
- CODECOPY contract C {\n // Leaving an ...
21
- PUSH 0 contract C {\n // Leaving an ...
22
- RETURN contract C {\n // Leaving an ...
23
- .data
24
- 0:
25
- .code
26
- PUSH 80 contract C {\n // Leaving an ...
27
- PUSH 40 contract C {\n // Leaving an ...
28
- MSTORE contract C {\n // Leaving an ...
29
- CALLVALUE contract C {\n // Leaving an ...
30
- DUP1 C {\n //
31
- ISZERO ac
32
- PUSH [tag] 1 ac
33
- JUMPI ac
34
- PUSH 0 m
35
- DUP1 n
36
- REVERT aving an emp
37
- tag 1 ac
38
- JUMPDEST ac
39
- POP contract C {\n // Leaving an ...
40
- PUSH 4 contract C {\n // Leaving an ...
41
- CALLDATASIZE contract C {\n // Leaving an ...
42
- LT contract C {\n // Leaving an ...
43
- PUSH [tag] 2 contract C {\n // Leaving an ...
44
- JUMPI contract C {\n // Leaving an ...
45
- PUSH 0 contract C {\n // Leaving an ...
46
- CALLDATALOAD contract C {\n // Leaving an ...
47
- PUSH 100000000000000000000000000000000000000000000000000000000 contract C {\n // Leaving an ...
48
- SWAP1 contract C {\n // Leaving an ...
49
- DIV contract C {\n // Leaving an ...
50
- DUP1 contract C {\n // Leaving an ...
51
- PUSH 26121FF0 contract C {\n // Leaving an ...
52
- EQ contract C {\n // Leaving an ...
53
- PUSH [tag] 3 contract C {\n // Leaving an ...
54
- JUMPI contract C {\n // Leaving an ...
55
- tag 2 contract C {\n // Leaving an ...
56
- JUMPDEST contract C {\n // Leaving an ...
57
- PUSH 0 contract C {\n // Leaving an ...
58
- DUP1 contract C {\n // Leaving an ...
59
- REVERT contract C {\n // Leaving an ...
60
- tag 3 function f() public returns (b...
61
- JUMPDEST function f() public returns (b...
62
- PUSH [tag] 4 function f() public returns (b...
63
- PUSH [tag] 5 function f() public returns (b...
64
- JUMP [in] function f() public returns (b...
65
- tag 4 function f() public returns (b...
66
- JUMPDEST function f() public returns (b...
67
- PUSH 40 function f() public returns (b...
68
- MLOAD function f() public returns (b...
69
- DUP1 function f() public returns (b...
70
- DUP3 function f() public returns (b...
71
- PUSH FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF function f() public returns (b...
72
- NOT function f() public returns (b...
73
- AND function f() public returns (b...
74
- PUSH FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF function f() public returns (b...
75
- NOT function f() public returns (b...
76
- AND function f() public returns (b...
77
- DUP2 function f() public returns (b...
78
- MSTORE function f() public returns (b...
79
- PUSH 20 function f() public returns (b...
80
- ADD function f() public returns (b...
81
- SWAP2 function f() public returns (b...
82
- POP function f() public returns (b...
83
- POP function f() public returns (b...
84
- PUSH 40 function f() public returns (b...
85
- MLOAD function f() public returns (b...
86
- DUP1 function f() public returns (b...
87
- SWAP2 function f() public returns (b...
88
- SUB function f() public returns (b...
89
- SWAP1 function f() public returns (b...
90
- RETURN function f() public returns (b...
91
- tag 5 function f() public returns (b...
92
- JUMPDEST function f() public returns (b...
93
- PUSH 0 bytes4
94
- PUSH 26121FF0 this.f.selector
95
- PUSH 100000000000000000000000000000000000000000000000000000000 this.f.selector
96
- MUL this.f.selector
97
- SWAP1 return this.f.selector
98
- POP return this.f.selector
99
- SWAP1 function f() public returns (b...
100
- JUMP [out] function f() public returns (b...
101
- .data
package/test/resources/fixtureIncorrectSource.hyp DELETED
@@ -1 +0,0 @@
1
- pragma contract;
package/test/resources/fixtureSmoke.hyp DELETED
@@ -1,5 +0,0 @@
1
- contract C {
2
- function f() public returns (uint) {
3
- return 0;
4
- }
5
- }
package/test/resources/importA.hyp DELETED
@@ -1,7 +0,0 @@
1
- import "./importB.hyp";
2
-
3
- contract C {
4
- function f() public returns (uint) {
5
- return 0;
6
- }
7
- }
package/test/resources/importB.hyp DELETED
@@ -1,5 +0,0 @@
1
- contract D {
2
- function f() public returns (uint) {
3
- return 0;
4
- }
5
- }
package/test/resources/importCallback/base/contractA.hyp DELETED
@@ -1,8 +0,0 @@
1
- // SPDX-License-Identifier: GPL-3.0
2
- pragma hyperion >=0.0.1;
3
-
4
- import "libX.hyp";
5
- import "libY.hyp";
6
- import "libZ.hyp";
7
-
8
- contract A {}
package/test/resources/importCallback/base/contractB.hyp DELETED
@@ -1,6 +0,0 @@
1
- // SPDX-License-Identifier: GPL-3.0
2
- pragma hyperion >=0.0.1;
3
-
4
- import "./contractA.hyp";
5
-
6
- contract B {}
package/test/resources/importCallback/contractC.hyp DELETED
@@ -1,4 +0,0 @@
1
- // SPDX-License-Identifier: GPL-3.0
2
- pragma hyperion >=0.0.1;
3
-
4
- contract C {}
package/test/resources/importCallback/includeA/libX.hyp DELETED
@@ -1,4 +0,0 @@
1
- // SPDX-License-Identifier: GPL-3.0
2
- pragma hyperion >=0.0.1;
3
-
4
- library X {}
package/test/resources/importCallback/includeA/libY.hyp DELETED
@@ -1,6 +0,0 @@
1
- // SPDX-License-Identifier: GPL-3.0
2
- pragma hyperion >=0.0.1;
3
-
4
- import "./utils.hyp";
5
-
6
- library Y {}
package/test/resources/importCallback/includeA/utils.hyp DELETED
@@ -1,4 +0,0 @@
1
- // SPDX-License-Identifier: GPL-3.0
2
- pragma hyperion >=0.0.1;
3
-
4
- library Utils {}
package/test/resources/importCallback/includeB/libZ.hyp DELETED
@@ -1,4 +0,0 @@
1
- // SPDX-License-Identifier: GPL-3.0
2
- pragma hyperion >=0.0.1;
3
-
4
- library Z {}
package/test/resources/smtChecker/loop.hyp DELETED
@@ -1,8 +0,0 @@
1
- contract C {
2
- function f(uint x) public pure {
3
- uint i = 0;
4
- while (i < x)
5
- ++i;
6
- assert(i == x);
7
- }
8
- }
package/test/resources/smtChecker/smoke.hyp DELETED
@@ -1,5 +0,0 @@
1
- pragma experimental SMTChecker;
2
- contract C {
3
- function f() public pure {
4
- }
5
- }
package/test/resources/smtChecker/smoke_with_engine.hyp DELETED
@@ -1,6 +0,0 @@
1
- contract C {
2
- function f() public pure {
3
- }
4
- }
5
- // ====
6
- // SMTEngine: all
package/test/resources/smtChecker/smoke_with_multi_engine.hyp DELETED
@@ -1,8 +0,0 @@
1
- pragma experimental SMTChecker;
2
- contract C {
3
- function f() public pure {
4
- }
5
- }
6
- // ====
7
- // SMTEngine: all
8
- // SMTEngine: chc
package/test_resources_fixtureSmoke_hyp_C.abi DELETED
@@ -1 +0,0 @@
1
- [{"inputs":[],"name":"f","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"stateMutability":"nonpayable","type":"function"}]
package/test_resources_fixtureSmoke_hyp_C.bin DELETED
@@ -1 +0,0 @@
1
- 6080604052348015600e575f80fd5b5060ab8061001b5f395ff3fe6080604052348015600e575f80fd5b50600436106026575f3560e01c806326121ff014602a575b5f80fd5b60306044565b604051603b9190605e565b60405180910390f35b5f90565b5f819050919050565b6058816048565b82525050565b5f602082019050606f5f8301846051565b9291505056fea2646970667358221220a64bffebed1b5ea46c9e55283bb4753bda96a1f1cc64c005260afedb8a70c40a6468797063430000020033
package/test_resources_importA_hyp_C.bin DELETED
@@ -1 +0,0 @@
1
- 6080604052348015600e575f80fd5b5060ab8061001b5f395ff3fe6080604052348015600e575f80fd5b50600436106026575f3560e01c806326121ff014602a575b5f80fd5b60306044565b604051603b9190605e565b60405180910390f35b5f90565b5f819050919050565b6058816048565b82525050565b5f602082019050606f5f8301846051565b9291505056fea26469706673582212203cd9e1982d54d4d890bf8e70885702652542c82b6abb83e7c15acee85073406c6468797063430000020033
package/test_resources_importB_hyp_D.bin DELETED
@@ -1 +0,0 @@
1
- 6080604052348015600e575f80fd5b5060ab8061001b5f395ff3fe6080604052348015600e575f80fd5b50600436106026575f3560e01c806326121ff014602a575b5f80fd5b60306044565b604051603b9190605e565b60405180910390f35b5f90565b5f819050919050565b6058816048565b82525050565b5f602082019050606f5f8301846051565b9291505056fea26469706673582212207037e01e24ae6d283b7725b9545b7c4376d40d1a1186404fcfd6d3b064b2ca786468797063430000020033
package/utils_hyp_Utils.bin DELETED
@@ -1 +0,0 @@
1
- 6055604b600b8282823980515f1a607314603f577f4e487b71000000000000000000000000000000000000000000000000000000005f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040525f80fdfea2646970667358221220c6f7f973579a348b89e77c0e22d1800927ba997a07148e7c7b4d9cff3451b45c6468797063430000020033