748 Commits

Author SHA1 Message Date
radrow
90fad0c49b format 2021-05-17 19:18:05 +02:00
radrow
8d1ede63e5 pre-fund clarification 2021-05-17 19:15:10 +02:00
radrow
87d20b1c94 format 2021-05-17 19:14:28 +02:00
radrow
cfb51e0825 mention pre-fund 2021-05-17 19:13:06 +02:00
radrow
dd1d835e4f missing 'the' 2021-05-17 19:11:36 +02:00
radrow
53d5d95ab1 missing 'the' 2021-05-17 19:10:22 +02:00
radrow
860457b466 missing 'the' 2021-05-17 19:09:30 +02:00
radrow
4aebdeceec missing 'the' 2021-05-17 19:09:04 +02:00
radrow
8100912dfc TOC 2021-05-17 19:07:40 +02:00
radrow
ce4d1cf978 Docs 2021-05-17 19:00:58 +02:00
radrow
3ea2de8dbe Write negative tests 2021-05-17 13:15:00 +02:00
radrow
0105140878 Fix failing tests 2021-05-17 09:42:53 +02:00
radrow
b9d018ec35 Please dialyzer 2021-05-17 08:55:40 +02:00
radrow
6789b739a5 Address review, fix some dialyzer errors 2021-05-12 20:09:52 +02:00
radrow
7898d2a17d Mention void type 2021-05-11 14:30:13 +02:00
radrow
821fe63d03 CHANGELOG 2021-05-11 14:28:31 +02:00
radrow
a77261c1d6 Cleanup 2021-05-11 14:24:06 +02:00
radrow
9b1b36f4c1 Fix default argument for clone 2021-05-11 14:24:06 +02:00
radrow
b1b2dc849a Fix some tests. Remove optimization of singleton tuples 2021-05-11 14:24:06 +02:00
radrow
5c43be22b9 cleanup 2021-05-11 14:24:06 +02:00
radrow
c8853b2103 works, needs cleanup 2021-05-11 14:24:06 +02:00
radrow
614c60f04a Fix some scoping/constraint issues 2021-05-11 14:24:06 +02:00
radrow
c47169a4a4 CREATE sometimes compiles and sometimes not 2021-05-11 14:24:06 +02:00
radrow
6a46bb74ab Fixed some error messages. Type inference of child contract still does some random shit\n(mistakes arguments with result type) 2021-05-11 14:24:06 +02:00
radrow
b13a3a5d53 move some logic away 2021-05-11 14:24:06 +02:00
radrow
fdcfcd25a2 Refactor 2 2021-05-11 14:24:06 +02:00
radrow
c869270724 Refactor 2021-05-11 14:24:06 +02:00
radrow
8e6cf7ddfc Bytecode hash fixes 2021-05-11 14:24:06 +02:00
radrow
545f16da65 Fix dependent type in CLONE 2021-05-11 14:24:06 +02:00
radrow
851952987c CLONE compiles 2021-05-11 14:24:06 +02:00
radrow
59b9036a7b Pushed the clone example through the typechecker 2021-05-11 14:24:05 +02:00
radrow
dcb311a754 Add missing files 2021-05-11 14:24:05 +02:00
radrow
0bea3030bc Support for CREATE, CLONE and BYTECODE_HASH 2021-05-11 14:24:03 +02:00
Hans Svensson
d82b42518e
Merge pull request #311 from aeternity/docs_fixing
Add missing Auth.tx in stdlib documentation
2021-05-10 16:00:32 +02:00
Hans Svensson
00a3a51d0d Add missing Auth.tx 2021-05-10 09:54:57 +02:00
Hans Svensson
6858329faa
Merge pull request #309 from aeternity/prepare_5.0.0
Preparing v5.0.0
v5.0.0
2021-04-30 15:17:48 +02:00
Hans Svensson
c2a3e333c7 Preparing v5.0.0 2021-04-30 14:48:37 +02:00
Hans Svensson
4787830861
Merge pull request #308 from aeternity/merge_lima_to_master
Merge lima to master
2021-04-30 14:43:16 +02:00
Hans Svensson
a0111066e7 Merge branch 'lima' into merge_lima_to_master 2021-04-30 14:07:06 +02:00
Hans Svensson
2311d19602
Merge pull request #291 from aeternity/GH-3282-aens_pointers_cleanup
Add note about legacy (Lima) AENS pointers in update/lookup
2021-04-15 10:26:56 +02:00
Radosław Rowicki
3b2ce63fa7
Merge pull request #300 from aeternity/erlps-lima
Trampoline in parser
2021-03-08 13:33:34 +01:00
radrow
8b4a1aaf0d Trampoline 2021-03-08 12:45:21 +01:00
Radosław Rowicki
c6e7db2381
Merge pull request #299 from aeternity/fix-ets
Fix constraints ordering
2021-03-05 10:42:16 +01:00
radrow
4e60d019ca Fix constraints ordering 2021-02-23 11:05:02 +01:00
Radosław Rowicki
b8002029cf
Merge pull request #294 from aeternity/mergesort
Upgrade sorting function
2021-02-23 08:58:36 +01:00
radrow
1a14602f36 Upgrade sorting function 2021-02-09 14:18:42 +01:00
Hans Svensson
e2ef95d6fd
Merge pull request #293 from aeternity/GH-292-desugar_error
Properly handle type errors during desugar
2021-02-05 11:14:47 +01:00
Hans Svensson
22aaeceba8 Properly handle type errors during desugar 2021-01-25 21:28:10 +01:00
Hans Svensson
2a78189f31 Add note about legacy (Lima) AENS pointers in update/lookup 2021-01-07 12:14:04 +01:00
Radosław Rowicki
f1d95484a5
Merge pull request #288 from aeternity/expose-interface-fix-lima
Fix interface exposure (lima)
2020-10-21 14:01:21 +02:00