Added rational numbers #711

Closed
zxq9 wants to merge 28 commits from github/fork/radrow/frac into lima

28 Commits

Author SHA1 Message Date
radrow
12377f23e3 Added optimizer 2020-02-10 12:14:46 +01:00
radrow
47e3928198 Fix bugs in Frac 2020-02-07 22:40:14 +01:00
radrow
5e45c4a75a Add Frac 2020-02-07 21:55:59 +01:00
Radosław Rowicki
13bc821211
Optimize stdlib (#215) 2020-02-07 19:51:12 +01:00
Hans Svensson
34c10e1518
Merge pull request #214 from aeternity/GH-188-AENS_lookup
Add AENS.lookup and Oracle.expiry
2020-02-03 14:37:55 +01:00
Hans Svensson
bb79e7dd89 Update aebytecode reference 2020-02-03 14:26:13 +01:00
Hans Svensson
c3426f0e65 Add AENS.lookup
Also move Pointee-constructors inside AENS namespace.
2020-02-03 12:52:00 +01:00
Hans Svensson
db01e237c1 Add Oracle.expiry 2020-02-03 12:24:27 +01:00
Hans Svensson
760d2841d1 From Iris (with AENS.update) AENS.resolve is not Pure 2020-02-03 12:22:34 +01:00
Hans Svensson
43013ec920
Merge pull request #213 from aeternity/merge_lima_to_master
Merge lima to master
2020-01-15 15:54:41 +01:00
Hans Svensson
d821de6381 Merge 'origin/lima' into 'origin/master' 2020-01-15 15:03:11 +01:00
Hans Svensson
282f743925
Merge pull request #209 from aeternity/merge_lima_to_master
Merge lima to master
2019-12-19 15:34:26 +01:00
Hans Svensson
cf1072140e Merge 'origin/lima' into merge_lima_to_master 2019-12-19 15:09:48 +01:00
Hans Svensson
75797686ad
Merge pull request #187 from aeternity/GH-2850-add_fancy_crypto_bls12_381
Add BLS12-381 operations (to FATE)
2019-11-29 15:27:38 +01:00
Tino Breddin
ed9384c2af
Merge pull request #185 from aeternity/tb-rebar-lock-check
Add CI check to verify rebar.lock
2019-11-27 17:28:31 +01:00
Hans Svensson
1c24a700dc Add BLS12-381 operations (to FATE) 2019-11-27 10:57:24 +01:00
Hans Svensson
f2e9fbcc51
Merge pull request #186 from aeternity/merge_lima
Merge lima into master
2019-11-27 10:50:29 +01:00
Hans Svensson
2d49426fe0 Merge 'origin/lima' into master 2019-11-27 10:46:18 +01:00
Tino Breddin
f5df2c1a5f Add CI workflow 2019-11-26 17:27:26 +01:00
Tino Breddin
04445e4dee Add CI check to verify rebar.lock 2019-11-26 17:24:02 +01:00
Ulf Norell
eec70f03a5
Merge pull request #183 from aeternity/lima
Merge lima into master
2019-11-25 13:16:17 +01:00
skkw
c2c8e297ae
Merge pull request #178 from aeternity/PT-158904718-aens-update-sophia
changed type of client ttl to int option
2019-11-18 18:39:54 +01:00
skkw
5c5d3c60ef changed type of client ttl to int option 2019-11-18 16:25:47 +01:00
Ulf Norell
2a3274ba25
Merge pull request #175 from aeternity/GH-174-encode-decode-bits
Handle encoding/decoding bits
2019-11-18 12:12:45 +01:00
Ulf Norell
13b7bde44b Prefix format annotation for negative numbers 2019-11-18 11:55:04 +01:00
Ulf Norell
baf527b5fa Handle encoding/decoding bits
Fixes GH-174
2019-11-18 11:35:08 +01:00
skkw
422baa5b65
Merge pull request #155 from aeternity/PT-158904718-aens-update-sophia
support for AENS.update call
2019-11-12 14:49:42 +01:00
skkw
126e04ae42 support for AENS.update call 2019-11-12 14:27:46 +01:00