Hans Svensson
|
d455671e24
|
Prepare v4.0.0-rc3
|
2019-09-10 15:14:19 +02:00 |
|
Hans Svensson
|
26a5a3b8ad
|
implement option pp_assembler for FATE
|
2019-09-10 11:31:09 +02:00 |
|
Ulf Norell
|
92ac8b1f02
|
Merge pull request #147 from aeternity/bytes-concat
Bytes.concat and Bytes.split
|
2019-09-09 19:14:00 +02:00 |
|
Ulf Norell
|
c849184c72
|
type spec
|
2019-09-09 18:47:06 +02:00 |
|
Ulf Norell
|
f1b36c99ac
|
Compile Bytes.concat/split for AEVM
|
2019-09-09 18:40:45 +02:00 |
|
Ulf Norell
|
f09198b588
|
aebytecode commit
|
2019-09-09 18:40:45 +02:00 |
|
Ulf Norell
|
cc531f9957
|
Test case for Bytes.concat/split
|
2019-09-09 18:40:45 +02:00 |
|
Ulf Norell
|
3ea8470dc8
|
Compile Bytes.concat and split to FATE
|
2019-09-09 18:40:45 +02:00 |
|
Ulf Norell
|
3ceeee22fa
|
Don't forget to solve constraints
|
2019-09-09 18:40:45 +02:00 |
|
Ulf Norell
|
e2ab41eeb2
|
Add Bytes.concat and Bytes.split to type checker
|
2019-09-09 18:40:45 +02:00 |
|
Ulf Norell
|
0f612ead90
|
Sort errors by position
|
2019-09-09 12:22:40 +02:00 |
|
Ulf Norell
|
9eeb9ab11d
|
Don't freshen types in list comprehension generators
|
2019-09-09 11:00:26 +02:00 |
|
Ulf Norell
|
244ef6a6e2
|
Add a constraint field to type_sig
|
2019-09-09 11:00:26 +02:00 |
|
Ulf Norell
|
6551690dff
|
Merge pull request #146 from aeternity/aevm-hash-on-bytes
[AEVM] Compile Crypto.(hash_fun) to String.(hash_fun) for byte arrays
|
2019-09-09 10:58:20 +02:00 |
|
Ulf Norell
|
efe6f0ed06
|
[AEVM] Compile Crypto.(hash_fun) to String.(hash_fun) for byte arrays
|
2019-09-09 10:07:24 +02:00 |
|
Erik Stenman
|
263c297090
|
Upgrade aebytecode after eqc fix. (#145)
|
2019-09-06 15:20:01 +02:00 |
|
Erik Stenman
|
d03cc50e03
|
Pt 168336524 renumber ops set base gas (#144)
* Use latest aebytecode with new opnumbers and gas.
|
2019-09-06 14:33:57 +02:00 |
|
Ulf Norell
|
76a789bd9e
|
Merge pull request #143 from aeternity/minor-error-printing
Minor error printing
|
2019-09-06 12:10:33 +02:00 |
|
Hans Svensson
|
17f8cbb4d3
|
Merge pull request #141 from radrow/icode-char
Added chars in AEVM
|
2019-09-06 11:08:17 +02:00 |
|
Ulf Norell
|
46d244bfb4
|
aebytecode commit
|
2019-09-06 09:53:04 +02:00 |
|
Ulf Norell
|
9dac134477
|
Print the error kind in error messages
|
2019-09-06 09:51:17 +02:00 |
|
Ulf Norell
|
56b77f55fe
|
Add json conversion of error messages
|
2019-09-06 09:37:02 +02:00 |
|
Hans Svensson
|
23534640c1
|
Merge pull request #142 from aeternity/more_structured_errors
More structured errors - also in aeso_compiler
|
2019-09-06 08:47:38 +02:00 |
|
Hans Svensson
|
f07d1904ba
|
Less redundant error message
|
2019-09-05 15:28:03 +02:00 |
|
Hans Svensson
|
47b3b9bcca
|
Correct error type + new aebytecode
|
2019-09-05 15:14:17 +02:00 |
|
Hans Svensson
|
5a1acd9d18
|
Make aeso_compiler errors structured as well
|
2019-09-05 14:20:40 +02:00 |
|
radrow
|
92d1e10d0e
|
Added chars in AEVM
|
2019-09-05 13:36:21 +02:00 |
|
Hans Svensson
|
37a37a169d
|
File not found error
|
2019-09-05 11:16:31 +02:00 |
|
Ulf Norell
|
ecfa04ba17
|
Merge pull request #140 from aeternity/PT-168026292-structured_error_messages
PT-168026292 structured error messages
|
2019-09-05 09:03:19 +02:00 |
|
Ulf Norell
|
97d58fcacd
|
Nicer error for missing event type
|
2019-09-04 11:03:33 +02:00 |
|
Ulf Norell
|
d8adfce465
|
Tests for unapplied builtins
|
2019-09-04 10:45:43 +02:00 |
|
Ulf Norell
|
b9d141e035
|
Fix issue with AEVM eta expansion
|
2019-09-04 10:45:22 +02:00 |
|
Ulf Norell
|
c37cc93abe
|
Don't try to eta expand builtins with named arguments in AEVM
|
2019-09-04 10:21:30 +02:00 |
|
Ulf Norell
|
157ffbf9e2
|
Fix bug with unapplied builtins taking typerep arguments
(Oracle builtins and AENS.resolve)
|
2019-09-04 10:20:04 +02:00 |
|
Ulf Norell
|
602e99512f
|
Fail gracefully on higher-order state in AEVM and accept it in FATE
|
2019-09-03 17:24:40 +02:00 |
|
Ulf Norell
|
325d69e96d
|
Fail gracefully on bad top-level declaration
|
2019-09-03 17:24:06 +02:00 |
|
Ulf Norell
|
412b0b8b6d
|
Improve some parse errors
|
2019-09-03 16:51:04 +02:00 |
|
Ulf Norell
|
61faa3e2dd
|
Fix missing file name from type errors
|
2019-09-03 15:01:29 +02:00 |
|
Ulf Norell
|
69a4c1365b
|
Test case for calling init function from inside the contract
|
2019-09-03 14:47:13 +02:00 |
|
Ulf Norell
|
0b56691533
|
Tell dialyzer to bugger off
|
2019-09-03 14:36:36 +02:00 |
|
Ulf Norell
|
30de1db163
|
More code errors
|
2019-09-03 14:35:13 +02:00 |
|
Ulf Norell
|
adfa325f48
|
Don't use _main for the AEVM top entrypoint
|
2019-09-03 14:35:13 +02:00 |
|
Ulf Norell
|
0533ab27e1
|
Check that there are no maps in map keys already in type checker
|
2019-09-03 14:35:13 +02:00 |
|
Ulf Norell
|
510935d945
|
Framework and tests for code generation (icode/fcode) errors
|
2019-09-03 14:35:13 +02:00 |
|
Ulf Norell
|
f2469a676d
|
Refactor builtin compilation in icode
- Eta expand instead of failing on unapplied builtins
|
2019-09-03 14:35:13 +02:00 |
|
Ulf Norell
|
db7bf7a730
|
Set error msg position to last occurrence of duplicate definition
|
2019-09-03 14:35:13 +02:00 |
|
Ulf Norell
|
e37ac44726
|
Ensure that init is not payable
|
2019-09-03 14:35:13 +02:00 |
|
Hans Svensson
|
249b61238e
|
Structured parse_errors and type_errors
|
2019-09-03 14:35:13 +02:00 |
|
Hans Svensson
|
9e955d5958
|
Remove unused aeso_constants
|
2019-09-03 14:35:13 +02:00 |
|
Hans Svensson
|
f8cd3b87f3
|
Merge pull request #139 from aeternity/no-call-init
No calls to init-function (except when creating contract)
|
2019-09-03 13:17:06 +02:00 |
|