Commit Graph

  • 2b7490776e Add include directive Hans Svensson 2019-02-05 08:52:40 +01:00
  • 0a5b80668f Don't mess up on multiple namespaces in icode compiler Ulf Norell 2019-02-08 09:14:39 +01:00
  • 6cdba58e35 Update error messages Ulf Norell 2019-02-05 09:04:08 +01:00
  • 8262d7780f Fix some issues pointed out by dialyzer Ulf Norell 2019-02-05 08:58:27 +01:00
  • e6f01481bf Bind state and event primitives only in contracts (and with the right types) Ulf Norell 2019-02-04 18:28:46 +01:00
  • d9188d58a7 Proper checking of types Ulf Norell 2019-02-04 18:01:47 +01:00
  • dfa286d43c Deadcode elimination (icode post pass) Ulf Norell 2019-02-04 14:08:26 +01:00
  • 478da2af33 Don't expose namespace functions as entrypoints Ulf Norell 2019-02-04 12:27:08 +01:00
  • 10be09fe30 Add checks on event constructor arguments to type checker Ulf Norell 2019-02-04 11:56:06 +01:00
  • e6c9d0fac1 Put event index information in constructor annotation instead of in argument types Ulf Norell 2019-02-04 10:39:36 +01:00
  • 367f87b612 Implement namespaces Ulf Norell 2019-01-21 14:20:57 +01:00
  • 026ff52528
    Merge pull request #24 from aeternity/merge_roma Hans Svensson 2019-02-08 14:13:10 +01:00
  • 3ba89d9f55 Merge ROMA into MINERVA #515 Hans Svensson 2019-02-08 13:38:37 +01:00
  • 0b4c2f14fe
    Move module documentation to separate files (#23) Robert Virding 2019-02-08 10:31:35 +01:00
  • 3fa59ee134 Move module documentation to separate files #514 Robert Virding 2019-02-07 16:18:25 +01:00
  • b65c4edd19
    Merge pull request #22 from aeternity/fix-compiler-interface Robert Virding 2019-02-06 15:17:53 +01:00
  • 515f444e7c Remove specific filename extension handling #513 Robert Virding 2019-02-06 14:02:46 +01:00
  • 267fef3a5b
    Merge pull request #21 from aeternity/roma_standalone roma-v1 Hans Svensson 2019-01-31 09:51:56 +01:00
  • 362373c0d7 Add escript post_hooks #512 Hans Svensson 2019-01-30 10:55:11 +01:00
  • 65b6791176 Initial CircleCI integration (#20) Dincho Todorov 2019-01-29 15:35:41 +02:00
  • 87e5562f74 Super simple standalone version of the compiler Hans Svensson 2019-01-25 14:49:18 +01:00
  • d3fa04483e
    Initial CircleCI integration (#20) Dincho Todorov 2019-01-29 15:35:41 +02:00
  • b8cb7ab1b5 Fix incorrect type specs Ulf Norell 2019-01-28 14:54:34 +01:00
  • ceb7de2119 Remove a leftover reference to enacl Hans Svensson 2019-01-29 13:58:00 +01:00
  • d81065e7f5 Change back to latest builder image #511 Dincho Todorov 2019-01-29 13:20:16 +02:00
  • a001eefe52 Bump dialyzer cache version Dincho Todorov 2019-01-29 13:13:17 +02:00
  • d3697b4928 Update dialyzer cache path Dincho Todorov 2019-01-29 13:12:16 +02:00
  • c1d9be30b8 Add test builder tag Dincho Todorov 2019-01-29 13:07:07 +02:00
  • ba16ac894a Initial CircleCI integration Dincho Todorov 2019-01-29 11:59:34 +02:00
  • 2edafe0adc
    Merge pull request #19 from aeternity/dialyzer-warnings Ulf Norell 2019-01-29 09:19:13 +01:00
  • 3a7c8f905a Fix incorrect type specs #510 Ulf Norell 2019-01-28 14:54:34 +01:00
  • 9026e1fe6b
    Merge pull request #18 from aeternity/minor_fixing_up Hans Svensson 2019-01-28 11:24:29 +01:00
  • f1f2b09294 Cleanup whitespace, bad typespec, and remaining enacl reference #509 Hans Svensson 2019-01-28 10:47:12 +01:00
  • 53299b9b17
    Merge pull request #17 from aeternity/PT-163478903-builtin-bits-type Ulf Norell 2019-01-28 10:05:09 +01:00
  • 64fd91197b
    Merge pull request #9 from aeternity/interface-to-sophia Robert Virding 2019-01-25 16:20:38 +01:00
  • a73abf8e8e Fix testing to use new error message format #500 Robert Virding 2019-01-25 15:57:02 +01:00
  • db1c0fa05a Improve pretty printing the code AST Robert Virding 2019-01-11 17:41:54 +01:00
  • 70ad303e16 Document the aeso_compiler module Robert Virding 2019-01-11 17:40:20 +01:00
  • fe1a2758c3 Improve the interface to the compiler Robert Virding 2019-01-11 17:36:31 +01:00
  • 79de25b3a5 Fix minor bugs in compilation of bit fields #508 Ulf Norell 2019-01-25 15:03:52 +01:00
  • 3e1290efaf Add Bits.all and rename Bits.zero to Bits.none Ulf Norell 2019-01-25 14:12:23 +01:00
  • 9c77622c7c Add set operations on bit fields (union, isect, diff) Ulf Norell 2019-01-25 14:10:12 +01:00
  • a367d5040a Add builtin bit field type Ulf Norell 2019-01-25 13:34:28 +01:00
  • d8bf0bda45 Remove integer bit operations Ulf Norell 2019-01-25 12:49:11 +01:00
  • 922107e438
    Merge pull request #16 from aeternity/git_mess_up_fix Hans Svensson 2019-01-25 10:53:06 +01:00
  • f133483a90 Fix git mess up #507 Hans Svensson 2019-01-25 10:49:36 +01:00
  • be42ee08ab
    Merge pull request #15 from aeternity/fix_string_concat Hans Svensson 2019-01-25 10:36:09 +01:00
  • 86285a8ae0 Refactor String.concat to not shift 256 bits #506 Hans Svensson 2019-01-22 20:34:48 +01:00
  • aa2e6aa218 machinery for running QuickCheck Thomas Arts 2019-01-09 19:21:54 +01:00
  • c5c73097fc
    Merge pull request #13 from aeternity/PT-163388694-add_native_bit_shift Hans Svensson 2019-01-23 13:15:14 +01:00
  • 23ccce4c22 Use ?SHL and ?SHR for 'bsl' and 'bsr' #504 Hans Svensson 2019-01-22 21:50:23 +01:00
  • 387fdf5c34
    Merge pull request #12 from aeternity/PT-163362624-generic-hash Ulf Norell 2019-01-22 15:04:47 +01:00
  • f0dcda27bc Update aebytecode commit #503 Ulf Norell 2019-01-22 14:54:38 +01:00
  • 5fd24fec86 Add more hash primops Ulf Norell 2019-01-21 16:53:27 +01:00
  • 4bedbfee61
    Merge pull request #11 from aeternity/PT-163083710-implement_ecverify Hans Svensson 2019-01-22 08:51:10 +01:00
  • e4c46ee16f Bump aebytecode dependency #502 Hans Svensson 2019-01-21 20:14:04 +01:00
  • d8fff8f20f Add Crypto.ecverify Hans Svensson 2019-01-21 14:20:15 +01:00
  • b074aa3323
    Rename description of node in readme (#10) Luca Favatella 2019-01-18 10:58:26 +00:00
  • 43973d4d46 Rename description of node in readme #501 Luca Favatella 2019-01-18 10:21:22 +00:00
  • 90e45e63d4
    Merge pull request #8 from aeternity/add_erlang_blake2b Hans Svensson 2019-01-14 12:19:13 +01:00
  • 0d78a5e4a0 Add Erlang implementation of Blake2B #499 Hans Svensson 2019-01-14 10:56:44 +01:00
  • b61e3270f9
    Merge pull request #6 from aeternity/improve_builtins Hans Svensson 2019-01-14 10:58:12 +01:00
  • 7503ef2f3c
    Merge pull request #7 from aeternity/PT-163146461-missing-record-fields Ulf Norell 2019-01-14 08:50:13 +01:00
  • 028334ecb6 Avoid exporting all internal functions #497 Hans Svensson 2019-01-11 16:13:17 +01:00
  • 783d74dff1 Check for missing fields in record expressions #498 Ulf Norell 2019-01-11 14:23:53 +01:00
  • 335cd4743a Use generalized baseX_int for int_to_str Hans Svensson 2019-01-11 13:37:08 +01:00
  • 77212b5eb3 rename int_digits baseX_digits Hans Svensson 2019-01-11 11:48:06 +01:00
  • 79307c34df generalize base58_int to baseX_int Hans Svensson 2019-01-11 11:46:00 +01:00
  • 9187659a1e Refactoring builtins and improve base58 encoding Hans Svensson 2019-01-11 11:09:00 +01:00
  • dbf2aa45c3
    Merge pull request #5 from aeternity/PT-tag-aesophia v2 Thomas Arts 2019-01-10 10:10:06 +01:00
  • 73a4839d2f Bump version #496 Thomas Arts 2019-01-10 09:57:55 +01:00
  • 5924197b90
    Delete spurious file (#4) Luca Favatella 2019-01-08 17:36:55 +00:00
  • 50179d2918
    Update README.md to something a bit more helpful Robert Virding 2019-01-08 17:14:10 +01:00
  • 05b80a5517
    Merge pull request #3 from aeternity/PT-163053747-missing-init-type-check Ulf Norell 2019-01-08 16:35:23 +01:00
  • fec31d858b Delete spurious file #495 Luca Favatella 2019-01-08 14:14:33 +00:00
  • 7849fe302c Add missing type check of init function #494 Ulf Norell 2019-01-08 12:27:39 +01:00
  • 5786b6d813
    Merge pull request #2 from aeternity/PT-mk-aesophia-repo Thomas Arts 2019-01-08 08:41:14 +01:00
  • ad028ddf98 Make dialyzer happy #493 Thomas Arts 2019-01-07 20:14:21 +01:00
  • b8f4a6b67a Get rid of lager in the compiler Thomas Arts 2019-01-07 19:54:53 +01:00
  • 4853d386e4 update changes from epoch master Thomas Arts 2019-01-07 19:17:49 +01:00
  • 66b1d2e98a Update rebar config Thomas Arts 2019-01-07 19:17:11 +01:00
  • 4b1e11a0ef Update LICENCE Thomas Arts 2019-01-07 19:16:39 +01:00
  • d4d02fd576 First test work commit, don't touch Robert Virding 2018-12-22 01:23:40 +01:00
  • 3ceb8c38db Initial commit Robert Virding 2018-12-22 01:13:39 +01:00