Commit Graph

  • bb0da8d3ca Fixed type printing radrow 2020-03-26 20:22:44 +01:00
  • 020fe5f702 More tests radrow 2020-03-26 20:09:03 +01:00
  • 702a09fcbf Enchanted Frac library a bit #744 radrow 2020-03-26 19:28:54 +01:00
  • 515838e2f9
    Handle negative numbers in aci (#247) Ulf Norell 2020-03-23 18:11:00 +01:00
  • 67496010d5 Fix prettpr attr display. Make dialyzer happy radrow 2020-03-23 18:04:33 +01:00
  • da44338685 Fix error message test radrow 2020-03-23 16:55:15 +01:00
  • 15896a2318 Fix including by path radrow 2020-03-23 16:50:47 +01:00
  • 51dd74dd7c Properly ban nested contracts radrow 2020-03-23 16:32:08 +01:00
  • f2c80af091 Updated tests, banned type decls and toplevel letvals radrow 2020-03-23 16:27:30 +01:00
  • a5cbf2fd79 Updated CHANGELOG #741 changelog-update radrow 2020-03-23 12:48:47 +01:00
  • bfb1e87348 Updated CHANGELOG #738 radrow 2020-03-23 12:07:39 +01:00
  • f999272442
    Fixed example #740 Radosław Rowicki 2020-03-23 12:23:52 +01:00
  • ca236b8e71 Handle negative numbers in aci Ulf Norell 2020-03-19 12:11:55 +01:00
  • ff2be7692c
    Formatting #709 Radosław Rowicki 2020-03-17 13:39:43 +01:00
  • 365ba4e65f Prepared for REPL usage radrow 2019-08-01 21:52:14 +02:00
  • 383774d5a6
    Update TOC in sophia.md #736 Radosław Rowicki 2020-03-13 19:31:36 +01:00
  • 83e03f3013
    Added documentation (#239) Radosław Rowicki 2020-03-10 12:39:39 +01:00
  • 42cd47d1b3
    Merge pull request #241 from aeternity/GH-203-protected-calls Ulf Norell 2020-03-02 16:15:05 +01:00
  • feee748c99 Language #730 radrow 2020-03-02 13:06:14 +01:00
  • cdb9d3c63e
    Grammar Radosław Rowicki 2020-03-02 13:01:54 +01:00
  • 5f91fa27d8
    Typo Radosław Rowicki 2020-03-02 13:01:36 +01:00
  • f96c028481
    Minor format Radosław Rowicki 2020-03-02 13:01:26 +01:00
  • 7a3b08fdc7 Moved out AEVM ABI radrow 2020-03-02 12:56:52 +01:00
  • 93d2086ddf aebytecode commit #732 Ulf Norell 2020-03-02 08:51:54 +01:00
  • 9487b79f42 Fix dialyzer complaints Ulf Norell 2020-03-02 11:53:27 +01:00
  • e64ac9396a Test cases for protected calls Ulf Norell 2020-03-02 11:41:45 +01:00
  • 4a812b6f3b Error message tweaks Ulf Norell 2020-02-25 10:45:38 +01:00
  • fe2d93ea8a Compile protected calls to CALL_PGR Ulf Norell 2020-02-24 15:02:19 +01:00
  • ecbc15db1b Add 'protected' named argument to remote calls Ulf Norell 2020-02-24 14:32:04 +01:00
  • a22971375d
    Split TOC Radosław Rowicki 2020-02-29 12:29:00 +01:00
  • efbe447827
    Update editor message Radosław Rowicki 2020-02-29 12:26:10 +01:00
  • 37d6778bb4 Fixed link radrow 2020-02-29 12:18:52 +01:00
  • a0ffdf2ab3 Format fix, TOC added radrow 2020-02-29 12:17:58 +01:00
  • d0caee24d9
    Merge pull request #240 from aeternity/GH-176-additional_documentation Hans Svensson 2020-02-28 11:16:38 +01:00
  • 57eb77f2f8 Add some comments to String.aes #731 Hans Svensson 2020-02-28 10:55:39 +01:00
  • 9cf38a3369 Typos radrow 2020-02-27 16:07:20 +01:00
  • 78575cf985 Frac doc comparison warning radrow 2020-02-27 16:05:02 +01:00
  • 3dcd462a3a Frac doc radrow 2020-02-27 15:56:01 +01:00
  • df56f8230d Stdlib mention radrow 2020-02-27 14:29:24 +01:00
  • f7caf73714 Events radrow 2020-02-27 14:23:04 +01:00
  • edd76d2878 Format fix radrow 2020-02-27 13:49:47 +01:00
  • a9338cbb54 Update readme radrow 2020-02-27 13:44:22 +01:00
  • b7c8b13cae Update readme radrow 2020-02-27 13:42:10 +01:00
  • f225a8243b Added documentation radrow 2020-02-27 13:39:30 +01:00
  • 53ed60b498
    Merge pull request #238 from aeternity/GH-176-more_string_functions Hans Svensson 2020-02-26 20:01:10 +01:00
  • e49738c90c New aebytecode reference #729 Hans Svensson 2020-02-26 14:16:13 +01:00
  • a38a365181 Change Char.to_lower/upper into String.to_lower/upper Hans Svensson 2020-02-26 14:15:49 +01:00
  • d7fa4d65ec
    More comments in stdlib (#237) Radosław Rowicki 2020-02-25 12:56:51 +01:00
  • d48ff1c02b More comments in stdlib #728 radrow 2020-02-25 11:18:02 +01:00
  • 0dddac3d86
    Merge pull request #236 from aeternity/GH-176-more_string_functions Hans Svensson 2020-02-25 09:49:00 +01:00
  • 3da694e798 New aebytecode commit hash #727 Hans Svensson 2020-02-24 15:36:19 +01:00
  • e98edd4eef Handle UTF-8 in character literals Hans Svensson 2020-02-24 15:35:54 +01:00
  • 2bad76314f More efficient implementations in String.aes Hans Svensson 2020-02-24 15:34:23 +01:00
  • bd7ed2ef8c
    Instant unification error on arguments count mismatch (#225) Radosław Rowicki 2020-02-21 10:28:55 +01:00
  • b9acf24dca Make String.aes a stdlib + add more string functions Hans Svensson 2020-02-21 09:45:11 +01:00
  • e3055ef168
    Add newline #716 Radosław Rowicki 2020-02-20 15:51:49 +01:00
  • f2af3f96f7 add testcase radrow 2020-02-20 15:50:55 +01:00
  • 1085f7bd86 Instant unification error on arguments count mismatch radrow 2020-02-13 12:08:05 +01:00
  • 2bf65cfd98
    Add Frac (#222) Radosław Rowicki 2020-02-13 11:02:47 +01:00
  • 6682b24156
    Merge pull request #223 from aeternity/GH-202-Auth_tx_introspection Hans Svensson 2020-02-11 15:48:46 +01:00
  • b31be6227d Update aebytecode reference #714 Hans Svensson 2020-02-11 10:00:59 +01:00
  • bbc8555331 Auth.tx implementation and types Hans Svensson 2020-02-11 10:00:46 +01:00
  • ac0343ecc1 Add Frac #713 radrow 2020-02-07 21:55:59 +01:00
  • b2c4e8e4a6 Add Frac #712 radrow 2020-02-07 21:55:59 +01:00
  • 12377f23e3 Added optimizer #711 radrow 2020-02-10 12:14:46 +01:00
  • 63d5a77687 Restrict relation operators to ints #710 radrow 2020-02-07 22:52:59 +01:00
  • 47e3928198 Fix bugs in Frac radrow 2020-02-07 22:40:14 +01:00
  • 5e45c4a75a Add Frac radrow 2020-02-07 21:55:59 +01:00
  • 13bc821211
    Optimize stdlib (#215) Radosław Rowicki 2020-02-07 19:51:12 +01:00
  • 9cfc620a6b Prepared for REPL usage #707 radrow 2019-08-01 21:52:14 +02:00
  • 19451160ff Optimize stdlib #706 radrow 2020-02-07 15:41:18 +01:00
  • 34c10e1518
    Merge pull request #214 from aeternity/GH-188-AENS_lookup Hans Svensson 2020-02-03 14:37:55 +01:00
  • bb79e7dd89 Update aebytecode reference #705 Hans Svensson 2020-02-03 13:32:16 +01:00
  • c3426f0e65 Add AENS.lookup Hans Svensson 2020-02-03 12:52:00 +01:00
  • db01e237c1 Add Oracle.expiry Hans Svensson 2020-02-03 12:24:27 +01:00
  • 760d2841d1 From Iris (with AENS.update) AENS.resolve is not Pure Hans Svensson 2020-02-03 12:22:34 +01:00
  • 43013ec920
    Merge pull request #213 from aeternity/merge_lima_to_master Hans Svensson 2020-01-15 15:54:41 +01:00
  • d821de6381 Merge 'origin/lima' into 'origin/master' #704 Hans Svensson 2020-01-15 15:03:11 +01:00
  • efd45df820
    Merge pull request #212 from aeternity/GH-211-prepare_release_4_2_0 v4.2.0 Hans Svensson 2020-01-15 11:58:47 +01:00
  • a6f51d23f3 Bump version to 4.2.0 and fix CHANGELOG #703 Hans Svensson 2020-01-15 11:39:25 +01:00
  • 4d4a14a9ab
    GH-196 pattern matching lhs (#210) Ulf Norell 2020-01-15 09:41:03 +01:00
  • 0c2c7e0ed6 Changelog for pattern-matching lets #701 Ulf Norell 2020-01-14 14:28:07 +01:00
  • ac9e9716cb partial case-on-constructor Ulf Norell 2019-09-27 16:37:13 +02:00
  • 43fa667f03 Fix type spec Ulf Norell 2020-01-14 12:39:52 +01:00
  • 911c54eda0 Changelog Ulf Norell 2020-01-14 12:34:09 +01:00
  • 238ffdc8e0 Allow pattern matching in left-hand sides Ulf Norell 2020-01-14 10:08:27 +01:00
  • 282f743925
    Merge pull request #209 from aeternity/merge_lima_to_master Hans Svensson 2019-12-19 15:34:26 +01:00
  • cf1072140e Merge 'origin/lima' into merge_lima_to_master #700 Hans Svensson 2019-12-19 15:09:48 +01:00
  • fdba063337 Allow block with separate type signature and definition of a function Ulf Norell 2019-12-17 13:53:41 +01:00
  • f7abaf07fa Add list comprehension match to test case Ulf Norell 2019-12-16 14:07:16 +01:00
  • d019e44924 Compile values to immediates when possible Ulf Norell 2019-12-16 08:46:58 +01:00
  • ad54134961 Parse negative literal patterns Ulf Norell 2019-12-16 08:46:35 +01:00
  • b51a79b5e1 Allow patterns in lets and list comprehension binds Ulf Norell 2019-12-10 16:12:08 +01:00
  • c3aaa01713 Add list comprehension match to test case #697 Ulf Norell 2019-12-16 14:07:16 +01:00
  • 59cc6d0d36 Compile values to immediates when possible Ulf Norell 2019-12-16 08:46:58 +01:00
  • 4dc9b0f876 Parse negative literal patterns Ulf Norell 2019-12-16 08:46:35 +01:00
  • ac67dc9907 Allow patterns in lets and list comprehension binds Ulf Norell 2019-12-10 16:12:08 +01:00
  • d844c4d276 Fix missing type annotation in list comprehension body Ulf Norell 2019-12-12 08:50:17 +01:00
  • 64e2fff91a Handle list comprehensions in pretty printer Ulf Norell 2019-12-12 08:49:54 +01:00
  • d4f291f252 Handle qualified constructors in patterns Ulf Norell 2019-12-11 09:02:32 +01:00