QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity
536 Commits 33 Branches 29 Tags
Commit Graph

536 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Hans Svensson
49634a6024
Merge pull request #128 from aeternity/PT-167996886-a_proper_ecverify 
PT-167996886 A proper ecverify
 2019-08-21 11:19:48 +02:00
Hans Svensson
2dbef80249 aebytecode commit 2019-08-21 11:09:44 +02:00
Hans Svensson
ebdd38c505 Change ecverify into verify_sig and then add an actual ecverify 2019-08-21 09:29:40 +02:00
Radosław Rowicki
5dbca47d34
Fixed intersperse in stdlib 2019-08-20 20:16:52 +02:00
radrow
79d491e4a8 Fixed comprehension dependencies 2019-08-20 18:44:47 +02:00
Hans Svensson
73b9a54172
Merge pull request #125 from aeternity/PT-162578406-payable_modifier 
PT-162578406 Add payable modifier
 2019-08-19 16:27:18 +02:00
Hans Svensson
bb0c3b54df ACI should also track payable 2019-08-19 08:57:31 +02:00
Hans Svensson
d0485304b6 Please dialyzer 2019-08-19 08:57:31 +02:00
Hans Svensson
86aeaa40ef Set aebytecode commit 2019-08-19 08:57:31 +02:00
Hans Svensson
e9505e240f Add Address.is_payable(address) 2019-08-19 08:57:31 +02:00
Hans Svensson
f27d37d624 Add payable modifier for contracts and entrypoints 2019-08-19 08:57:31 +02:00
Ulf Norell
e566186800
Merge pull request #123 from aeternity/PT-167221635-remote-type-check 
PT-167221635 remote type check
 2019-08-16 09:22:30 +02:00
Ulf Norell
956b78fb01 aebytecode commit 2019-08-16 09:14:51 +02:00
Ulf Norell
522d977be9 Remote calls now take typerep arguments 2019-08-16 09:12:04 +02:00
Tino Breddin
dd26649f7d [PT-167805291] Add opcode for ecrecover (#122) 
* Add opcode for ecrecover

* Update aebytecode

* Extend signature bytes type used for ecrecover

* Add ecrecover to changelog

* Add some type specs

* Please dialyzer
 2019-08-14 21:02:46 +02:00
Radosław Rowicki
b669d2df1e Added list comprehensions and standard List, Option, Func, Pair, and Triple library (#105) 
* Added standard List library and list comprehensions

Added List library.

Flatmaps WIP

Fixed dependency in flat_map

fcode generation

Updated tests to use custom list lib

Added comprehension test

Added stdlib

sanity

Test

* Extended stdlib for lists. Added error message for redefinition of stdlibx

* Fixed type template

* Improved stdlib

* More functions

* Fixed cyclic includes

* Refixed imports and added few tests

* Added fail test

* Undelete removed type spec

* Remove typo

* Fix iter function

* Fixed typo

* Added if guards and let statements in list comp

* Added more fail tests

* Option stliv

* 2 and 3 tuple stdlib

* Updated stdlib to new syntax. Added recursor and changed all/any functions

* Fixed performance issues. Changed include management

* Fixed hash type
 2019-08-14 13:53:58 +02:00
Ulf Norell
69ad8ce9bc
Merge pull request #121 from aeternity/PT-166788647-fate-efficient-maps 
Don't generate remote tail calls
 2019-08-14 08:58:54 +02:00
Ulf Norell
3877174acb aebytecode commit 2019-08-13 15:53:49 +02:00
Ulf Norell
448adb8890 Don't generate remote tail calls 2019-08-13 15:52:47 +02:00
Hans Svensson
864a94c59e
Merge pull request #119 from radrow/patch-2 
Mention tuple syntax change in changelog
 2019-08-12 16:59:58 +02:00
Radosław Rowicki
518ae8e659
Mention tuple syntax change in changelog 2019-08-12 16:42:34 +02:00
Thomas Arts
df12f6af91
Merge pull request #118 from aeternity/PT-167126818 
Pt 167126818
 2019-08-06 15:30:47 +02:00
Thomas Arts
6aed5dfacb Upgrade to newer aebytecode version 2019-08-06 13:20:03 +02:00
Thomas Arts
cecc977898 Compiler returns abi_version 2019-08-06 13:11:31 +02:00
Ulf Norell
74933b0616
Merge pull request #117 from aeternity/PT-167701356-split-store 
PT-167701356 split store
 2019-08-06 12:27:18 +02:00
Hans Svensson
6a27c4a68b
Merge pull request #116 from aeternity/another_no_code 
to_sophia_value should also use no_code option
 2019-08-05 15:21:27 +02:00
Hans Svensson
d526e55c26 to_sophia_value should also use no_code option 2019-08-05 15:19:22 +02:00
Hans Svensson
6f7f5fa13c
Merge pull request #115 from aeternity/PT-166731397-add_compiler_backend 
PT-166731397 Add compiler backend
 2019-08-05 15:00:32 +02:00
Ulf Norell
2d6381dc6f Generate INIT function which writes the state instead of returning it 2019-08-05 14:36:59 +02:00
Hans Svensson
3663b4e5d0 Add no_code option to aeso_compile (for encode/decode calldata) 2019-08-05 14:33:53 +02:00
Hans Svensson
4478fee6e6 Add ACI calldata test 2019-08-05 14:33:53 +02:00
Ulf Norell
79ae92a068 Add missing error message 2019-08-05 14:01:35 +02:00
Ulf Norell
eb968d3cb9
Merge pull request #114 from aeternity/latest-aebytecode 
Update to latest aebytecode
 2019-08-05 11:54:01 +02:00
Ulf Norell
054a5a4867 Update to latest aebytecode 2019-08-05 11:51:10 +02:00
Ulf Norell
e198dd8311
Merge pull request #113 from aeternity/test-fixes 
Update test case
 2019-08-05 09:31:31 +02:00
Ulf Norell
46a996ead8 Update test case 2019-08-05 09:20:09 +02:00
Hans Svensson
2bf6ab7655
Merge pull request #110 from radrow/patch-1 
Covered qid case in ast_typerep
 2019-08-05 09:15:12 +02:00
Ulf Norell
5ff7aa5821
Merge pull request #109 from radrow/tuple-type 
Change tuple typing syntax
 2019-08-05 09:13:30 +02:00
Radosław Rowicki
045df292be Fixed pretty printing and pattern split (#111) 2019-07-29 14:27:01 +03:00
Radosław Rowicki
c97eb99921
Fixed double parens in ACI pp 
Co-Authored-By: Ulf Norell <ulf.norell@gmail.com>
 2019-07-29 11:01:38 +02:00
Radosław Rowicki
4c78ab3aee
Covered qid case in ast_typerep 
Because `qid` was not accepted the following code 

```
contract Test = 
   datatype myOption('a) = MyNone | MySome('a)
   entrypoint optionFn(v: myOption(string)): myOption(string) = v
```
Used to lead to `function_clause` error.

Bug copyright (c) @nduchak
 2019-07-26 15:31:06 +02:00
radrow
5ff983b0b3 Updated tests 2019-07-22 13:56:45 +02:00
Hans Svensson
4bf382a997
Merge pull request #107 from radrow/master 
Changed 'require' function return type to Unit
 2019-07-20 21:05:40 +02:00
radrow
4c72045a86 Changed tuple type parsing rule 2019-07-20 19:00:53 +02:00
radrow
7daf218b2a Changed 'require' function return type to Unit 2019-07-19 18:10:54 +02:00
radrow
973850e6a6 Fix pat split 2019-07-11 18:28:50 +02:00
Tobias Lindahl
19948c6aad
Merge pull request #104 from aeternity/PT-166868668-decode-fate-revert 
Properly decode revert strings for fate as well
 2019-07-09 16:52:35 +02:00
Tobias Lindahl
c4660fe0cf Properly decode revert strings for fate as well 2019-07-09 16:24:56 +02:00
Tobias Lindahl
e326908623
Merge pull request #103 from aeternity/PT-166868668-fate-abort 
Use EXIT for internal errors to burn all gas
 2019-07-09 15:47:46 +02:00
Tobias Lindahl
9be528a579 Use EXIT for internal errors to burn all gas 2019-07-09 14:36:09 +02:00