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

Commit Graph

  • 81f277127d Handle signature, hash and map in create_calldata for FATE #580 Hans Svensson 2019-06-14 16:08:59 +02:00
  • 11dc632927 Add handling of auth_tx_hash Hans Svensson 2019-06-11 13:40:11 +02:00
  • e81439779c Merge pull request #87 from aeternity/PT-166636909-avoid-calldata-collision Thomas Arts 2019-06-14 13:09:25 +02:00
  • e5c64a5fad Add lit_to_fate and fix cons translation #578 Thomas Arts 2019-06-14 11:50:29 +02:00
  • a34558412d Arguments are in the body of the call, use term_to_fate before serializing them Thomas Arts 2019-06-13 12:20:41 +02:00
  • 95c41b8eee Avoid hash collisions in calldata creation Thomas Arts 2019-06-12 16:35:19 +02:00
  • 3a6337d8ca Testing that fate calldata is immune to existing __call in contract Thomas Arts 2019-06-12 16:33:26 +02:00
  • 5a7d352b11 Merge pull request #84 from aeternity/PT-166546345-upgrade-rebar3 Luca Favatella 2019-06-14 11:18:46 +01:00
  • 9eab558642 Merge pull request #88 from aeternity/PT-166694614-require Ulf Norell 2019-06-14 11:09:03 +02:00
  • 17a1fd8095 Add require builtin #579 Ulf Norell 2019-06-14 10:27:07 +02:00
  • 5628cf90b8 Merge pull request #86 from aeternity/PT-166602172-create-calldata-fate Thomas Arts 2019-06-11 15:46:30 +02:00
  • 46963a8326 Update aeso_compiler #577 Thomas Arts 2019-06-11 15:22:11 +02:00
  • 5513c4de1b New version of aebytecode Thomas Arts 2019-06-11 15:19:13 +02:00
  • ab6d7fbf56 Merge pull request #85 from aeternity/fate-crypto-ops Hans Svensson 2019-06-11 12:08:10 +02:00
  • a14fa93920 Add contract_to_address to FATE #576 Hans Svensson 2019-06-11 09:21:44 +02:00
  • c411f11fd0 Upgrade rebar3 to latest stable one #575 Luca Favatella 2019-06-11 09:30:00 +01:00
  • 3e2281a834 Make fate-backend also return a Map Hans Svensson 2019-06-10 15:13:34 +02:00
  • 7b5db76c13 aebytecode commit Ulf Norell 2019-06-05 18:20:20 +02:00
  • 95f1262b21 Missing compiler cases for crypto ops Ulf Norell 2019-06-05 18:19:53 +02:00
  • 2bbb16654f Compile crypto ops Ulf Norell 2019-06-05 14:16:33 +02:00
  • 093a5ff766 Merge pull request #83 from aeternity/PT-166407568-polymoprhic-functions Ulf Norell 2019-06-05 12:58:04 +02:00
  • 66c392e8af Make dialyzer bugger off #574 Ulf Norell 2019-06-05 12:16:19 +02:00
  • a64b72d04b aebytecode commit Ulf Norell 2019-06-05 11:15:16 +02:00
  • 6236b33115 Crash with a nicer error on r.address Ulf Norell 2019-06-05 11:54:47 +02:00
  • 3b352d8093 Generate type variables for polymorphic functions Ulf Norell 2019-06-03 13:40:42 +02:00
  • ed3ed6ded6 Check (de)serialize roundtrip in fate compiler tests Ulf Norell 2019-06-03 12:06:26 +02:00
  • a60d04d794 Fix minor code generation issues Ulf Norell 2019-06-03 11:02:37 +02:00
  • 10d9c62d53 Skeleton for inliner Ulf Norell 2019-06-03 10:40:08 +02:00
  • e3950f6c1d Merge pull request #82 from aeternity/fix-map-update-and-delete-for-fate Tobias Lindahl 2019-06-03 13:26:27 +02:00
  • 344ec74eaa Fix arg order for map_delete and renaming of vars for map_update #573 Tobias Lindahl 2019-06-03 13:20:03 +02:00
  • 4b0a3e53d6 Merge pull request #81 from aeternity/PT-166406414-v3.1.0 v3.1.0 Hans Svensson 2019-06-03 11:14:20 +02:00
  • 07c445082a Prepare v3.1.0 #572 Hans Svensson 2019-06-03 10:57:00 +02:00
  • 4f612650e3 Merge pull request #80 from aeternity/fix-basic-block-bug Ulf Norell 2019-06-03 10:35:18 +02:00
  • 80ed24a4f6 Fix bug in basic block generation #571 Ulf Norell 2019-06-03 10:30:25 +02:00
  • 05256eeb60 Merge pull request #79 from aeternity/negative_literals_in_calldata Hans Svensson 2019-06-03 09:21:22 +02:00
  • 7592390059 Merge pull request #78 from radrow/builtins Ulf Norell 2019-06-03 09:19:03 +02:00
  • bb4ef61a50 Allow negative literals in calldata and result #570 Hans Svensson 2019-06-03 09:08:53 +02:00
  • bb5a710626 Popularized use of builtin_call function #569 radrow 2019-05-31 12:21:48 +02:00
  • 758fecbb9b Merge pull request #75 from aeternity/fix_aci Hans Svensson 2019-05-31 11:33:07 +02:00
  • b1e882b115 Merge pull request #77 from aeternity/fate-compiler-improvements Ulf Norell 2019-05-28 19:00:57 +02:00
  • bea524635b Add backend argument (aevm | fate) to aeso_compiler options #568 Ulf Norell 2019-05-28 16:40:54 +02:00
  • e44a890292 Fix bug in compilation of Map.lookup Ulf Norell 2019-05-28 16:19:39 +02:00
  • d3a13eafed A record should be _one_ object #566 Hans Svensson 2019-05-28 14:25:37 +02:00
  • 0532c54ca0 Pretty print state variables Ulf Norell 2019-05-28 13:15:51 +02:00
  • 02d0025fd7 Don't use POP Ulf Norell 2019-05-28 11:49:33 +02:00
  • 0409a658b0 Update to new TUPLE instruction Ulf Norell 2019-05-28 11:45:32 +02:00
  • c045e5d653 Merge pull request #76 from aeternity/map-update-bug Ulf Norell 2019-05-28 14:03:00 +02:00
  • a95913e793 Fix bug when compiling map updates with default values #567 Ulf Norell 2019-05-28 13:47:22 +02:00
  • ec678878fa Update aeso_aci.md Hans Svensson 2019-05-28 13:18:43 +02:00
  • 4b0837dc59 Leave state/event blank if not present Hans Svensson 2019-05-28 13:07:24 +02:00
  • ed96dc1d42 Merge pull request #74 from aeternity/PT-166282300-add-missing-fate-instructions Tobias Lindahl 2019-05-28 13:05:59 +02:00
  • 60d9581fae Add missing instructions for FATE #565 Tobias Lindahl 2019-05-28 11:19:41 +02:00
  • 0ded431df8 Fix interface and use atoms instead of binaries Hans Svensson 2019-05-28 11:07:01 +02:00
  • e7419b79fd Put state and event types at the top level Hans Svensson 2019-05-28 09:56:38 +02:00
  • c60999edf0 Refactor aeso_aci with dont_unfold, etc. Hans Svensson 2019-05-27 16:04:06 +02:00
  • ea17dae93e Silence compiler warning Hans Svensson 2019-05-27 16:00:44 +02:00
  • 8a16bd4fa1 Add dont_unfold option to type inference function Hans Svensson 2019-05-27 16:00:08 +02:00
  • 1ed40f1cca Pretty print state variables 'a instead of '1 Hans Svensson 2019-05-27 15:59:13 +02:00
  • 5c98317a5a Make 'indexed' keyword optional Hans Svensson 2019-05-27 15:57:46 +02:00
  • 33dbeeefad Consider namespaces when collecting used_types Hans Svensson 2019-05-27 15:56:43 +02:00
  • 098dac65e2 Merge pull request #73 from aeternity/PT-162805991-fate-state Tobias Lindahl 2019-05-28 09:59:22 +02:00
  • 9cf8733f77 The state is always live to prevent bad optimizations #564 Tobias Lindahl 2019-05-28 09:52:50 +02:00
  • 98f349f67c Merge pull request #72 from aeternity/bad-record-compiler-crash Ulf Norell 2019-05-27 12:18:24 +02:00
  • 96547ea2ec Test for record field parse error #563 Ulf Norell 2019-05-27 12:04:38 +02:00
  • ee03442ddf Return parse error instead of crashing the type checker Ulf Norell 2019-05-27 11:58:09 +02:00
  • 0fa09467f6 Pt 166148534 refactor fate code (#71) Tobias Lindahl 2019-05-23 14:01:41 +02:00
  • dcae96ed21 Merge pull request #70 from aeternity/PT-166147620-prepare_v3 v3.0.0 Hans Svensson 2019-05-21 10:37:41 +02:00
  • 94689dd0e9 Prepare for v3.0.0 #561 Hans Svensson 2019-05-21 09:55:17 +02:00
  • be7c0e1bd4 Remove escript aesophia Hans Svensson 2019-05-21 09:54:42 +02:00
  • 8eaafa736c Merge pull request #69 from aeternity/PT-162578475-stateful Ulf Norell 2019-05-15 15:44:37 +02:00
  • cf5a8aeb5f changelog #560 Ulf Norell 2019-05-14 10:10:53 +02:00
  • 9e555a3121 Fix type definition Ulf Norell 2019-05-14 09:42:27 +02:00
  • d051fa6c89 Remove bad code Ulf Norell 2019-05-14 09:42:17 +02:00
  • d4238c0bdc Merge pull request #68 from aeternity/PT-165964555-make-remote-calls-to-contract-objects Tobias Lindahl 2019-05-14 09:41:31 +02:00
  • 389072fb12 Add stateful to __call Ulf Norell 2019-05-14 09:32:52 +02:00
  • 1760593170 Keep the contract type in fate code #559 Tobias Lindahl 2019-05-14 09:29:52 +02:00
  • d8dd6b900f Remove unused test contract Ulf Norell 2019-05-13 17:51:56 +02:00
  • 74d4048d9f Check that init doesn't read or write the state Ulf Norell 2019-05-13 17:51:47 +02:00
  • 6bd2b7c483 Remember source location when computing used names Ulf Norell 2019-05-13 17:50:34 +02:00
  • 5aed8b3ef5 Check stateful annotations Ulf Norell 2019-05-13 13:39:17 +02:00
  • e1a798aef4 Check for repeated argument names to functions Ulf Norell 2019-05-10 14:04:01 +02:00
  • 23cc8e1132 Letrec and letfun (#65) Ulf Norell 2019-05-10 13:27:57 +02:00
  • 691ae72fbb Merge pull request #66 from aeternity/PT-165857097-add-call-value-instruction Tobias Lindahl 2019-05-10 13:15:22 +02:00
  • 8830095c7e Add call value instruction in fate #557 Tobias Lindahl 2019-05-10 12:34:06 +02:00
  • 251b876495 Add value and gas to remote calls (#64) Tobias Lindahl 2019-05-10 09:00:36 +02:00
  • f8ee8f7129 Merge pull request #63 from aeternity/PT-165440601-165713319-sophia_addons Hans Svensson 2019-05-09 10:34:45 +02:00
  • 192ec207a7 Add Contract.creator and address checking primitives #554 Hans Svensson 2019-05-09 09:54:04 +02:00
  • d16fb82e25 Break out state and event from typedefs and update docs extend-aci-interface Robert Virding 2019-05-08 16:06:58 +02:00
  • 0aa1c89556 Fate compiler (#62) Ulf Norell 2019-05-07 15:48:47 +02:00
  • d2cd97def7 Add handling of creating/updating maps and records, definitely WIP Robert Virding 2019-04-29 00:56:31 +02:00
  • 71b97cba62 Merge pull request #61 from aeternity/PT-165597438-equality-on-bytes Ulf Norell 2019-04-26 08:47:14 +02:00
  • 8a381e5ef1 Support equality on bytes(N) #552 Ulf Norell 2019-04-25 16:06:50 +02:00
  • 5455d0fcd7 Fixed a type error and test, definitely WIP Robert Virding 2019-04-25 12:19:49 +02:00
  • 2d3e6ab6e0 Refactor internal code and more add statements, definitely WIP Robert Virding 2019-04-25 11:55:28 +02:00
  • 386419f112 Merge pull request #60 from aeternity/PT-164629541-generic_hash_and_signature Hans Svensson 2019-04-24 08:58:43 +02:00
  • 45a62f0807 Simplify ast_typerep #551 Hans Svensson 2019-04-24 08:44:05 +02:00
  • 3255c62e0e Revert bytes(N) from icode/vm-types Hans Svensson 2019-04-23 17:47:50 +02:00
  • 70a0f77793 Replace hash with bytes, definitely WIP Robert Virding 2019-04-23 11:53:34 +02:00
  • 04b3227317 Update documentation, definitely WIP Robert Virding 2019-04-23 11:34:19 +02:00
  • d9be8b2fca Saving even more stuff, definitely WIP Robert Virding 2019-04-18 17:49:40 +02:00