radrow
1a5017ce2b
Debug mode turns off hermetization
...
Added tests and fixed bugs
2020-10-09 18:41:30 +02:00
Grzegorz Uriasz
bb728db51b
Provide the ACI along with the bytecode
2020-09-09 18:39:02 +02:00
Ulf Norell
515838e2f9
Handle negative numbers in aci ( #247 )
...
* Handle negative numbers in aci
Fixes aeternity/aesophia_http#59
* Updated CHANGELOG
Updated CHANGELOG1
Co-authored-by: radrow <radrowicki@gmail.com>
2020-03-23 18:11:00 +01:00
Ulf Norell
4d4a14a9ab
GH-196 pattern matching lhs ( #210 )
...
* Allow block with separate type signature and definition of a function
For instance,
```
function
add : (int, int) => int
add(x, y) = x + y
```
cc #196
* Allow pattern matching in left-hand sides
* Changelog
* Fix type spec
* partial case-on-constructor
* Changelog for pattern-matching lets
2020-01-15 09:41:03 +01:00
Ulf Norell
510935d945
Framework and tests for code generation (icode/fcode) errors
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
bb0c3b54df
ACI should also track payable
2019-08-19 08:57:31 +02: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
radrow
5ff983b0b3
Updated tests
2019-07-22 13:56:45 +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
Hans Svensson
d3a13eafed
A record should be _one_ object
2019-05-28 14:25:37 +02:00
Hans Svensson
4b0837dc59
Leave state/event blank if not present
2019-05-28 13:07:24 +02:00
Hans Svensson
0ded431df8
Fix interface and use atoms instead of binaries
2019-05-28 11:18:21 +02:00
Hans Svensson
e7419b79fd
Put state and event types at the top level
2019-05-28 11:08:36 +02:00
Hans Svensson
c60999edf0
Refactor aeso_aci with dont_unfold, etc.
2019-05-28 11:08:36 +02:00
Hans Svensson
5e6af18c7b
Address review comment
2019-04-23 11:10:56 +02:00
Hans Svensson
4324bfd49e
Add bytes(int), add address_literalsm add ecverify_secp25k1
...
hash -> bytes(32)
signature -> bytes(64)
address literals
2019-04-23 10:40:02 +02:00
Robert Virding
4a01c852c9
Add more test cases
...
And some trivial code cleanup.
2019-04-03 22:58:54 +02:00
Robert Virding
df00c3958b
First version of final aci
...
Should have more test cases and code cleanup
2019-04-03 17:53:16 +02:00
Luca Favatella
d89fd134b5
Fix build warning
...
Symptom:
```
src/aeso_aci.erl:18: Warning: record namespace is unused
```
2019-03-29 15:25:21 +00:00
Robert Virding
0d56130baa
Use correct parse error formats
2019-02-28 16:13:57 +01:00
Robert Virding
7448da16bb
Make dialyzer happy and keep it quiet
2019-02-28 16:13:57 +01:00
Robert Virding
6f582af83e
Add new encode function interface
2019-02-28 16:13:57 +01:00
Robert Virding
5d116b2e5a
Make the decoder return a binary and untabify
2019-02-28 16:13:57 +01:00
Robert Virding
cea581988d
Don't decode init function as it should never be called
2019-02-28 16:13:57 +01:00
Robert Virding
2f36380a81
Add handling of private and stateful functions
2019-02-28 16:13:57 +01:00
Robert Virding
d330133b3f
First version, very much WIP
2019-02-28 16:13:57 +01:00
