QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Commit Graph

  • 3ceeee22fa Don't forget to solve constraints Ulf Norell 2019-09-09 12:33:47 +02:00
  • e2ab41eeb2 Add Bytes.concat and Bytes.split to type checker Ulf Norell 2019-09-09 12:23:13 +02:00
  • 0f612ead90 Sort errors by position Ulf Norell 2019-09-09 12:22:40 +02:00
  • 9eeb9ab11d Don't freshen types in list comprehension generators Ulf Norell 2019-09-09 10:32:21 +02:00
  • 244ef6a6e2 Add a constraint field to type_sig Ulf Norell 2019-09-09 10:18:45 +02:00
  • 6551690dff Merge pull request #146 from aeternity/aevm-hash-on-bytes Ulf Norell 2019-09-09 10:58:20 +02:00
  • efe6f0ed06 [AEVM] Compile Crypto.(hash_fun) to String.(hash_fun) for byte arrays #637 Ulf Norell 2019-09-06 16:01:21 +02:00
  • 263c297090 Upgrade aebytecode after eqc fix. (#145) Erik Stenman 2019-09-06 15:20:01 +02:00
  • d03cc50e03 Pt 168336524 renumber ops set base gas (#144) Erik Stenman 2019-09-06 14:33:57 +02:00
  • 76a789bd9e Merge pull request #143 from aeternity/minor-error-printing Ulf Norell 2019-09-06 12:10:33 +02:00
  • 17f8cbb4d3 Merge pull request #141 from radrow/icode-char Hans Svensson 2019-09-06 11:08:17 +02:00
  • 46d244bfb4 aebytecode commit #634 Ulf Norell 2019-09-06 09:53:04 +02:00
  • 9dac134477 Print the error kind in error messages Ulf Norell 2019-09-06 09:44:41 +02:00
  • 56b77f55fe Add json conversion of error messages Ulf Norell 2019-09-06 09:37:02 +02:00
  • 23534640c1 Merge pull request #142 from aeternity/more_structured_errors Hans Svensson 2019-09-06 08:47:38 +02:00
  • f07d1904ba Less redundant error message #633 Hans Svensson 2019-09-05 15:28:03 +02:00
  • 47b3b9bcca Correct error type + new aebytecode Hans Svensson 2019-09-05 15:14:17 +02:00
  • 5a1acd9d18 Make aeso_compiler errors structured as well Hans Svensson 2019-09-05 14:20:40 +02:00
  • 92d1e10d0e Added chars in AEVM #632 radrow 2019-09-05 13:36:21 +02:00
  • 37a37a169d File not found error Hans Svensson 2019-09-05 11:16:31 +02:00
  • ecfa04ba17 Merge pull request #140 from aeternity/PT-168026292-structured_error_messages Ulf Norell 2019-09-05 09:03:19 +02:00
  • 97d58fcacd Nicer error for missing event type #631 Ulf Norell 2019-09-04 11:03:33 +02:00
  • d8adfce465 Tests for unapplied builtins Ulf Norell 2019-09-04 10:45:43 +02:00
  • b9d141e035 Fix issue with AEVM eta expansion Ulf Norell 2019-09-04 10:45:22 +02:00
  • c37cc93abe Don't try to eta expand builtins with named arguments in AEVM Ulf Norell 2019-09-04 10:21:23 +02:00
  • 157ffbf9e2 Fix bug with unapplied builtins taking typerep arguments Ulf Norell 2019-09-04 10:07:43 +02:00
  • 602e99512f Fail gracefully on higher-order state in AEVM and accept it in FATE Ulf Norell 2019-09-03 17:24:40 +02:00
  • 325d69e96d Fail gracefully on bad top-level declaration Ulf Norell 2019-09-03 17:24:06 +02:00
  • 412b0b8b6d Improve some parse errors Ulf Norell 2019-09-03 16:51:04 +02:00
  • 61faa3e2dd Fix missing file name from type errors Ulf Norell 2019-09-03 15:00:56 +02:00
  • 69a4c1365b Test case for calling init function from inside the contract Ulf Norell 2019-09-03 14:47:13 +02:00
  • 0b56691533 Tell dialyzer to bugger off Ulf Norell 2019-09-03 14:30:56 +02:00
  • 30de1db163 More code errors Ulf Norell 2019-09-03 14:11:42 +02:00
  • adfa325f48 Don't use _main for the AEVM top entrypoint Ulf Norell 2019-09-03 14:11:30 +02:00
  • 0533ab27e1 Check that there are no maps in map keys already in type checker Ulf Norell 2019-09-03 12:04:22 +02:00
  • 510935d945 Framework and tests for code generation (icode/fcode) errors Ulf Norell 2019-09-03 10:21:37 +02:00
  • f2469a676d Refactor builtin compilation in icode Ulf Norell 2019-09-03 10:20:26 +02:00
  • db7bf7a730 Set error msg position to last occurrence of duplicate definition Ulf Norell 2019-09-03 10:18:22 +02:00
  • e37ac44726 Ensure that init is not payable Ulf Norell 2019-09-03 10:17:10 +02:00
  • 249b61238e Structured parse_errors and type_errors Hans Svensson 2019-09-02 11:14:57 +02:00
  • 9e955d5958 Remove unused aeso_constants Hans Svensson 2019-08-30 13:17:47 +02:00
  • f8cd3b87f3 Merge pull request #139 from aeternity/no-call-init Hans Svensson 2019-09-03 13:17:06 +02:00
  • f0c728ef1e set aebytecode commit #630 Hans Svensson 2019-09-03 12:22:26 +02:00
  • 470970d937 Disallow calling init from inside the contract Ulf Norell 2019-09-03 09:47:19 +02:00
  • 58ab771dff Make init do the state updates in FATE (instead of a new INIT function) Ulf Norell 2019-09-03 09:01:11 +02:00
  • d14a0025f2 Merge branch 'master' into radrow-patch-2 #622 radrow-patch-2 Radosław Rowicki 2019-09-02 12:09:53 +02:00
  • fe0c22851f Update CHANGELOG.md Radosław Rowicki 2019-09-02 12:08:01 +02:00
  • a50730155f Merge pull request #138 from aeternity/aens-at-full-node-ver-ta Thomas Arts 2019-09-02 11:07:59 +02:00
  • e9f717a17b Update src/aeso_ast_to_icode.erl #629 Thomas Arts 2019-09-02 10:21:35 +02:00
  • 97ff1aac23 Merge pull request #136 from radrow/stdlib-extensions Ulf Norell 2019-09-02 09:56:56 +02:00
  • 1ee5a57924 change aebytecode version, aeserialization and add enacl sennui 2019-08-14 15:22:30 +02:00
  • cf91a27fb2 Keep sign last Thomas Arts 2019-08-28 10:59:47 +02:00
  • 83d06977f9 add extra argument to claim for bidding sennui 2019-08-12 18:31:42 +02:00
  • 41e59506ba Merge pull request #137 from aeternity/polymorpism-checks Ulf Norell 2019-08-30 15:48:34 +02:00
  • 062309e578 Type variables mentioned in local functions should not be flexible #628 Ulf Norell 2019-08-30 14:22:31 +02:00
  • de20469609 Added subname TX aens-subdomains skkw 2019-08-28 13:00:20 +02:00
  • 6408969cd3 Remove from_to_ #627 Radosław Rowicki 2019-08-30 14:06:46 +02:00
  • 71a556ce81 nth update Radosław Rowicki 2019-08-30 13:46:02 +02:00
  • 256aadd575 [......] Radosław Rowicki 2019-08-30 13:44:26 +02:00
  • f27ba528d8 aebytecode commit Ulf Norell 2019-08-30 11:21:26 +02:00
  • 6fd39d4cb1 Add checks for polymorphic/higher order oracles and higher order entrypoints (AEVM) Ulf Norell 2019-08-30 11:13:13 +02:00
  • 1ce95b32ac Add checks for polymorphic/higher order oracles and higher order entrypoints (FATE) Ulf Norell 2019-08-30 10:21:36 +02:00
  • 076d635dbe Fix errors radrow 2019-08-29 15:32:10 +02:00
  • 6d87960147 Merge pull request #135 from aeternity/radrow-patch-3 Radosław Rowicki 2019-08-29 15:25:22 +02:00
  • 1d962f2001 Updated some functions, renamed, added from_to radrow 2019-08-29 13:41:04 +02:00
  • cce243e513 Remove find_all from stdlib #626 Radosław Rowicki 2019-08-28 14:17:30 +02:00
  • 60528e9128 Merge pull request #134 from aeternity/unit-to-typerep Ulf Norell 2019-08-28 10:19:10 +02:00
  • 80075a9d36 Add missing case for builtin unit type #625 Ulf Norell 2019-08-28 09:45:25 +02:00
  • d26fcace41 Merge pull request #133 from aeternity/stdlib-overhaul Ulf Norell 2019-08-28 08:38:40 +02:00
  • c51531f620 please dialyzer #624 Ulf Norell 2019-08-27 18:04:32 +02:00
  • 3b2daf8cd6 Better errors when using old tuple type syntax Ulf Norell 2019-08-27 15:08:56 +02:00
  • 3ff93c5c89 Fix bug in include chasing Ulf Norell 2019-08-27 14:29:24 +02:00
  • 850221aaf3 Remove no_implicit_stdlib option Ulf Norell 2019-08-27 14:05:22 +02:00
  • 3f1c23ace3 Use .. in list comprehension test Ulf Norell 2019-08-27 14:00:23 +02:00
  • 0efbcf302c Fix roundtrip test to ignore ListInternal Ulf Norell 2019-08-27 14:00:02 +02:00
  • 7705138ab2 auto-import ListInternal when using list comprehensions or [a..b] Ulf Norell 2019-08-27 13:59:36 +02:00
  • 5f733e01dd Implement [a..b] Ulf Norell 2019-08-27 13:56:39 +02:00
  • 79a928e530 Fix bad type specs Ulf Norell 2019-08-27 13:56:02 +02:00
  • d23208c191 Fix bugs in dependency analysis Ulf Norell 2019-08-27 13:55:45 +02:00
  • e7d3a5b9f2 Put flat_map in ListInternal.aes Ulf Norell 2019-08-27 11:33:43 +02:00
  • 02af75aa34 Move stdlib code to priv dir and don't do any implicit includes Ulf Norell 2019-08-27 10:52:38 +02:00
  • 9eed18f812 Merge pull request #132 from aeternity/fate-compiler-optimizations Ulf Norell 2019-08-26 08:25:40 +02:00
  • 07cf162703 Fix performance problem in FATE optimiser caused by debug printing #623 Ulf Norell 2019-08-23 10:07:43 +02:00
  • d4c6187739 Merge pull request #130 from aeternity/PT-168026424-prepare_sophia_4_0_RC1 v4.0.0-rc1 Hans Svensson 2019-08-22 16:02:06 +02:00
  • 2620aa64b4 Add some no_implicit_stdlib for now #621 Hans Svensson 2019-08-22 15:21:41 +02:00
  • 20064b72fa Compile tail-calls to current function to jumps Ulf Norell 2019-08-22 14:50:15 +02:00
  • a942561907 Improved optimizations of FATE code Ulf Norell 2019-08-22 14:49:48 +02:00
  • a9617a025f Merge pull request #129 from aeternity/deadcode-elim Ulf Norell 2019-08-22 14:25:31 +02:00
  • 1fbfe418c7 Update CHANGELOG.md Radosław Rowicki 2019-08-22 14:23:15 +02:00
  • bde76c8580 Preparing 4.0.0-rc1 Hans Svensson 2019-08-22 13:30:00 +02:00
  • e94b5379ed Deadcode elimination pass #620 Ulf Norell 2019-08-21 11:41:47 +02:00
  • cbc8909954 Add default init function in fcode pass instead of in assembler Ulf Norell 2019-08-21 11:41:19 +02:00
  • cfd036b199 Test deadcode elimination for FATE backend Ulf Norell 2019-07-09 09:30:01 +02:00
  • bbf043f4ee Merge pull request #126 from radrow/listcompfixes Ulf Norell 2019-08-21 11:51:16 +02:00
  • ba41ab457d Merge pull request #127 from aeternity/radrow-patch-1 Ulf Norell 2019-08-21 11:51:04 +02:00
  • 49634a6024 Merge pull request #128 from aeternity/PT-167996886-a_proper_ecverify Hans Svensson 2019-08-21 11:19:48 +02:00
  • 2dbef80249 aebytecode commit #619 Hans Svensson 2019-08-21 09:29:51 +02:00
  • ebdd38c505 Change ecverify into verify_sig and then add an actual ecverify Hans Svensson 2019-08-21 09:29:40 +02:00
  • 5dbca47d34 Fixed intersperse in stdlib #618 Radosław Rowicki 2019-08-20 20:16:52 +02:00
  • 79d491e4a8 Fixed comprehension dependencies #617 radrow 2019-08-20 18:44:47 +02:00