Ulf Norell
60528e9128
Merge pull request #134 from aeternity/unit-to-typerep
...
Add missing case for builtin unit type
2019-08-28 10:19:10 +02:00
Ulf Norell
80075a9d36
Add missing case for builtin unit type
2019-08-28 09:45:25 +02:00
Ulf Norell
d26fcace41
Merge pull request #133 from aeternity/stdlib-overhaul
...
Stdlib overhaul
2019-08-28 08:38:40 +02:00
Ulf Norell
c51531f620
please dialyzer
2019-08-27 18:04:32 +02:00
Ulf Norell
3b2daf8cd6
Better errors when using old tuple type syntax
2019-08-27 15:08:56 +02:00
Ulf Norell
3ff93c5c89
Fix bug in include chasing
...
... making it possible for the same file to be included multiple times
2019-08-27 14:29:24 +02:00
Ulf Norell
850221aaf3
Remove no_implicit_stdlib option
2019-08-27 14:10:40 +02:00
Ulf Norell
3f1c23ace3
Use .. in list comprehension test
2019-08-27 14:00:23 +02:00
Ulf Norell
0efbcf302c
Fix roundtrip test to ignore ListInternal
2019-08-27 14:00:02 +02:00
Ulf Norell
7705138ab2
auto-import ListInternal when using list comprehensions or [a..b]
2019-08-27 13:59:36 +02:00
Ulf Norell
5f733e01dd
Implement [a..b]
2019-08-27 13:59:01 +02:00
Ulf Norell
79a928e530
Fix bad type specs
2019-08-27 13:56:02 +02:00
Ulf Norell
d23208c191
Fix bugs in dependency analysis
2019-08-27 13:55:45 +02:00
Ulf Norell
e7d3a5b9f2
Put flat_map in ListInternal.aes
2019-08-27 11:33:43 +02:00
Ulf Norell
02af75aa34
Move stdlib code to priv dir and don't do any implicit includes
2019-08-27 11:33:29 +02:00
Ulf Norell
9eed18f812
Merge pull request #132 from aeternity/fate-compiler-optimizations
...
Fate compiler optimizations
2019-08-26 08:25:40 +02:00
Ulf Norell
07cf162703
Fix performance problem in FATE optimiser caused by debug printing
2019-08-23 10:07:43 +02:00
Hans Svensson
d4c6187739
Merge pull request #130 from aeternity/PT-168026424-prepare_sophia_4_0_RC1
...
Preparing 4.0.0-rc1
2019-08-22 16:02:06 +02:00
Hans Svensson
2620aa64b4
Add some no_implicit_stdlib for now
2019-08-22 15:21:41 +02:00
Ulf Norell
20064b72fa
Compile tail-calls to current function to jumps
2019-08-22 14:50:15 +02:00
Ulf Norell
a942561907
Improved optimizations of FATE code
2019-08-22 14:49:48 +02:00
Ulf Norell
a9617a025f
Merge pull request #129 from aeternity/deadcode-elim
...
Deadcode elimination for FATE
2019-08-22 14:25:31 +02:00
Hans Svensson
bde76c8580
Preparing 4.0.0-rc1
2019-08-22 13:30:00 +02:00
Ulf Norell
e94b5379ed
Deadcode elimination pass
2019-08-21 12:19:01 +02:00
Ulf Norell
cbc8909954
Add default init function in fcode pass instead of in assembler
2019-08-21 11:51:36 +02:00
Ulf Norell
cfd036b199
Test deadcode elimination for FATE backend
2019-08-21 11:51:36 +02:00
Ulf Norell
bbf043f4ee
Merge pull request #126 from radrow/listcompfixes
...
Fixed comprehension dependencies
2019-08-21 11:51:16 +02:00
Ulf Norell
ba41ab457d
Merge pull request #127 from aeternity/radrow-patch-1
...
Fixed intersperse in stdlib
2019-08-21 11:51:04 +02:00
Hans Svensson
49634a6024
Merge pull request #128 from aeternity/PT-167996886-a_proper_ecverify
...
PT-167996886 A proper ecverify
2019-08-21 11:19:48 +02:00
Hans Svensson
2dbef80249
aebytecode commit
2019-08-21 11:09:44 +02:00
Hans Svensson
ebdd38c505
Change ecverify into verify_sig and then add an actual ecverify
2019-08-21 09:29:40 +02:00
Radosław Rowicki
5dbca47d34
Fixed intersperse in stdlib
2019-08-20 20:16:52 +02:00
radrow
79d491e4a8
Fixed comprehension dependencies
2019-08-20 18:44:47 +02:00
Hans Svensson
73b9a54172
Merge pull request #125 from aeternity/PT-162578406-payable_modifier
...
PT-162578406 Add payable modifier
2019-08-19 16:27:18 +02:00
Hans Svensson
bb0c3b54df
ACI should also track payable
2019-08-19 08:57:31 +02:00
Hans Svensson
d0485304b6
Please dialyzer
2019-08-19 08:57:31 +02:00
Hans Svensson
86aeaa40ef
Set aebytecode commit
2019-08-19 08:57:31 +02:00
Hans Svensson
e9505e240f
Add Address.is_payable(address)
2019-08-19 08:57:31 +02:00
Hans Svensson
f27d37d624
Add payable modifier for contracts and entrypoints
2019-08-19 08:57:31 +02:00
Ulf Norell
e566186800
Merge pull request #123 from aeternity/PT-167221635-remote-type-check
...
PT-167221635 remote type check
2019-08-16 09:22:30 +02:00
Ulf Norell
956b78fb01
aebytecode commit
2019-08-16 09:14:51 +02:00
Ulf Norell
522d977be9
Remote calls now take typerep arguments
2019-08-16 09:12:04 +02:00
Tino Breddin
dd26649f7d
[PT-167805291] Add opcode for ecrecover ( #122 )
...
* Add opcode for ecrecover
* Update aebytecode
* Extend signature bytes type used for ecrecover
* Add ecrecover to changelog
* Add some type specs
* Please dialyzer
2019-08-14 21:02:46 +02:00
Radosław Rowicki
b669d2df1e
Added list comprehensions and standard List, Option, Func, Pair, and Triple library ( #105 )
...
* Added standard List library and list comprehensions
Added List library.
Flatmaps WIP
Fixed dependency in flat_map
fcode generation
Updated tests to use custom list lib
Added comprehension test
Added stdlib
sanity
Test
* Extended stdlib for lists. Added error message for redefinition of stdlibx
* Fixed type template
* Improved stdlib
* More functions
* Fixed cyclic includes
* Refixed imports and added few tests
* Added fail test
* Undelete removed type spec
* Remove typo
* Fix iter function
* Fixed typo
* Added if guards and let statements in list comp
* Added more fail tests
* Option stliv
* 2 and 3 tuple stdlib
* Updated stdlib to new syntax. Added recursor and changed all/any functions
* Fixed performance issues. Changed include management
* Fixed hash type
2019-08-14 13:53:58 +02:00
Ulf Norell
69ad8ce9bc
Merge pull request #121 from aeternity/PT-166788647-fate-efficient-maps
...
Don't generate remote tail calls
2019-08-14 08:58:54 +02:00
Ulf Norell
3877174acb
aebytecode commit
2019-08-13 15:53:49 +02:00
Ulf Norell
448adb8890
Don't generate remote tail calls
2019-08-13 15:52:47 +02:00
Hans Svensson
864a94c59e
Merge pull request #119 from radrow/patch-2
...
Mention tuple syntax change in changelog
2019-08-12 16:59:58 +02:00
Radosław Rowicki
518ae8e659
Mention tuple syntax change in changelog
2019-08-12 16:42:34 +02:00
Thomas Arts
df12f6af91
Merge pull request #118 from aeternity/PT-167126818
...
Pt 167126818
2019-08-06 15:30:47 +02:00
