QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Commit Graph

  • c97eb99921
         Fixed double parens in ACI pp #600 Radosław Rowicki 2019-07-29 11:01:38 +02:00
  • 6992e24a7b
         Fixed int printing #602 Radosław Rowicki 2019-07-27 23:38:50 +02:00
  • 67ee5a1d70 Fixed pretty printing and pattern split radrow 2019-07-27 23:04:13 +02:00
  • 4c78ab3aee
         Covered qid case in ast_typerep #601 Radosław Rowicki 2019-07-26 15:31:06 +02:00
  • 5ff983b0b3 Updated tests radrow 2019-07-22 13:56:45 +02:00
  • 4bf382a997
         Merge pull request #107 from radrow/master Hans Svensson 2019-07-20 21:05:40 +02:00
  • 4c72045a86 Changed tuple type parsing rule radrow 2019-07-20 19:00:53 +02:00
  • 7daf218b2a Changed 'require' function return type to Unit #598 radrow 2019-07-19 18:10:54 +02:00
  • 973850e6a6 Fix pat split radrow 2019-07-10 11:09:40 +02:00
  • 9d2b3b28fe Fix pat split #597 radrow 2019-07-10 11:09:40 +02:00
  • 19948c6aad
         Merge pull request #104 from aeternity/PT-166868668-decode-fate-revert Tobias Lindahl 2019-07-09 16:52:35 +02:00
  • c4660fe0cf Properly decode revert strings for fate as well #595 Tobias Lindahl 2019-07-09 16:24:56 +02:00
  • e326908623
         Merge pull request #103 from aeternity/PT-166868668-fate-abort Tobias Lindahl 2019-07-09 15:47:46 +02:00
  • 9be528a579 Use EXIT for internal errors to burn all gas #594 Tobias Lindahl 2019-07-09 14:36:09 +02:00
  • f67d7354a2
         Merge pull request #102 from aeternity/PT-166927306-names-as-strings Tobias Lindahl 2019-07-01 10:55:38 +02:00
  • 6f873e45b8 Use a name string rather than a name hash in transfer and revoke #593 Tobias Lindahl 2019-06-28 11:04:06 +02:00
  • 8c3b675b0d
         Merge pull request #101 from aeternity/release-3.2 v3.2.0 Hans Svensson 2019-06-28 12:24:44 +02:00
  • 41011d15cc Prepare 3.2.0 #592 Hans Svensson 2019-06-28 11:43:00 +02:00
  • 9e0f84ec67 Update changelog Ulf Norell 2019-06-27 10:03:49 +02:00
  • 8b4f471d42
         Merge pull request #100 from aeternity/private-function-revamp Ulf Norell 2019-06-28 10:55:10 +02:00
  • dc5fd74934 Fix include path not being added if giving explicit options #591 Ulf Norell 2019-06-28 09:33:08 +02:00
  • 6a59e455ce Update tests for entrypoints Ulf Norell 2019-06-27 14:16:33 +02:00
  • 85408a12a2 Update ACI to new entrypoint declarations Ulf Norell 2019-06-27 14:16:09 +02:00
  • 79137e058e Revamp private/public functions Ulf Norell 2019-06-27 12:10:25 +02:00
  • dd5fc17554
         Merge pull request #99 from aeternity/PT-166897066-run_http_contracts_on_fate Hans Svensson 2019-06-28 07:49:04 +02:00
  • a617a6469d Change Chain.block_hash to return option(hash) #590 Hans Svensson 2019-06-27 14:19:39 +02:00
  • 502a4e6464 Fix to_sophia_value for FATE backend Hans Svensson 2019-06-27 10:42:31 +02:00
  • c647a2cd34
         Merge pull request #98 from aeternity/namespace-fix Hans Svensson 2019-06-27 09:34:48 +02:00
  • 292d1aa65b Fix namespace bug #589 Ulf Norell 2019-06-27 09:15:11 +02:00
  • 259bae1720 Test case for another name space bug Ulf Norell 2019-06-27 09:13:10 +02:00
  • a47fa59f5b
         Merge pull request #97 from aeternity/PT-166899532-static_hashing_for_events Hans Svensson 2019-06-26 14:22:43 +02:00
  • 2bf5e59e2b Pre-compute and switch to Blake2b for event name hash #588 Hans Svensson 2019-06-26 13:30:45 +02:00
  • 02ba4b265b
         Merge pull request #96 from aeternity/PT-166233700-fate-nameservice Tobias Lindahl 2019-06-26 13:33:47 +02:00
  • c26ace6c2c Implement aens instructions for fate #587 Tobias Lindahl 2019-06-26 13:24:48 +02:00
  • cfb1605a76
         Merge pull request #95 from aeternity/PT-166233670-fate-events Hans Svensson 2019-06-26 08:48:44 +02:00
  • 20085301ef aebytecode commit #586 Ulf Norell 2019-06-25 11:41:05 +02:00
  • 3c8d9561a0 More thorough test for different event types Ulf Norell 2019-06-25 16:27:16 +02:00
  • 523d6b03a9 Allow bytes(N) as indices if N =< 32 and payload if N > 32 Ulf Norell 2019-06-25 16:26:50 +02:00
  • 961f557215 Events now compile to FATE Ulf Norell 2019-06-25 15:01:42 +02:00
  • 0cf6a52b26 Compile events to FATE Ulf Norell 2019-06-25 14:54:01 +02:00
  • a3efaf71a7 Compile oracle check functions in FATE backend Ulf Norell 2019-06-25 11:05:29 +02:00
  • c7a8a4af22
         Merge pull request #94 from aeternity/bytes-to-x Ulf Norell 2019-06-24 14:56:20 +02:00
  • 0ef7c59771 Fix issues discovered by dialyzer #585 Ulf Norell 2019-06-24 14:29:20 +02:00
  • 894ae19435 aebytecode commit Ulf Norell 2019-06-24 11:44:46 +02:00
  • cee8a4ecf3 Compile bytes_to_X in AEVM backend Ulf Norell 2019-06-24 11:44:39 +02:00
  • bde5a3c071 Compile bytes_to_X in FATE backend Ulf Norell 2019-06-24 11:44:23 +02:00
  • 6612c29758 Type check Bytes.to_X builtins Ulf Norell 2019-06-24 11:44:07 +02:00
  • 2e0c44862c
         Merge pull request #93 from aeternity/PT-166788837-bytes Ulf Norell 2019-06-24 07:18:33 +02:00
  • 7fa98892a8 Fix compiler crash on missing let body #584 Ulf Norell 2019-06-21 14:16:26 +02:00
  • d38367e023 Fix bug in type checker Ulf Norell 2019-06-20 16:01:46 +02:00
  • 592869bf75 aebytecode commit Ulf Norell 2019-06-20 14:36:15 +02:00
  • 4f9d4e5c07 Update compiler for bytes Ulf Norell 2019-06-20 12:11:43 +02:00
  • 20aeade545
         Merge pull request #91 from aeternity/PT-166696064-add-calldata-decode Thomas Arts 2019-06-20 14:26:44 +02:00
  • c745827c53
         Update src/aeso_vm_decode.erl #582 Thomas Arts 2019-06-20 14:19:39 +02:00
  • 389e931674 Unit type instead of bool Thomas Arts 2019-06-19 13:35:08 +02:00
  • d571993405 Fix type spec Thomas Arts 2019-06-19 12:38:55 +02:00
  • ff11943576 Add test contract Thomas Arts 2019-06-19 12:27:05 +02:00
  • 66528c8a6a Move translate_vm to aeso_vm_decode Thomas Arts 2019-06-18 13:50:28 +02:00
  • 46c746da1c Refactor string_to_code Thomas Arts 2019-06-18 13:47:35 +02:00
  • d3ce5010d0 Update tests Thomas Arts 2019-06-18 13:46:27 +02:00
  • 1c346af85e whitespaces Thomas Arts 2019-06-17 13:43:29 +02:00
  • 69fa03ca9f
         Merge pull request #92 from aeternity/PT-166786424-check-oracle-types Tobias Lindahl 2019-06-20 10:31:04 +02:00
  • 03c6ae1c74 Add type information to oracle instructions #583 Tobias Lindahl 2019-06-20 09:23:09 +02:00
  • 990df562e0
         Handle oracle operation in FATE (#90) Tobias Lindahl 2019-06-18 14:32:08 +02:00
  • 70e0e465f2 Address review comment #581 Tobias Lindahl 2019-06-18 14:24:08 +02:00
  • 301e6ff501 Handle oracle operation in FATE Tobias Lindahl 2019-06-10 12:47:06 +02:00
  • fc82b1646c
         Merge pull request #89 from aeternity/PT-164629640-auth_tx_hash_for_fatge Hans Svensson 2019-06-18 08:51:13 +02:00
  • 81f277127d Handle signature, hash and map in create_calldata for FATE #580 Hans Svensson 2019-06-14 16:08:59 +02:00
  • 11dc632927 Add handling of auth_tx_hash Hans Svensson 2019-06-11 13:40:11 +02:00
  • e81439779c
         Merge pull request #87 from aeternity/PT-166636909-avoid-calldata-collision Thomas Arts 2019-06-14 13:09:25 +02:00
  • e5c64a5fad Add lit_to_fate and fix cons translation #578 Thomas Arts 2019-06-14 11:50:29 +02:00
  • a34558412d Arguments are in the body of the call, use term_to_fate before serializing them Thomas Arts 2019-06-13 12:20:41 +02:00
  • 95c41b8eee Avoid hash collisions in calldata creation Thomas Arts 2019-06-12 16:35:19 +02:00
  • 3a6337d8ca Testing that fate calldata is immune to existing __call in contract Thomas Arts 2019-06-12 16:33:26 +02:00
  • 5a7d352b11
         Merge pull request #84 from aeternity/PT-166546345-upgrade-rebar3 Luca Favatella 2019-06-14 11:18:46 +01:00
  • 9eab558642
         Merge pull request #88 from aeternity/PT-166694614-require Ulf Norell 2019-06-14 11:09:03 +02:00
  • 17a1fd8095 Add require builtin #579 Ulf Norell 2019-06-14 10:27:07 +02:00
  • 5628cf90b8
         Merge pull request #86 from aeternity/PT-166602172-create-calldata-fate Thomas Arts 2019-06-11 15:46:30 +02:00
  • 46963a8326 Update aeso_compiler #577 Thomas Arts 2019-06-11 15:22:11 +02:00
  • 5513c4de1b New version of aebytecode Thomas Arts 2019-06-11 15:19:13 +02:00
  • ab6d7fbf56
         Merge pull request #85 from aeternity/fate-crypto-ops Hans Svensson 2019-06-11 12:08:10 +02:00
  • a14fa93920 Add contract_to_address to FATE #576 Hans Svensson 2019-06-11 09:21:44 +02:00
  • c411f11fd0 Upgrade rebar3 to latest stable one #575 Luca Favatella 2019-06-11 09:30:00 +01:00
  • 3e2281a834 Make fate-backend also return a Map Hans Svensson 2019-06-10 15:13:34 +02:00
  • 7b5db76c13 aebytecode commit Ulf Norell 2019-06-05 18:20:20 +02:00
  • 95f1262b21 Missing compiler cases for crypto ops Ulf Norell 2019-06-05 18:19:53 +02:00
  • 2bbb16654f Compile crypto ops Ulf Norell 2019-06-05 14:16:33 +02:00
  • 093a5ff766
         Merge pull request #83 from aeternity/PT-166407568-polymoprhic-functions Ulf Norell 2019-06-05 12:58:04 +02:00
  • 66c392e8af Make dialyzer bugger off #574 Ulf Norell 2019-06-05 12:16:19 +02:00
  • a64b72d04b aebytecode commit Ulf Norell 2019-06-05 11:15:16 +02:00
  • 6236b33115 Crash with a nicer error on r.address Ulf Norell 2019-06-05 11:54:47 +02:00
  • 3b352d8093 Generate type variables for polymorphic functions Ulf Norell 2019-06-03 13:40:42 +02:00
  • ed3ed6ded6 Check (de)serialize roundtrip in fate compiler tests Ulf Norell 2019-06-03 12:06:26 +02:00
  • a60d04d794 Fix minor code generation issues Ulf Norell 2019-06-03 11:02:37 +02:00
  • 10d9c62d53 Skeleton for inliner Ulf Norell 2019-06-03 10:40:08 +02:00
  • e3950f6c1d
         Merge pull request #82 from aeternity/fix-map-update-and-delete-for-fate Tobias Lindahl 2019-06-03 13:26:27 +02:00
  • 344ec74eaa Fix arg order for map_delete and renaming of vars for map_update #573 Tobias Lindahl 2019-06-03 13:20:03 +02:00
  • 4b0a3e53d6
         Merge pull request #81 from aeternity/PT-166406414-v3.1.0 v3.1.0 Hans Svensson 2019-06-03 11:14:20 +02:00
  • 07c445082a Prepare v3.1.0 #572 Hans Svensson 2019-06-03 10:57:00 +02:00
  • 4f612650e3
         Merge pull request #80 from aeternity/fix-basic-block-bug Ulf Norell 2019-06-03 10:35:18 +02:00