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

230 Commits

Author SHA1 Message Date
radrow
66d556907d Fixed hash type 2019-08-09 13:46:13 +02:00
radrow
4d13e01177 Fixed performance issues. Changed include management 2019-08-09 13:46:13 +02:00
radrow
ba8138d892 Updated stdlib to new syntax. Added recursor and changed all/any functions 2019-08-09 13:46:13 +02:00
radrow
9101d2c7fe 2 and 3 tuple stdlib 2019-08-09 13:46:13 +02:00
radrow
aa5b686ea8 Option stliv 2019-08-09 13:46:13 +02:00
radrow
c68b52d78d Added if guards and let statements in list comp 2019-08-09 13:46:13 +02:00
radrow
a05e6ba800 Fixed typo 2019-08-09 13:46:13 +02:00
radrow
8d4e246686 Fix iter function 2019-08-09 13:46:13 +02:00
radrow
b41773ebae Remove typo 2019-08-09 13:46:13 +02:00
radrow
b0b560d335 Undelete removed type spec 2019-08-09 13:46:13 +02:00
radrow
bff1acae69 Refixed imports and added few tests 2019-08-09 13:46:13 +02:00
radrow
d170dd00eb Fixed cyclic includes 2019-08-09 13:46:13 +02:00
radrow
d64f41dc13 More functions 2019-08-09 13:46:13 +02:00
radrow
45c0020101 Improved stdlib 2019-08-09 13:46:13 +02:00
Radosław Rowicki
8b06775331 Fixed type template 2019-08-09 13:46:13 +02:00
radrow
7a762be17e Extended stdlib for lists. Added error message for redefinition of stdlibx 2019-08-09 13:46:13 +02:00
radrow
18235e5b56 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
 2019-08-09 13:46:13 +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
d526e55c26 to_sophia_value should also use no_code option 2019-08-05 15:19:22 +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
Ulf Norell
79ae92a068 Add missing error message 2019-08-05 14:01:35 +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
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
c4660fe0cf Properly decode revert strings for fate as well 2019-07-09 16:24:56 +02:00
Tobias Lindahl
9be528a579 Use EXIT for internal errors to burn all gas 2019-07-09 14:36:09 +02:00
Tobias Lindahl
6f873e45b8 Use a name string rather than a name hash in transfer and revoke 2019-07-01 07:42:08 +02:00
Hans Svensson
41011d15cc Prepare 3.2.0 2019-06-28 11:51:51 +02:00
Ulf Norell
dc5fd74934 Fix include path not being added if giving explicit options 2019-06-28 10:28:16 +02:00
Ulf Norell
85408a12a2 Update ACI to new entrypoint declarations 
also make ACI understand namespaces
 2019-06-28 09:36:07 +02:00
Ulf Norell
79137e058e Revamp private/public functions 
Problem: having public as the default makes it very easy to accidentally
export local function by forgetting the `private` modifier.

Solution: functions are private by default and must be declared as `entrypoint`s
to be exported. So `entrypoint foo() = ...` instead of `function foo() = ...`.

We still accept the `private` modifier although it is redundant.
 2019-06-28 09:36:07 +02:00
Hans Svensson
a617a6469d Change Chain.block_hash to return option(hash) 2019-06-27 14:19:39 +02:00
Hans Svensson
502a4e6464 Fix to_sophia_value for FATE backend 2019-06-27 10:42:31 +02:00
Ulf Norell
292d1aa65b Fix namespace bug 
Don't unfold record types until all contracts/namespaces have been checked
 2019-06-27 09:15:27 +02:00
Hans Svensson
2bf5e59e2b Pre-compute and switch to Blake2b for event name hash 2019-06-26 13:34:57 +02:00
Tobias Lindahl
c26ace6c2c Implement aens instructions for fate 2019-06-26 13:24:48 +02:00
Ulf Norell
523d6b03a9 Allow bytes(N) as indices if N =< 32 and payload if N > 32 2019-06-25 19:58:14 +02:00
Ulf Norell
961f557215 Events now compile to FATE 2019-06-25 19:58:14 +02:00
Ulf Norell
0cf6a52b26 Compile events to FATE 2019-06-25 19:58:14 +02:00
Ulf Norell
a3efaf71a7 Compile oracle check functions in FATE backend 2019-06-25 16:27:48 +02:00
Ulf Norell
0ef7c59771 Fix issues discovered by dialyzer 2019-06-24 14:29:20 +02:00
Ulf Norell
cee8a4ecf3 Compile bytes_to_X in AEVM backend 2019-06-24 14:09:20 +02:00