Commit Graph

Select branches

Hide Pull Requests

GH-204-fate-maps-gc-bug

PT-164629640-add_auth_tx_hash

Run-property-based-tests-as-tests

aens-at-full-node-ver

aens-subdomains

bump_gmserialization

call-fee

fortuna

gas_measurements

lima

master

pt-166866806-claim-with-name-fee

quickcheck-findings

revert-string-compare

uw-mldsa-crypto

zomp

zomp-3.2.1

#118

#119

#120

#121

#122

#123

#124

#125

#126

#127

#128

#129

#130

#131

#132

#133

#134

#135

#136

#137

#138

#139

#140

#141

#142

#143

#144

#145

#146

#147

#148

#149

#150

#151

#152

#153

#154

#155

#156

#157

#158

#159

#160

#161

#162

#163

#164

#165

#166

#167

#168

#169

#170

#171

#172

#173

#174

#175

#176

#177

#178

#179

#180

#181

#182

#183

#184

#185

#186

#187

#188

#189

#190

#191

#192

#193

#194

#195

#196

#197

#198

#199

#200

#201

#203

#204

#205

#206

#207

#208

#209

#210

#211

#212

#213

#214

#215

#216

#217

#218

#219

#220

#221

#222

#223

#224

#225

#226

#227

#228

#229

#230

#231

#232

#233

#234

#235

#237

#238

v1.0.0

v2.0.0

v2.0.1

v3.0.0

v3.1.0

v3.1.1

v3.2.0

v3.3.0

v3.4.0

Mono Color

• 3ff4df42ff Make sure arguments not provided are maskes 2#00. Thomas Arts 2019-06-03 13:43:49 +02:00
• d6fbc73450 Quicker testing with smaller terms Thomas Arts 2019-06-03 13:34:37 +02:00
• 3d6ac9df92 Slightly different property Thomas Arts 2019-06-03 11:08:08 +02:00
• e8390e52d1 Bug fix and little different way of writing logic Thomas Arts 2019-06-03 11:07:00 +02:00
• 58daf1bb5c Add quick check test for order and handle variants. Erik Stenman 2019-05-31 14:42:00 +02:00
• cb8e2b07a4 Use FATE order to sort maps iterator. Erik Stenman 2019-05-31 13:52:07 +02:00
• 46f9d34447 Total order for FATE types. Erik Stenman 2019-05-31 13:17:50 +02:00
• 942c7fb069 Add first draft of total order for FATE terms. Erik Stenman 2019-05-30 12:31:40 +02:00
• 53130fc638 Add FATE_BOOLEAN_VALUE Erik Stenman 2019-05-30 12:31:01 +02:00
• 8bf19dc060 Do not generate maps and variants as keys in fate maps Thomas Arts 2019-05-29 16:10:49 +02:00
• a5bfdf63d5 Define a specific sorting for key-Value pairs Thomas Arts 2019-05-29 15:38:52 +02:00
• 41860b041e We should not deserialize function blocks only containing opcodes, but not a function Thomas Arts 2019-05-29 14:20:20 +02:00
• 25ef7e7fe3 Remove special cases for NIL and empty MAP Thomas Arts 2019-05-29 11:18:41 +02:00
• bcc409f302 serialize and deserialize integers with validity check Thomas Arts 2019-05-29 11:17:13 +02:00
• 42719e7000 Fail on deserializing negative zero Thomas Arts 2019-05-29 08:52:24 +02:00
• 0d6322c0aa Fix property Thomas Arts 2019-05-29 08:31:04 +02:00
• f7a4c40c50 Only decode correctly encoded negative binaries Thomas Arts 2019-05-29 08:21:25 +02:00
• ec0af8046a Safer serialization of opcode arguments Thomas Arts 2019-05-28 19:09:42 +02:00
• 73c80e1168 Extend model to find {stack, N} errors as argument Thomas Arts 2019-05-28 19:09:25 +02:00
• 45ff418699 More dsitintc fault injection Thomas Arts 2019-05-28 18:23:39 +02:00
• 032277ae8b model so far Thomas Arts 2019-05-28 13:44:45 +02:00
• 0bb4ac0fea Rough model to fuzz test aeb_fate_code Thomas Arts 2019-05-27 13:30:38 +02:00
• 4a90e3b2b4 Add two more opcodes Thomas Arts 2019-05-28 12:23:21 +02:00
• 8b7fefc8a9 Extend tests to encoded opcodes Thomas Arts 2019-05-27 15:43:41 +02:00
• 6f59ef7a7c Fuzz test aeb_fate_encoding Thomas Arts 2019-05-28 18:07:50 +02:00
• 302c1c211d Erik's fix to LONG strings Thomas Arts 2019-05-28 18:09:22 +02:00
• 74791cfe52 typo Thomas Arts 2019-05-28 18:10:11 +02:00
• 453f68fa39 Serialize only code blocks that have operators in right order Thomas Arts 2019-05-28 18:09:05 +02:00
• aa9d2bf893 Do not allow empty code blocks Thomas Arts 2019-05-27 15:24:11 +02:00
• 23b98f7d65 Add unit test to trigger eqc property Thomas Arts 2019-05-27 14:20:20 +02:00
• 5d7bd73bcb Serialization of functions only succeeds for 4 byte iudentifiers Thomas Arts 2019-05-27 14:42:43 +02:00
• 34b9684b6b Deserialize code without functions Thomas Arts 2019-05-27 14:17:51 +02:00
• ccbb0ed6c7 Make code easier to test Thomas Arts 2019-05-27 14:11:52 +02:00
• f1298870e5 Merge pull request #47 from aeternity/add-target-register-to-tuple Ulf Norell 2019-05-28 14:17:16 +02:00
• 9cfd369c5d Update tests #164 Ulf Norell 2019-05-28 12:54:10 +02:00
• f115feb16d Print state variables as storeN instead of var-N Ulf Norell 2019-05-28 11:53:13 +02:00
• 241a96ebaa Change the correct function name to not shadow builting guard (#46) Tobias Lindahl 2019-05-28 11:32:52 +02:00
• 880cf573aa Add a target register to TUPLE instruction Ulf Norell 2019-05-28 11:24:38 +02:00
• 89f5ebc84b Add missing basic instructions (#45) Tobias Lindahl 2019-05-28 11:15:04 +02:00
• e98298cce4 Add accepted types to operator declarations. Check opcode numbering. (#43) Erik Stenman 2019-05-24 13:21:49 +02:00
• 0d1899b32a Pt 165352420 dissallow stack n (#42) Erik Stenman 2019-05-23 13:40:49 +02:00
• 3e0e289f2f Get rid of redundant arity field from op defs. Reorder and renumber ops. Fix bb_end for abort and exit. (#41) Erik Stenman 2019-05-23 13:37:32 +02:00
• 11a8997ac7 Pt 166148534 refactor fate code (#40) Tobias Lindahl 2019-05-23 08:15:18 +02:00
• 2f4e1888c2 Merge pull request #38 from aeternity/PT-165857097-add-gas-and-value-to-calls Tobias Lindahl 2019-05-09 14:18:15 +02:00
• a9389e4e69 Add the CALL_VALUE instruction #155 Tobias Lindahl 2019-05-08 15:35:59 +02:00
• 2d3cede235 Add value to remote calls and the new ops CALL_GR and CALL_GTR Tobias Lindahl 2019-05-07 18:26:04 +02:00
• 08a09b065b Merge pull request #39 from aeternity/PT-165440601-165713319-sophia_addons Hans Svensson 2019-05-09 09:51:40 +02:00
• 5fd076f043 Add CREATOR opcode and address check primops #156 Hans Svensson 2019-05-09 09:35:48 +02:00
• 2555868990 Merge pull request #37 from aeternity/fate-compiler Ulf Norell 2019-05-07 13:04:53 +02:00
• 7eafbc22ae Merge pull request #36 from aeternity/PT-165760129-fix-object-parsing Tobias Lindahl 2019-05-07 12:40:20 +02:00
• 3ed0fcbe05 Add test for parsing immediate objects #153 Tobias Lindahl 2019-05-07 11:28:54 +02:00
• b6019eb81b Fix object parsing Tobias Lindahl 2019-05-07 11:16:05 +02:00
• 6eab9a32c9 Bump aeserialization dependency #154 Ulf Norell 2019-05-07 10:11:20 +02:00
• 91fc56c322 Change local calls to allow dynamic function name Ulf Norell 2019-05-06 10:24:54 +02:00
• 1887486d36 Replace STR_EQ by APPEND Ulf Norell 2019-04-30 11:48:11 +02:00
• bf6741eac4 Format of li should be {immediate, [integer()]} Ulf Norell 2019-04-29 13:37:00 +02:00
• 491489ca7d Change ~w to ~p Ulf Norell 2019-04-29 09:53:51 +02:00
• 91c4ab5bea Merge pull request #35 from aeternity/PT-property-based-tests Thomas Arts 2019-05-06 14:51:04 +02:00
• 163e805f55 Enable running properties as Eunit tests #152 #151 Run-property-based-tests-as-tests Thomas Arts 2019-04-11 13:39:42 +02:00
• d69375e72b Fix types Thomas Arts 2019-05-02 13:07:14 +02:00
• 2b3603e86f Merge pull request #33 from aeternity/PT-165760129-FATE-blockhash Tobias Lindahl 2019-05-02 12:28:58 +02:00
• 31d188ce81 Update test of BLOCKHASH to correct arity #150 Tobias Lindahl 2019-05-02 10:52:07 +02:00
• dfca41c98d Correct arity for BLOCKHASH Tobias Lindahl 2019-05-02 10:33:26 +02:00
• 1526ad3bf0 Merge pull request #32 from aeternity/remove_bytes_from_aevm Hans Svensson 2019-04-23 17:43:41 +02:00
• 4e325ff203 Revert bytes(N) from ABI encode it in word/tuple #149 Hans Svensson 2019-04-23 16:21:11 +02:00
• e8253b0970 Merge pull request #31 from aeternity/PT-164629541-generic_hash_and_signature Hans Svensson 2019-04-23 10:34:23 +02:00
• 230e2187ce Add bytes(int) as type + ecverify_secp256k1 #148 Hans Svensson 2019-04-12 14:10:56 +02:00
• a6a2686d53 Fixing edoc build the easy way. Real documentation in Readme.md. (#30) Erik Stenman 2019-04-15 12:18:16 +02:00
• 56cf62b487 Add setelement instruction. (#29) Erik Stenman 2019-04-12 15:47:16 +02:00
• 15628c9a05 Merge pull request #28 from aeternity/PT-165079561-fate-chain-api Tobias Lindahl 2019-04-12 11:43:13 +02:00
• 431b311ae5 Differ between BALANCE for the current contract and BALANCE_OTHER for a remote address #145 Tobias Lindahl 2019-04-12 11:04:56 +02:00
• 28f6c42647 Merge pull request #27 from aeternity/PT-165246396-prepare-remove-dependency Thomas Arts 2019-04-11 08:56:47 +02:00
• 734c8e8e40 ignore generated aefate file #144 Thomas Arts 2019-04-10 15:44:53 +02:00
• 436ba457e9 Robuster way to create binaries from strings Thomas Arts 2019-04-10 15:43:50 +02:00
• 0261b76314 tuple_to_list is now replaced by a constructor and the "convenience" functions will be moved to apps/aefate tests were they are needed Thomas Arts 2019-04-10 15:43:25 +02:00
• e1e2236a26 If we have destructors for maps, lists, etc, we need one for tuples as well Thomas Arts 2019-04-10 15:42:33 +02:00
• 04d64dfe9b Extend QuickCheck model to use the make_BLA functions to create the fate data Thomas Arts 2019-04-10 15:41:59 +02:00
• afcc6fd31a Merge pull request #26 from aeternity/PT-165180296-fix-fate-scanner Thomas Arts 2019-04-10 10:49:33 +02:00
• 6466ddb866 Bump version #143 Thomas Arts 2019-04-09 14:02:21 +02:00
• 75f3eeffa7 Add quickcheck properties Thomas Arts 2019-04-09 10:32:08 +02:00
• a670d1ca6c Remove the quotes from scanned string Thomas Arts 2019-04-09 09:05:26 +02:00
• 96c0fab3ab Remove fate_type_type is not a fate_type Thomas Arts 2019-04-09 08:29:55 +02:00
• 90659342c0 Quote the string Thomas Arts 2019-04-08 16:29:55 +02:00
• f88fe008bf Add fate_bits as type Thomas Arts 2019-04-08 16:29:45 +02:00
• f5f007e74d Since the binaries are likely to be strings, unicode conversion makes more sense. Thomas Arts 2019-04-08 16:29:31 +02:00
• 0c01215b6a fix arities formatting Thomas Arts 2019-04-08 14:49:17 +02:00
• fa64bbb56c Don't forget z Thomas Arts 2019-04-08 13:41:23 +02:00
• fe7e3a638a Fix scan error Thomas Arts 2019-04-08 12:29:18 +02:00
• d2c70509dd ignore more Thomas Arts 2019-04-08 11:52:43 +02:00
• 15ee836ddb Explanatory comment Thomas Arts 2019-04-08 11:50:12 +02:00
• 68e6a2163e fate_type_type should be {variant, List} without explicitly storing the size Thomas Arts 2019-04-08 11:50:01 +02:00
• 9041423906 Merge pull request #25 from aeternity/generalized_accounts Hans Svensson 2019-04-08 11:30:09 +02:00
• 913abb6c7b Add AUTH primops + primop range #142 Hans Svensson 2019-03-26 13:09:28 +01:00
• 2d599df0ea Merge pull request #24 from aeternity/PT-164597852-move-aesophia-heap Robert Virding 2019-04-02 10:06:55 +02:00
• 54aace97af Remove local blake2 module #141 Robert Virding 2019-04-01 16:51:35 +02:00
• 7e7f061b34 Move TYPEREP defs to aebytecode Robert Virding 2019-03-30 23:04:11 +01:00
• 333bf53537 Change function references from aeso_sophia to aeb_aevm_data Robert Virding 2019-03-27 18:28:34 +01:00
• 0528ee1229 Fix (some) references to aeso_ types Robert Virding 2019-03-20 23:34:23 +01:00
• 8425eb80c5 Remove old_create_calldata function Robert Virding 2019-03-20 23:31:32 +01:00
• c00c4a5ac3 First commit of moved functions Robert Virding 2019-03-20 17:20:48 +01:00