QPQ-AG/sophia
11
0
Fork 0
Code Issues 43 Pull Requests 7 Actions Packages Projects Releases 16 Wiki Activity

Commit Graph

  • 7b474e439c Improve Events error message + more tests #520 Hans Svensson 2019-02-25 21:53:52 +01:00
  • fc64ca572d Change aebytecode branch ref to a tag. Erik Stenman 2019-02-25 16:42:32 +01:00
  • eb926b1352 fix type signature #519 Ulf Norell 2019-02-25 14:42:47 +01:00
  • dc4a2ca2f9 tests for aeso:compiler:to_sophia_value/2 Ulf Norell 2019-02-25 14:24:16 +01:00
  • f866e24624 pretty print nullary constructor applications without the parens Ulf Norell 2019-02-25 14:23:44 +01:00
  • ccad660eac add compiler function to translate a vm value to Sophia AST Ulf Norell 2019-02-25 13:44:23 +01:00
  • 53b85ce6f4 Use right name for inc/1. Remove dead code. Erik Stenman 2019-02-25 13:25:36 +01:00
  • a7af62c089 Use local (patched) rebar3 in CI builds. Erik Stenman 2019-02-25 13:18:13 +01:00
  • abc70ba288 Add patched rebar3 that dont run post hooks in al deps. Erik Stenman 2019-02-25 13:12:42 +01:00
  • 6342cd6a08 Clean up. Erik Stenman 2019-02-25 13:10:04 +01:00
  • 123d1d2fa2 Upgrade to latest aebytecode. Erik Stenman 2019-02-25 09:07:52 +01:00
  • b7b54b38a8 Add release target. Erik Stenman 2019-02-20 17:34:49 +01:00
  • ae3f292f03 Skeleton for Fate backend Ulf Norell 2019-01-11 15:02:52 +01:00
  • bcdf311096 Use fortuna version of aebytecode in fortuna version of aesophia. Erik Stenman 2019-02-15 12:42:49 +01:00
  • 202a06a580 Merge pull request #25 from aeternity/PT-156466783-namespaces Robert Virding 2019-02-13 15:54:07 +01:00
  • a1d33e93ab Merge pull request #26 from aeternity/improved_roma_standalone roma Hans Svensson 2019-02-12 14:52:12 +01:00
  • d14c56d4b5 Fix testing to use new error message format #517 Robert Virding 2019-01-25 15:57:02 +01:00
  • f41b0a0ba7 Add create calldata to standalone compiler Hans Svensson 2019-02-11 21:43:22 +01:00
  • cef2383726 Cleanup whitespace, bad typespec, and remaining enacl reference Hans Svensson 2019-01-28 10:47:12 +01:00
  • 3137bc4d4a Improve the interface to the compiler Robert Virding 2019-01-11 17:36:31 +01:00
  • be9935cd7e Merge branch 'master' into quickcheck-ci #505 quickcheck-ci Thomas Arts 2019-02-11 13:11:46 +01:00
  • b5b0d30fc4 Less hacky handling of Chain.event #516 Ulf Norell 2019-02-08 14:48:38 +01:00
  • 236ef6eb89 Dialyzed! Ulf Norell 2019-02-08 14:15:15 +01:00
  • aa6d56ce9b Allow passing an explicit "file system" for included files to the compiler Ulf Norell 2019-02-08 14:05:29 +01:00
  • 0b86cdc318 Clean up test case Ulf Norell 2019-02-08 12:12:02 +01:00
  • 27cbedc7ab Further generalise used names computation Ulf Norell 2019-02-08 11:47:54 +01:00
  • 2ac47059c1 Refactor used_ids and used_types into a generic fold Ulf Norell 2019-02-08 10:39:48 +01:00
  • 421bc01012 Add error messages for bad include and nested namespace Hans Svensson 2019-02-08 11:51:50 +01:00
  • 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
  • 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
  • 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
  • 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
  • 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