Contract factories and bytecode introspection #796

Merged
zxq9 merged 34 commits from factories into master 2021-05-18 19:21:57 +09:00

34 Commits

Author SHA1 Message Date
radrow
166b56a7a8 Grammar in docs 2021-05-18 09:18:57 +02:00
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