balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
2,363 Commits 2 Branches 0 Tags 65 MiB
968afcf682
Commit Graph

495 Commits

Author SHA1 Message Date
Benjamin Canou
f5091bf5e6 Michelson: fix gas cost for CONTRACT 2018-06-30 03:56:15 +02:00
Benjamin Canou
546eff6eb7 Michelson: adjust gaz weights 2018-06-30 01:41:14 +02:00
Benjamin Canou
33e6d89ce9 Michelson: fix gas costs for PACK/UNPACK 2018-06-30 01:41:14 +02:00
Benjamin Canou
42a8fbaf77 Alpha: set block size constants 2018-06-29 21:45:41 +02:00
bruno
1368eed80c Alpha/Tests/delegation: deactivation and self-delegation when empty 2018-06-29 16:44:57 +00:00
bruno
9ee7cf18fd Alpha/Tests/delegation: add double registration test 
Emptied and then recredited between the two self-delegations.
 2018-06-29 14:33:48 +00:00
bruno
1b6eca4d89 Alpha/Tests/delegation: add double delegation when empty test 
Slight improvement of double delegation test
 2018-06-29 14:33:48 +00:00
bruno
a2bc2c4aad Alpha: do not delete delegate change of an empty delegate account 2018-06-29 14:33:48 +00:00
Alain Mebsout
e81b045d42 Alpha: minor adjustments to gas costs 2018-06-29 16:18:17 +02:00
Benjamin Canou
3677550e4d Alpha: synchroinize apply and simulate wrt. gas 2018-06-29 16:18:17 +02:00
Benjamin Canou
ffb3890f80 Alpha: fix gas accounting in lazy decoding 2018-06-29 16:18:17 +02:00
Pierre Chambart
32c5f47593 Alpha: remove some rebasing artefact that should be removed 2018-06-29 16:18:17 +02:00
Benjamin Canou
820fb9ab18 Alpha: fix some comments about non gazeified functions 2018-06-29 16:18:17 +02:00
Alain Mebsout
2db455274c Alpha: some missing gas in parse_data 2018-06-29 16:18:17 +02:00
Alain Mebsout
5d4101d85a Alpha: consume (de)serialization gas for big maps in context 2018-06-29 16:18:17 +02:00
Alain Mebsout
34d9f7e649 Alpha: minor improvements and fixes in gas 2018-06-29 16:18:17 +02:00
Benjamin Canou
7159b92cbd Michelson: gas costs tweaks and fixes 2018-06-29 16:18:17 +02:00
Alain Mebsout
b1515dc376 Alpha: consume typechecking gas in type equality for expansion 2018-06-29 16:18:17 +02:00
Benjamin Canou
589bb54abe Michelson: factor unparsing and deserialization cost computations 2018-06-29 16:18:17 +02:00
Benjamin Canou
a8d2998170 Michelson: unplug internal operation parsing 2018-06-29 16:18:17 +02:00
Benjamin Canou
4b9d2114b2 Alpha: thread gas accounting in unparse_ty 2018-06-29 16:18:17 +02:00
Benjamin Canou
da7c71a7aa Alpha: add a few comments 2018-06-29 16:18:17 +02:00
Benjamin Canou
f946443b3b Alpha: fix error description 2018-06-29 16:18:17 +02:00
Alain Mebsout
43f818dc66 Alpha: comsume cost of parsing/typing instructions in script 2018-06-29 16:18:17 +02:00
Alain Mebsout
9da9a8440e Alpha: consume gas for parsing types 2018-06-29 16:18:17 +02:00
Alain Mebsout
f6c4be2b40 Alpha, Client: don't count gas for unparsing in logging 2018-06-29 16:18:17 +02:00
Alain Mebsout
0c8549b871 Alpha: remove minimal serialization gas computation 2018-06-29 16:18:17 +02:00
Alain Mebsout
8648555f01 Alpha: raise permanent error on gas exhaustion in precheck 2018-06-29 16:18:17 +02:00
Alain Mebsout
0dee466736 Alpha: set gas limit in precheck and re-consume gas in apply 2018-06-29 16:18:17 +02:00
Alain Mebsout
3ce320979c Alpha, Gas: consume gas for storage serialization and deserialization 2018-06-29 16:18:17 +02:00
Alain Mebsout
a69333d21f Alpha, Gas: gas accounting for serialization of data and types 
Also gas accounting in errors, failures and trace
 2018-06-29 16:18:17 +02:00
Alain Mebsout
fa4a3a9fe4 Alpha: cost of deserialization 2018-06-29 16:18:17 +02:00
Alain Mebsout
245b888ccc Proto, Gas: Fail at precheck if not enough gas to deserialize parameters 2018-06-29 16:18:17 +02:00
Galfour
2701012bf0 Everywhere: dictator -> activator 2018-06-29 04:10:30 +02:00
Benjamin Canou
d5fed56d46 Alpha: remove unused dictator key 2018-06-29 03:44:47 +02:00
Marco Stronati
0ac1e1e842 Alpha: richer block receipt 
Added:
- nonce_hash
- consumed_gas
- deactivated delegats at end cycle
- unfrozen balances at end cycle
 2018-06-28 17:35:40 +00:00
Marco Stronati
0bd4ee3cfc Alpha: move balance_updates from apply_result to delegate 2018-06-28 17:35:40 +00:00
Marco Stronati
4b282ea8c5 Alpha: move block_metadata from alpha_context to apply_result 2018-06-28 17:35:40 +00:00
Marco Stronati
91d497fd4a Alpha: rename apply_operation_result to apply_results 2018-06-28 17:35:40 +00:00
Marco Stronati
3d88707eb8 Alpha: fix balance_update from Rewards to Fees 2018-06-28 17:35:40 +00:00
Benjamin Canou
44ca820944 Genesis/Alpha: include chain id in signature for blocks and endorsements 2018-06-27 21:38:52 +02:00
Raphaël Proust
1c2a771832 Everywhere: return_{none,some,nil,true,false} 2018-06-27 10:57:21 +02:00
Raphaël Proust
103d5355f2 Everywhere: return_unit 2018-06-27 10:57:21 +02:00
bruno
8b8dcddd02 Alpha/Tests/transfer: add test + minor cosmetic changes 2018-06-26 18:16:39 +00:00
Quyen
ee1d56d096 Alpha/Tests/origination: add new comments 2018-06-26 18:16:39 +00:00
bruno
59fbdaf37b Alpha/Tests:origination: typos, comments, add verifications 2018-06-26 18:16:39 +00:00
Pierre Chambart
91de539af7 Alpha: Fix indent 2018-06-26 18:54:15 +02:00
Pierre Chambart
03ee2224e8 Alpha: Add label to baker argument of Apply.mark_skipped 2018-06-26 18:28:43 +02:00
Benjamin Canou
3106dee82a Alpha: add explicit Backtracked case in receipts 2018-06-26 18:13:28 +02:00
Benjamin Canou
85b9a58261 Alpha: restore semantics of operation sequence failure 2018-06-26 18:13:28 +02:00
Benjamin Canou
67f95ff156 Alpha: include fees from failed operations in receipts 2018-06-26 18:13:28 +02:00
Benjamin Canou
13fb40a4c9 Alpha: check hard storage limit in precheck 2018-06-26 18:13:28 +02:00
Benjamin Canou
6efb4eb6b4 Alpha: check hard gas limit in precheck 2018-06-26 18:13:28 +02:00
Benjamin Canou
ece5dd2d78 Alpha: fix storage limit check 2018-06-26 18:13:28 +02:00
bruno
1ecc5af454 Alpha/Tests: add some tests for delegation 2018-06-26 12:57:19 +00:00
bruno
1c3d5c4232 Alpha/Test/helpers: add PKH equality functions 2018-06-26 12:57:19 +00:00
bruno
42c7b004ec Alpha/Test/helpers: add call to delegate RPC 2018-06-26 12:57:19 +00:00
bruno
9f30b220e4 Alpha/Tests: typos + useful tez related functions 2018-06-26 12:57:19 +00:00
Vincent Botbol
aa95ee8332 Accuser: add utility functions to forge double_evidence operations 2018-06-26 12:43:34 +02:00
bruno
7d4055b327 Alpha: fix error in comment 2018-06-25 21:41:14 +00:00
bruno
23096a7009 Alpha: add missing errors registrations 2018-06-25 21:41:14 +00:00
bruno
85315c0480 Alpha: export errors 2018-06-25 21:41:14 +00:00
bruno
59cdbd3ef1 Alpha: remove non-used errors 2018-06-25 21:41:14 +00:00
Marco Stronati
5afcdb327f Alpha: comments 2018-06-25 23:26:42 +02:00
Marco Stronati
1e8bb2e103 Alpha: fix receipts for endorsement and double_{baking,endorsement} 2018-06-25 23:26:42 +02:00
Benjamin Canou
1c7d7ce712 Alpha: switch TZ1 to KT1 to limit confusion with tz1 2018-06-25 17:29:42 +02:00
Benjamin Canou
92a3c709a1 Client/RPCs: fix storage cost estimation 2018-06-25 17:25:50 +02:00
Marco Stronati
259c97bc9c Alpha: change encoding of Tez from int64 to Zarith n 2018-06-24 20:11:31 +02:00
Marco Stronati
6f4060011d Alpha: counter, gas_limit and storage_limit encoded with n 2018-06-24 12:03:01 +00:00
Lý Kim Quyên
aa1450d8e6 Alpha: update operation receipt for endorser 2018-06-23 21:33:08 +00:00
Pierre Chambart
04c66869c9 Fixup fix burns 2018-06-23 23:15:20 +02:00
Pierre Chambart
d00cbaf081 Alpha: receipts account for the paid storage space diff and storage space 2018-06-23 23:15:20 +02:00
Pierre Chambart
503e3c5679 Alpha: burn is 257mꜩ not µꜩ 2018-06-23 23:15:20 +02:00
Pierre Chambart
d61dc7abbd Alpha: Fix burns 2018-06-23 23:15:20 +02:00
Pierre Chambart
8ac056218c fix test for expect_failure 2018-06-23 23:13:06 +02:00
Pierre Chambart
c2483da50f Fail correctly in the tests 2018-06-23 23:13:06 +02:00
Pierre Chambart
2ef5b26b1b Fix wrong test directions 2018-06-23 23:13:06 +02:00
Pierre Chambart
7b770c52d5 Initialize Paid and used storage for contracts without code 2018-06-23 23:13:06 +02:00
Pierre Chambart
455012d4e9 Do not burn when there is nothing to burn. 
It would fail when the contract is eliminated
 2018-06-23 23:13:06 +02:00
Pierre Chambart
b3c670ef8f Verify some more tests 2018-06-23 23:13:06 +02:00
Pierre Chambart
e52f01caa6 Start applying 'expect failure' in tests 2018-06-23 23:13:06 +02:00
Pierre Chambart
ad827cf060 Mor euseful tests 2018-06-23 23:13:06 +02:00
Pierre Chambart
dd8e4d85f9 Alpha: Rename Fees into Fees_storage 
It was moved before ALpha_context
 2018-06-23 23:13:06 +02:00
Pierre Chambart
a754672bcf Alpha: Storage burn hapens at the end of manager operations 2018-06-23 23:13:06 +02:00
Benjamin Canou
1e9a6e9941 Alpha: bootstrap accounts and contracts cleanup 2018-06-23 18:14:08 +02:00
Pierre Chambart
dd933b422b Alpha: bootstrap contracts are typechecked 2018-06-23 17:45:48 +02:00
Benjamin Canou
4c4400a073 Alpha: remove a few more try ... with 2018-06-23 00:30:16 +02:00
bruno
105d8e3833 Protocol environment: remove unsafe functions that have a safe(r) equivalent 2018-06-23 00:29:39 +02:00
bruno
e498a15a1a Alpha: replace 'try ... with' 2018-06-22 22:01:48 +00:00
Pierre Chambart
a6807b4d13 Alpha: allow injecting a contract as bootstrap 2018-06-22 23:41:02 +02:00
Benjamin Canou
7de19f9cc0 Alpha,RPCs: run_code makes a dummy origination instead of taking a random contract from the wallet 2018-06-22 23:41:02 +02:00
Benjamin Canou
2b123349dc Michelson: fix error serialization 2018-06-22 18:03:52 +02:00
Benjamin Canou
e77edb7964 Michelson: bytes are now comparable 2018-06-22 14:18:08 +00:00
Benjamin Canou
af7a64123f Michelson: minor error message fix in typechecker 2018-06-22 14:18:08 +00:00
Benjamin Canou
29a33aedd3 Client: refactor data hashing and signing commands 2018-06-22 14:18:08 +00:00
Benjamin Canou
7b5e029537 Michelson: prepend 0x05 to PACKed data 2018-06-22 14:18:08 +00:00
Benjamin Canou
710998caf4 Michelson: add SHA256 and SHA512 2018-06-22 14:18:08 +00:00
Benjamin Canou
b17a44d7eb Michelson: BLAKE2B now takes bytes 2018-06-22 14:18:08 +00:00
Benjamin Canou
197b29b040 Michelson: add PACK and UNPACK 2018-06-22 14:18:08 +00:00
Benjamin Canou
70f4236d91 Michelson: BLAKE2B and CHECK_SIGNATURE now operate on bytes 2018-06-22 14:18:08 +00:00