Ulf Norell
|
97ff1aac23
|
Merge pull request #136 from radrow/stdlib-extensions
Updated some functions, renamed some stuff, added from_to IN STDLIB
|
2019-09-02 09:56:56 +02:00 |
|
sennui
|
1ee5a57924
|
change aebytecode version, aeserialization and add enacl
|
2019-09-02 08:54:38 +02:00 |
|
Thomas Arts
|
cf91a27fb2
|
Keep sign last
|
2019-09-01 10:58:49 +02:00 |
|
sennui
|
83d06977f9
|
add extra argument to claim for bidding
|
2019-09-01 10:58:49 +02:00 |
|
Ulf Norell
|
41e59506ba
|
Merge pull request #137 from aeternity/polymorpism-checks
Polymorphism checks
|
2019-08-30 15:48:34 +02:00 |
|
Ulf Norell
|
062309e578
|
Type variables mentioned in local functions should not be flexible
(cc #112)
|
2019-08-30 14:22:31 +02:00 |
|
Radosław Rowicki
|
6408969cd3
|
Remove from_to_
|
2019-08-30 14:06:46 +02:00 |
|
Radosław Rowicki
|
71a556ce81
|
nth update
|
2019-08-30 13:46:02 +02:00 |
|
Radosław Rowicki
|
256aadd575
|
[......]
Co-Authored-By: Ulf Norell <ulf.norell@gmail.com>
|
2019-08-30 13:44:26 +02:00 |
|
Ulf Norell
|
f27ba528d8
|
aebytecode commit
|
2019-08-30 11:21:26 +02:00 |
|
Ulf Norell
|
6fd39d4cb1
|
Add checks for polymorphic/higher order oracles and higher order entrypoints (AEVM)
|
2019-08-30 11:18:20 +02:00 |
|
Ulf Norell
|
1ce95b32ac
|
Add checks for polymorphic/higher order oracles and higher order entrypoints (FATE)
|
2019-08-30 11:18:20 +02:00 |
|
radrow
|
076d635dbe
|
Fix errors
|
2019-08-29 15:32:10 +02:00 |
|
Radosław Rowicki
|
6d87960147
|
Merge pull request #135 from aeternity/radrow-patch-3
Remove find_all from stdlib
|
2019-08-29 15:25:22 +02:00 |
|
radrow
|
1d962f2001
|
Updated some functions, renamed, added from_to
|
2019-08-29 13:41:04 +02:00 |
|
Radosław Rowicki
|
cce243e513
|
Remove find_all from stdlib
It was just a duplicated `filter`
|
2019-08-28 14:17:30 +02:00 |
|
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
v4.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 |
|