QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity
652 Commits 35 Branches 29 Tags
lima
Commit Graph

652 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Hans Svensson fd6cde535e Merge pull request #296 from davidyuk/patch-3 
docs: Use consistent event definitions between examples
 2021-06-24 09:30:08 +02:00
Hans Svensson b25339bb8f Merge pull request #303 from aeternity/radrow-patch-1 
Mention `init` quirk with Call.value
 2021-04-29 18:51:13 +02:00
Hans Svensson cf793667ca Merge pull request #304 from aeternity/clarify-aesocompiler 
Clarify aeso_compiler use
 2021-04-29 18:50:32 +02:00
Artur Puzio c54a0cec3d Clarify aeso_compiler use 2021-03-24 10:34:39 +00:00
Radosław Rowicki bc47c25138 Mention init quirk with Call.value 2021-03-22 10:26:34 +01: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
Denis Davidyuk 4630f8a09b Use consistent event definitions between examples 2021-02-16 14:52:37 +03: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
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
radrow 7e65f26211 Fix interface exposure 2020-10-21 12:42:42 +02:00
Radosław Rowicki 0b83422189 Merge pull request #284 from aeternity/hermetization-turnoff 
Debug mode to turn off hermetization
 2020-10-12 13:17:40 +02:00
radrow 1a5017ce2b Debug mode turns off hermetization 
Added tests and fixed bugs
 2020-10-09 18:41:30 +02:00
Grzegorz Uriasz 25fa365c29 Merge pull request #280 from aeternity/optionally_generate_aci 
Provide the ACI along with the bytecode
 2020-09-10 10:05:51 +02:00
Grzegorz Uriasz bb728db51b Provide the ACI along with the bytecode 2020-09-09 18:39:02 +02:00
Grzegorz Uriasz 1fee306daa Merge pull request #279 from aeternity/optimize_calldata_generation 
Improve call data encoding times by 35%
 2020-09-09 15:50:36 +02:00
Grzegorz Uriasz c4eaf2249a Don't regenerate the AST 2020-09-09 15:33:34 +02:00
Hans Svensson 6c23fd0d41 Merge pull request #278 from aeternity/contains-fun 
Added `contains` functions in List and Option. Fixed one type error
 2020-08-27 11:25:38 +02:00
radrow 3d73e52d48 Fix tests 2020-08-26 15:56:21 +02:00
radrow 89b3ec3d17 minor optimization 2020-08-26 12:10:24 +02:00
radrow 7e32ef57c2 Added contains functions in List and Option. Fixed one type error catch 2020-08-26 11:56:18 +02:00
Hans Svensson ed5447e430 Merge pull request #273 from aeternity/GH272-singleton_record_calldata_decode 
Fix singleton record calldata decode + test
 2020-08-11 07:58:36 +02:00
Hans Svensson db4de5d926 Fix singleton record calldata decode + test 2020-08-10 16:37:09 +02:00
Radosław Rowicki 6b60fde2df Merge pull request #267 from aeternity/option-fix 
Fixed `force` function
 2020-06-18 15:05:55 +02:00
Radosław Rowicki dd8eea0d55 Merge pull request #261 from aeternity/fixes 
Ban empty contracts, ban function blocks with mismatched declarations
 2020-06-07 18:01:03 +02:00
Radosław Rowicki eb71abc665 Fixed force function 2020-06-06 14:36:46 +02:00
Hans Svensson eff1ad4688 Merge pull request #265 from aeternity/improve_docs 
Make the network id an explicit part of the signature material
 2020-06-05 13:00:42 +02:00
Hans Svensson cb2588fae2 Make the network id an explicit part of the signature material 2020-05-29 08:47:01 +02:00
Hans Svensson 08261a319b Merge pull request #264 from aeternity/update_readme 
Make README less outdated
 2020-05-29 08:45:23 +02:00
Hans Svensson f21717a9c0 Make README less outdated 2020-05-29 08:35:19 +02:00
Hans Svensson 9753f90034 Merge pull request #262 from aeternity/fix_types 
Fix AENS types + whitespace
 2020-05-27 08:10:18 +02:00
Hans Svensson 8f240a7ddf Fix AENS types + whitespace 2020-05-27 08:06:06 +02:00
radrow 54e43764ca Ban empty contracts, ban function blocks with mismatched declarations 2020-05-15 19:09:08 +02:00
Radosław Rowicki 962ddf5303 Version push – 4.3.0 (#255) 
* Version push – 4.3.0

.

* Fixed ordering of diffs in CHANGELOG
v4.3.0 		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