QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Commit Graph

  • b9f585ebaf
         Merge pull request #205 from aeternity/fate-flatten-store Ulf Norell 2019-12-12 09:22:37 +01:00
  • 954af13f59 Fix debug printing of store registers #696 Ulf Norell 2019-12-12 09:14:34 +01:00
  • 65ac0b5f4f Fix missing type annotation in list comprehension body #699 Ulf Norell 2019-12-12 08:50:17 +01:00
  • 2b993012ac Handle list comprehensions in pretty printer Ulf Norell 2019-12-12 08:49:54 +01:00
  • 9c22074220 Handle qualified constructors in patterns #698 Ulf Norell 2019-12-11 09:02:32 +01:00
  • 2e4558b3b4 Changelog Ulf Norell 2019-12-10 12:57:52 +01:00
  • a403a9d227 Unbox singleton tuples and records Ulf Norell 2019-11-26 15:08:57 +01:00
  • c7b846cbfe
         Merge pull request #190 from aeternity/GH-189-parse-error-crash Ulf Norell 2019-12-09 10:27:20 +01:00
  • bf5e2e2443 Fix parse errors causing crashes instead of nice errors #681 Ulf Norell 2019-12-06 17:09:48 +01:00
  • 75797686ad
         Merge pull request #187 from aeternity/GH-2850-add_fancy_crypto_bls12_381 Hans Svensson 2019-11-29 15:27:38 +01:00
  • ed9384c2af
         Merge pull request #185 from aeternity/tb-rebar-lock-check Tino Breddin 2019-11-27 17:28:31 +01:00
  • 1c24a700dc Add BLS12-381 operations (to FATE) #678 Hans Svensson 2019-11-27 10:41:14 +01:00
  • f2e9fbcc51
         Merge pull request #186 from aeternity/merge_lima Hans Svensson 2019-11-27 10:50:29 +01:00
  • 2d49426fe0 Merge 'origin/lima' into master #677 Hans Svensson 2019-11-27 10:46:18 +01:00
  • f5df2c1a5f Add CI workflow #676 Tino Breddin 2019-11-26 17:27:26 +01:00
  • 04445e4dee Add CI check to verify rebar.lock Tino Breddin 2019-11-26 17:24:02 +01:00
  • 46a30b118f Get rid of unnecessary return instruction after tail-call Ulf Norell 2019-09-30 11:59:27 +02:00
  • bb1a45c557 Improve case-on-constructor optimisation Ulf Norell 2019-09-24 16:22:56 +02:00
  • 0a22c7a34a More let-floating Ulf Norell 2019-09-24 16:22:41 +02:00
  • c8153f94a6 More aggressive freshening to avoid shadowing issues Ulf Norell 2019-09-24 16:22:25 +02:00
  • 63d51baaa3 Dialyzer issues Ulf Norell 2019-09-24 11:00:10 +02:00
  • cb045b0256 whitespace Ulf Norell 2019-09-24 10:43:21 +02:00
  • c84064da7f Inline local functions and simplify case-on-constructor Ulf Norell 2019-09-24 10:29:36 +02:00
  • ad88797cef Proper handling of lets in term_to_fate Ulf Norell 2019-09-24 10:29:08 +02:00
  • 6c3932b10c Flattened state layout Ulf Norell 2019-09-23 21:57:08 +02:00
  • 8d7c637241 Don't confuse variables and store registers in fate asm generation Ulf Norell 2019-09-23 16:49:48 +02:00
  • a8119f1219 Track state layout Ulf Norell 2019-09-23 15:56:40 +02:00
  • d0fdd06d66 Change get_state and set_state fcode primitives to take a register Ulf Norell 2019-09-23 14:51:15 +02:00
  • 99ecda4b7b Fix warnings in test suites Ulf Norell 2019-09-23 12:17:22 +02:00
  • e645a8d034 Optimize before lambda lifting Ulf Norell 2019-09-02 11:17:13 +02:00
  • 499e2f8200 Handle records and type aliases correctly in fcode Ulf Norell 2019-08-30 16:40:17 +02:00
  • 5465b74ac9 Allow specifying store register in FATE backend Ulf Norell 2019-08-30 16:39:51 +02:00
  • 6ca63e4b40
         Merge pull request #184 from aeternity/GH-181-prepare-4.1.0 v4.1.0 Hans Svensson 2019-11-26 09:02:56 +01:00
  • 08b6148223 Bump version to 4.1.0 #675 Ulf Norell 2019-11-26 09:00:44 +01:00
  • eec70f03a5
         Merge pull request #183 from aeternity/lima Ulf Norell 2019-11-25 13:16:17 +01:00
  • 8a47603b62
         Merge pull request #182 from aeternity/GH-181-prepare-4.1.0-rc1 v4.1.0-rc1 #674 Ulf Norell 2019-11-25 12:16:03 +01:00
  • d4c9d369b1 Remove aesophia_cli and aesophia_http stuff from change log #673 Ulf Norell 2019-11-25 12:07:05 +01:00
  • 8984ecc32d Bump version numbers Ulf Norell 2019-11-25 11:55:31 +01:00
  • 025c837886 4.1.0-rc1 change log Ulf Norell 2019-11-25 11:52:42 +01:00
  • 06e6138de1 Merge release notes for 4.0.0 release candidates into 4.0.0 entry Ulf Norell 2019-11-25 11:38:41 +01:00
  • 7eb4423e70
         Merge pull request #180 from aeternity/fate-optimization-fixes Ulf Norell 2019-11-25 11:29:35 +01:00
  • bd64260e37 Remove impossible case #671 Ulf Norell 2019-11-25 10:42:37 +01:00
  • 6380e04a97 Strip switches on variants with only catch-all Ulf Norell 2019-11-19 16:39:01 +01:00
  • 2be3c9194d Optimize switches with a single successful branch Ulf Norell 2019-11-19 14:49:06 +01:00
  • d0cfd9cbbe Export to_basic_blocks for tests Ulf Norell 2019-11-19 13:11:06 +01:00
  • 7f7f53e044 Fix issue in basic block generation Ulf Norell 2019-11-19 13:10:56 +01:00
  • 7d8a773d6a Fix type specs Ulf Norell 2019-11-19 11:24:54 +01:00
  • c2c8e297ae
         Merge pull request #178 from aeternity/PT-158904718-aens-update-sophia skkw 2019-11-18 18:39:54 +01:00
  • 5c5d3c60ef changed type of client ttl to int option #669 skkw 2019-11-18 16:25:47 +01:00
  • d3f5d7f5c5 Fix lost dependency when inlining switch target Ulf Norell 2019-11-18 12:09:10 +01:00
  • 0b474843f9 Protect against ill-typed code Ulf Norell 2019-11-16 10:18:40 +01:00
  • 1a628ab29f Fix bad annotations on switch-body Ulf Norell 2019-11-15 22:38:38 +01:00
  • 03ad1ad1dd Protect switch optimizations against ill-typed code Ulf Norell 2019-11-14 14:06:43 +01:00
  • bfcb9ab324 Annotate switch bodies Ulf Norell 2019-11-12 13:32:19 +01:00
  • 4cc88be296 Desugar STORE R a to POP R Ulf Norell 2019-11-12 10:32:02 +01:00
  • 505603ad71 More optimizations for impure instructions Ulf Norell 2019-11-12 10:06:18 +01:00
  • 2d7c860e3a Rewrite liveness analysis Ulf Norell 2019-11-12 09:29:46 +01:00
  • 4976e0402e Don't crash constant propagation on ill-typed code Ulf Norell 2019-11-11 13:01:55 +01:00
  • 0478df72fc Fix dependency analysis for loops Ulf Norell 2019-11-11 13:01:36 +01:00
  • 35b20800c9 Refactor argument inlining optimization Ulf Norell 2019-11-11 11:09:18 +01:00
  • d4c5c610ee Don't include stack and immediates in liveness annotations Ulf Norell 2019-11-11 10:34:40 +01:00
  • 6868bec3ed Fix bug in dependency analysis of GAS Ulf Norell 2019-11-11 10:15:40 +01:00
  • e5702c068c Impure == writes to the chain Ulf Norell 2019-11-11 10:15:14 +01:00
  • a4b21063e3 Get rid of IsOp Ulf Norell 2019-11-11 10:13:21 +01:00
  • aca6b89fcf Store arguments are now separate from vars Ulf Norell 2019-11-11 10:13:02 +01:00
  • 13b196568b Handle reads from undefined variables in liveness analysis Ulf Norell 2019-11-11 10:12:30 +01:00
  • eba4f1c79c Call instructions read the function argument Ulf Norell 2019-11-06 11:53:49 +01:00
  • 1ca3018958 Don't run pretty printer if not pretty printing Ulf Norell 2019-11-06 11:28:46 +01:00
  • e6b5c5a526 Fix bug in short-cut for IS_NIL Ulf Norell 2019-11-06 11:15:01 +01:00
  • 47ad607dd5 Handle arbitrary store registers Ulf Norell 2019-11-06 11:14:28 +01:00
  • e8a54395bf Export optimize_fun for tests Ulf Norell 2019-11-06 11:13:45 +01:00
  • a87065c3a0
         Merge pull request #177 from aeternity/GH-174-encode-decode-bits-lima Ulf Norell 2019-11-18 12:19:47 +01:00
  • 49f9ef955f Prefix format annotation for negative numbers #668 Ulf Norell 2019-11-18 11:55:04 +01:00
  • f42353b300 Handle encoding/decoding bits Ulf Norell 2019-11-18 11:35:08 +01:00
  • 2a3274ba25
         Merge pull request #175 from aeternity/GH-174-encode-decode-bits Ulf Norell 2019-11-18 12:12:45 +01:00
  • 13b7bde44b Prefix format annotation for negative numbers #666 Ulf Norell 2019-11-18 11:55:04 +01:00
  • baf527b5fa Handle encoding/decoding bits Ulf Norell 2019-11-18 11:35:08 +01:00
  • 5d23a76094
         Merge pull request #173 from aeternity/GH-172-validate-byte-code Ulf Norell 2019-11-18 10:00:04 +01:00
  • 878140e03c Add function to validate byte code against source code #664 Ulf Norell 2019-11-15 12:17:11 +01:00
  • 422baa5b65
         Merge pull request #155 from aeternity/PT-158904718-aens-update-sophia skkw 2019-11-12 14:49:42 +01:00
  • 126e04ae42 support for AENS.update call #646 skkw 2019-09-10 15:33:02 +02:00
  • ac58eb4259
         Merge pull request #171 from aeternity/GH-170-stdlib_in_escript Hans Svensson 2019-11-11 11:40:29 +01:00
  • 22b88bd393 Add stdlib include handling when inside an escript #662 Hans Svensson 2019-11-11 11:05:07 +01:00
  • 83c3015899
         Merge pull request #169 from aeternity/fix-illformed-lex-errors Ulf Norell 2019-10-21 09:00:43 +02:00
  • ec9434fbfd Fix mangled lex errors #660 Ulf Norell 2019-10-21 08:53:32 +02:00
  • b81312a714
         Merge pull request #165 from aeternity/GH-164-prepare_release v4.0.0 Hans Svensson 2019-10-11 15:52:29 +02:00
  • 63c0b714d0 Prepare release - v4.0.0 #656 Hans Svensson 2019-10-08 13:11:48 +02:00
  • d018cc5819
         Merge pull request #168 from aeternity/compiler-bug Ulf Norell 2019-10-10 14:35:56 +02:00
  • f5b2732b04 Don't get rid of store updates! #659 Ulf Norell 2019-10-10 14:19:28 +02:00
  • f86f7984f4
         Merge pull request #167 from aeternity/radrow-patch-1 Hans Svensson 2019-10-10 08:31:48 +02:00
  • 1ae0a42071
         Fix not instantiated uvar #658 Radosław Rowicki 2019-10-09 17:42:12 +02:00
  • 18ae801333
         Merge pull request #162 from aeternity/address-to-contract Ulf Norell 2019-10-01 14:28:32 +02:00
  • 32d52f0abc
         Merge pull request #163 from aeternity/fail-on-multiple-contracts Ulf Norell 2019-10-01 14:28:06 +02:00
  • 5e6ff6c9a7 Nice type error if contract function is called as from a namespace #654 Ulf Norell 2019-10-01 13:40:01 +02:00
  • 2d6d506d63 Fail on function definitions in contracts other than the main contract Ulf Norell 2019-10-01 13:13:27 +02:00
  • 482d22d46b
         Merge pull request #161 from aeternity/version-pragmas Ulf Norell 2019-10-01 14:10:06 +02:00
  • a333888fb9 aebytecode commit #653 Ulf Norell 2019-09-30 14:47:26 +02:00
  • 5fc6e18cd2 Add Address.to_contract Ulf Norell 2019-09-30 14:37:47 +02:00
  • dd94a6bd67 add pragma to check compiler version #652 Ulf Norell 2019-09-27 17:31:10 +02:00
  • 7f86b7d301
         Merge pull request #160 from aeternity/prepare_rc5 v4.0.0-rc5 Hans Svensson 2019-09-27 09:34:49 +02:00