Merge ROMA branch to master #515

Merged
zxq9 merged 7 commits from merge_roma into master 2019-02-08 22:13:11 +09:00

7 Commits

Author SHA1 Message Date
Hans Svensson
3ba89d9f55 Merge ROMA into MINERVA 2019-02-08 13:38:37 +01:00
Hans Svensson
267fef3a5b
Merge pull request #21 from aeternity/roma_standalone
Roma standalone
2019-01-31 09:51:56 +01:00
Hans Svensson
362373c0d7 Add escript post_hooks 2019-01-30 10:58:19 +01:00
Dincho Todorov
65b6791176 Initial CircleCI integration (#20) 2019-01-30 10:54:52 +01:00
Hans Svensson
87e5562f74 Super simple standalone version of the compiler 2019-01-29 15:25:39 +01:00
Ulf Norell
b8cb7ab1b5 Fix incorrect type specs
h/t OTP-21 dialyzer
2019-01-29 13:58:05 +01:00
Hans Svensson
ceb7de2119 Remove a leftover reference to enacl 2019-01-29 13:58:00 +01:00