Merge lima – 4.3.0 #747

Merged
zxq9 merged 15 commits from github/fork/radrow/master into master 2020-04-30 20:52:52 +09:00

15 Commits

Author SHA1 Message Date
radrow d2dcb9e249 Add AENS example, readd delegation signature chapter, fix links 2020-04-30 00:02:26 +02:00
radrow adb3cf5406 Update documentation to master 2020-04-29 15:27:40 +02:00
radrow ad78f440d9 Merge lima 2020-04-02 15:32:26 +02:00
Radosław Rowicki 962ddf5303 Version push – 4.3.0 (#255)
* Version push – 4.3.0

.

* Fixed ordering of diffs in CHANGELOG
2020-04-02 15:10:53 +02:00
Radosław Rowicki 85b151aa65 Prepare 4.3.0 (#254) 2020-04-02 13:59:22 +02:00
Radosław Rowicki 93341dc13b Prepared for REPL usage (#218)
* Prepared for REPL usage

Exposed expr parsing

ets init in constant

Exposing and fixing

exposed expr

This will be squashed either

Expose letdef

Error handling

exposed autoimport

remove unnecessary changes

Fix types

Parser update

Expose body parser

remove map_get warning

make dialyzer happy

* Formatting

Co-Authored-By: Hans Svensson <hanssv@gmail.com>

Co-authored-by: Hans Svensson <hanssv@gmail.com>
2020-04-02 12:29:14 +02:00
Radosław Rowicki 98036eff65 Update TOC in sophia.md (#245) 2020-04-01 13:11:02 +02:00
Radosław Rowicki dc977f7354 Fixed example (#249) 2020-03-31 13:14:13 +02:00
Radosław Rowicki 4f554acee6 Fix error messages for some illegal constructions, fix absolute path includes (#251)
* Updated tests, banned type decls and toplevel letvals

* Properly ban nested contracts

* Fix including by path

* Fix error message test

* Fix prettpr attr display. Make dialyzer happy

* More tests

* Fixed type printing

* Updated docs
2020-03-30 14:52:16 +02:00
Radosław Rowicki 48b52cb501 Enchanted Frac library a bit (#253) 2020-03-29 17:14:01 +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
Radosław Rowicki 83e03f3013 Added documentation (#239)
* Added documentation

* Update readme

* Update readme

* Format fix

* Events

* Stdlib mention

* Frac doc

* Frac doc comparison warning

* Typos

* Format fix, TOC added

* Fixed link

* Update editor message

* Split TOC

* Moved out AEVM ABI

* Minor format

Co-Authored-By: Hans Svensson <hanssv@gmail.com>

* Typo

Co-Authored-By: Hans Svensson <hanssv@gmail.com>

* Grammar

Co-Authored-By: Hans Svensson <hanssv@gmail.com>

* Language

Co-authored-by: Hans Svensson <hanssv@gmail.com>
2020-03-10 12:39:39 +01:00
Radosław Rowicki d7fa4d65ec More comments in stdlib (#237) 2020-02-25 12:56:51 +01:00
Radosław Rowicki bd7ed2ef8c Instant unification error on arguments count mismatch (#225)
* Instant unification error on arguments count mismatch

* add testcase

* Add newline
2020-02-21 10:28:55 +01:00
Radosław Rowicki 2bf65cfd98 Add Frac (#222)
Fix bugs in Frac

Added optimizer
2020-02-13 11:02:47 +01:00