Code

New Func backend: First iteration#559

Code

Draft

byakuren-hijiri wants to merge 163 commits intotact-lang:maintact-lang/tact:mainfrom byakuren-hijiri:526-func-codegenbyakuren-hijiri/tact:526-func-codegenCopy head branch name to clipboard

+28,392-125

Commits

Commits on Jul 12, 2024

• feat: Initial draft of the new backend.

  Show description for 3e7c7b4
  byakuren-hijiri

  committed
  3e7c7b4

Commits on Jul 13, 2024

• feat(codegen): Support all ops

  byakuren-hijiri

  committed
  60831d1

• feat(codegen): Support unary expressions + refactor

  byakuren-hijiri

  committed
  a221569

• feat(func): Support regular assigns

  byakuren-hijiri

  committed
  d7acbb2

• feat(codegen): Support assign statements

  byakuren-hijiri

  committed
  29cf7b5

• chore(codegen): Refactor statements

  byakuren-hijiri

  committed
  11a1487

• feat(codegen): Support field access

  byakuren-hijiri

  committed
  c989cb8

• fix(syntax): Remove assignments from available binary operations

  byakuren-hijiri

  committed
  477eb2c

• chore(syntax): Refactor

  byakuren-hijiri

  committed
  2fd26e7

• feat(codegen): Support all the binary expressions

  byakuren-hijiri

  committed
  b327bb9

• chore(function): Reuse resolveFuncType

  byakuren-hijiri

  committed
  811d659

Commits on Jul 14, 2024

• feat(codegen): Constructor functions + relevant changes in AST

  byakuren-hijiri

  committed
  5c0af8a

• chore(codegen): Func example

  byakuren-hijiri

  committed
  c7bfbc9

• feat(codegen): Introduce CodegenContext

  Show description for 2f219f3
  byakuren-hijiri

  committed
  2f219f3

• feat(codegen): Calls to constructor functions + context-related logic

  byakuren-hijiri

  committed
  7d5e5f3

• feat(codegen): Support struct values/objects

  byakuren-hijiri

  committed
  b0f0dc4

• fix(codegen): Minor errors

  byakuren-hijiri

  committed
  a7f85c5

• feat(ast): Multiline comments

  byakuren-hijiri

  committed
  e3e0715

• fix(formatter): Function signatures

  byakuren-hijiri

  committed
  ee6d514

• feat(formatter): Indentation

  byakuren-hijiri

  committed
  271f3c8

• chore(formatter): Extra newlines

  byakuren-hijiri

  committed
  bd067c1

• feat(codegen): Comments, pragmas, includes in the generated contract

  byakuren-hijiri

  committed
  03f7328

• fix(formatter): VarDef w/ local type inference

  byakuren-hijiri

  committed
  583bec2

• fix(codegen): tuples=>tensors as return values of functions

  byakuren-hijiri

  committed
  ca0b094

• feat(codegen): contract=>module; draft main contract generation logic

  byakuren-hijiri

  committed
  515e89e

• feat(codegen): Support init_of and ternary expressions

  byakuren-hijiri

  committed
  063e2e3

Commits on Jul 15, 2024

• feat(syntax): Function definition/declaration

  byakuren-hijiri

  committed
  75bcb70

• feat(codegen): Support multi-file generation

  byakuren-hijiri

  committed
  cd22057

• feat(codegen): lazy_deployment_completed and get_abi_ipfs

  byakuren-hijiri

  committed
  77d7b64

• feat(syntax): Support string literal types

  byakuren-hijiri

  committed
  1e3e435

• feat(codegen): Generate supported_interfaces

  byakuren-hijiri

  committed
  da80237

Commits on Jul 16, 2024

• feat(syntax): Introduce constructors

  byakuren-hijiri

  committed
  ad7d2ec

Commits on Jul 17, 2024

• feat(syntax+fmt): Support hex int literals; refactor

  byakuren-hijiri

  committed
  0b0383d

• fix(fmt): Missing semicolons

  byakuren-hijiri

  committed
  6c86d61

• feat(codegen): Routers; handlers for receivers

  byakuren-hijiri

  committed
  3f0ed5b

• feat(syntax+codegen): Support new AST constructors

  byakuren-hijiri

  committed
  9ccdbff

Commits on Jul 18, 2024

• feat(syntax): Support different comment styles

  byakuren-hijiri

  committed
  9611476

• chore(syntax): %s/varDef/vardef/g for consistency

  byakuren-hijiri

  committed
  c8ce46a

• feat(syntax): Utilize FuncAstIdExpr for names instead of raw strings

  byakuren-hijiri

  committed
  e9a0166

• feat(tests): Differential tests based on jest' diff utility

  byakuren-hijiri

  committed
  571b126

• fix(fmt): Minor fixes

  byakuren-hijiri

  committed
  f557114

• fix(fmt): Trailing whitespaces in comments

  byakuren-hijiri

  committed
  29701e6

• fix(codegen): Typo

  byakuren-hijiri

  committed
  93932d4

Commits on Jul 19, 2024

• feat(formatter): line length limit + multiline tensor expressions

  byakuren-hijiri

  committed
  59c5202

• feat(syntax+formatter): Support function receivers

  byakuren-hijiri

  committed
  559b406

• fix(codegen): Correct function receivers

  byakuren-hijiri

  committed
  8db5675

• chore(compile): Optional debug prints for codegen output

  byakuren-hijiri

  committed
  a2ee2b8

• fix(codegen): Get rid of extra function attributes

  byakuren-hijiri

  committed
  fad1dc6

• chore(codegen): Replace the rest of ad-hoc initializers w/ constructors

  byakuren-hijiri

  committed
  97216d1

• feat(syntax): Extra check for implicit Object->string conversion

  byakuren-hijiri

  committed
  f666ac0

• feat(syntax): asm functions

  byakuren-hijiri

  committed
  e23bbd5

• feat(codegen): Separate Literal generator; string literals support

  byakuren-hijiri

  committed
  fc69661

• feat(codegen): Support Address

  byakuren-hijiri

  committed
  245e4c9

• feat(codegen): Support Cell and Comment literals

  byakuren-hijiri

  committed
  7204e74

• chore(syntax): More informative error message

  byakuren-hijiri

  committed
  7b564f1

• fix(codegen): [object Object] in output

  byakuren-hijiri

  committed
  2debb1e

• fix(codegen): Comment position

  byakuren-hijiri

  committed
  442dcad

Commits on Jul 20, 2024

• feat(syntax): Support extra CR

  byakuren-hijiri

  committed
  2b3f4f2

• feat(codegen): Support receivers

  byakuren-hijiri

  committed
  5961ff2

• feat(syntax): Support value in method_id attributes

  byakuren-hijiri

  committed
  9065452

• fix(codegen): Comment position

  byakuren-hijiri

  committed
  9baeac5

• feat(codegen): Support getters

  byakuren-hijiri

  committed
  49d246c

• feat(codegen): CRs in routers code to look as the old backend

  byakuren-hijiri

  committed
  aff835e

Commits on Jul 21, 2024

• feat(codegen): Context management to replicate some Writer logic

  byakuren-hijiri

  committed
  6cf09e5

Commits on Jul 22, 2024

• feat(codegen): Support internal receivers

  byakuren-hijiri

  committed
  39d3127

• fix(codgen): Bug in the old backend

  byakuren-hijiri

  committed
  1a655d8

• feat(codegen): Support external receivers

  byakuren-hijiri

  committed
  9cddfa1

Commits on Jul 23, 2024

• fix(codegen): Arguments of throw_unless

  Show description for cc88488
  byakuren-hijiri

  committed
  cc88488

• feat(formatter): Set parens around non-trivial unary expressions

  byakuren-hijiri

  committed
  51defe8

• feat(codegen): More convinient context API for adding function

  byakuren-hijiri

  committed
  265cf94

• feat(codegen): Support init and initChild functions

  byakuren-hijiri

  committed
  2a058ec

• feat(codegen): Add primitives

  byakuren-hijiri

  committed
  d9a9e59

• chore(codegen): Revisit the structure of writeProgram

  byakuren-hijiri

  committed
  d27e246

• feat(codegen): Support native Func code

  byakuren-hijiri

  committed
  6929720

• feat(codegen): Generate the constants file

  byakuren-hijiri

  committed
  0ecdaba

Commits on Jul 24, 2024

• feat(codegen): Support storage

  byakuren-hijiri

  committed
  34df3be

• fix(formatter): Extra space in fun declarations w/o attrs

  byakuren-hijiri

  committed
  089e87c

• feat(syntax): Func syntax iterator

  byakuren-hijiri

  committed
  8e97c7e

• feat(codegen): Automatic depdendency detection

  Show description for a938e04
  byakuren-hijiri

  committed
  a938e04

• chore(codegen): Skip dependencies check

  Show description for e98e2f1
  byakuren-hijiri

  committed
  e98e2f1

Commits on Jul 25, 2024

• feat(codegen): Introduce hacks in dependency management to overcome missing functions

  byakuren-hijiri

  committed
  e5578ce

• chore(codegen): Restructure, to make writeAll more explicit

  byakuren-hijiri

  committed
  8d704c2

• feat(syntax): Support variables unpacking

  byakuren-hijiri

  committed
  660bf84

• feat(codgen): WIP stdlib translation to showcase how it looks like

  byakuren-hijiri

  committed
  1a16faf

• test: small subset of functions in stdlib for testing FunC grammar

  novusnota

  committed
  75b6952

• WIP: FunC grammar & parser

  Show description for 33b6b65
  novusnota

  committed
  33b6b65

Commits on Jul 27, 2024

• feat(func-parser): mostly finished the expressions and fixed types

  novusnota

  committed
  8d32ff8

Commits on Jul 28, 2024

• feat: tested top-level things, added more tests for identifiers

  Show description for 8bc2486
  novusnota

  committed
  8bc2486

Commits on Jul 29, 2024

• feat(func-parser): 1/3 of types and semantics

  Show description for bfab588
  novusnota

  committed
  bfab588

Commits on Jul 31, 2024

• test(func-parser): covered everything but expressions in tests

  Show description for 21e5253
  novusnota

  committed
  21e5253

Commits on Aug 1, 2024

• fix: statements, expressions and types in different contexts

  novusnota

  committed
  c6b4916

• test(func-parser): one more sample of an interesting asm function

  novusnota

  committed
  8f781f6

• fix(func-parser): multi-line and single-line strings can be placed after each other in asm functions

  Show description for 3c5564c
  novusnota

  committed
  3c5564c

• feat/chore(func-parser): types, loc and formatting

  novusnota

  committed
  a8fb799

Commits on Aug 2, 2024

• fix(func-parser): adjust expressions and identifiers

  novusnota

  committed
  cec8c17

Commits on Aug 4, 2024

• func(func-parser): grammar is finally completed, and most tests pass!

  Show description for e185cfe
  novusnota

  committed
  e185cfe

Commits on Aug 5, 2024

• fix(func-parser): fixed most of the bugs, working on identifiers starting with underscores

  Show description for 7286760
  novusnota

  committed
  7286760

• refactor(func-parser): types, expressions, and whitespace padding

  Show description for f1519d2
  novusnota

  committed
  f1519d2

Commits on Aug 7, 2024

• feat(func-parser): grammar is finally complete and able to parse stdlib.fc and Tact's stdlib

  Show description for c60104a
  novusnota

  committed
  c60104a

• feat(func-parser): worked through most of the types, got to complete the AST construction (mostly typing stuff in), and we're done!

  novusnota

  committed
  6e86d5e

Commits on Aug 9, 2024

• feat(func-parser): 2/3 of the AST

  novusnota

  committed
  1482754

Commits on Aug 10, 2024

• feat(func-parser): completed! 🚀

  novusnota

  committed
  c64dc47

Commits on Aug 11, 2024

• fix(func-parser): bug squashed and lots of tests added

  novusnota

  committed
  93acaef

• chore(func-parser): change the note

  novusnota

  committed
  f315834

• chore(func-parser): simplify upperId' regex and reformat grammar.ts

  Show description for 9658c5b
  novusnota

  committed
  9658c5b

• chore(func-parser): spelling

  novusnota

  committed
  43e1c4c

Commits on Aug 12, 2024

• fix(generator): Fix compilation errors

  jubnzv

  committed
  e69cd14

• feat(grammar): Add dummy definitions

  jubnzv

  committed
  dd7cf6c

• chore(grammar): Extract type

  jubnzv

  committed
  804ab80

• chore(func-parser): remove redundant snapshots and rename couple things in grammar.ts'

  novusnota

  committed
  a3eee3a

Commits on Aug 13, 2024

• feat(func/grammar): Separate hex literal

  Show description for 79b2ad1
  jubnzv

  committed
  79b2ad1

• fix(grammar): Set correct types for assignment' lhs and rhs

  jubnzv

  committed
  56f39ea

Commits on Aug 23, 2024

• feat(syntaxConstructors): Support new grammar.ts

  jubnzv

  committed
  6ebe769

Commits on Aug 26, 2024

• feat(codegen): Adapted the codegen

  jubnzv

  committed
  8d1d508

Commits on Aug 29, 2024

• feat(iterators): Support new grammar

  jubnzv

  committed
  ed2c982

• fix(grammar): Forbid ;-style comments

  jubnzv

  committed
  bb0965b

• fix(codegen): Update some functionality

  jubnzv

  committed
  9142be6

• feat(func): Half-backed pp for the new AST

  jubnzv

  committed
  8fc6f15

• feat: Finalize new AST translation

  jubnzv

  committed
  d036d3e

Commits on Sep 4, 2024

• fix(syntaxConstructors): Allow empty method_id

  jubnzv

  committed
  6d3999a

• fix(pp): Support unit

  jubnzv

  committed
  299d3f7

• fix(package.json): Include func grammar bundle to dist

  jubnzv

  committed
  4127b02

• fix(pp): Global types

  jubnzv

  committed
  9f54da1

Commits on Sep 5, 2024

• feat(codegen): Add stdlib

  jubnzv

  committed
  ea7928f

Commits on Sep 6, 2024

• fix(stdlib): Hack for Func parser

  jubnzv

  committed
  123f7ae

• fix(stdlib): Missing brackets

  jubnzv

  committed
  3fc4e79

• chore(ctx): Add missing parse

  jubnzv

  committed
  1344fb7

• chore(stdlib): simplify

  jubnzv

  committed
  ac3111a

Commits on Sep 7, 2024

• chore(pp): ppTy as a public interface

  jubnzv

  committed
  4f6e849

• feat(codegen): Add accessors

  jubnzv

  committed
  be14b13

Commits on Sep 8, 2024

• fix(accessors): Syntax errors

  jubnzv

  committed
  41c3f35

• feat(codegen): Serializers

  jubnzv

  committed
  f675f27

• fix(util): funcInitIdOf

  jubnzv

  committed
  8da2062

• feat(codegen): Init serializers

  jubnzv

  committed
  dc3af50

• feat(codegen): Storage functions

  jubnzv

  committed
  5e5a5b8

• feat(codegen): Add static functions

  jubnzv

  committed
  10bbf30

• chore(codegen): Add missing file

  jubnzv

  committed
  77d12b0

• feat(codegen): Support extensions

  jubnzv

  committed
  3bfc322

Commits on Sep 9, 2024

• feat(grammar): Support try {} catch (_) {}

  jubnzv

  committed
  dfa9013

• feat(codegen): Support all the statements

  jubnzv

  committed
  9c46edd

Commits on Sep 10, 2024

• feat(pp): Refine API; more public methods

  jubnzv

  committed
  9ee58a1

• feat(pp): Support type vars

  jubnzv

  committed
  82272f4

• chore(Writer): Replace # annotations

  Show description for 494c240
  jubnzv

  committed
  494c240

• feat(func): Expose public functions

  jubnzv

  committed
  a1b42a0

• chore(codegen): Remove tests; they'll be rewritten

  jubnzv

  committed
  8b5c98d

• Merge remote-tracking branch 'origin/main' into 526-func-codegen

  jubnzv

  committed
  7c3b01f

Commits on Sep 11, 2024

• feat: New codegen copied from the main version; writeStdlib is ported

  jubnzv

  committed
  bcfef54

• fix(codegen): Remove extra attributes

  jubnzv

  committed
  f792111

• chore(codegen): Roll-back porting writeStdlib because of FunC parser erorrs

  jubnzv

  committed
  a3b2877

• chore(syntaxConstructors): Set if instead of ifnot by default

  jubnzv

  committed
  2419b16

• feat(test): Improve readability

  jubnzv

  committed
  a89bd0b

• feat(test): Don't add extra .tact to paths in the generated config

  jubnzv

  committed
  6d4b179

• feat(test): Don't consider newlines in differential testing

  Show description for e140b35
  jubnzv

  committed
  e140b35

• fix(pp): Don't add extra crs

  jubnzv

  committed
  6909f93

• feat(codegen): Port writeRouter

  jubnzv

  committed
  6397c85

• feat: support catch(_) clauses

  novusnota

  committed
  236a518

• fix(tests): Hack for FunC parser

  Show description for 9cfa662
  novusnota

  committed
  9cfa662

• fix(func-parser): Correct recognition of function and method calls

  Show description for deaa617
  novusnota

  committed
  deaa617

Commits on Sep 12, 2024

• feat(test): Allow lowercase test names

  jubnzv

  committed
  59f8936

• fix(pp): Extra dots in new function calls

  jubnzv

  committed
  80cc2cf

• feat(pp): Add pp functions

  jubnzv

  committed
  deb369f

• fix(writeRouter): Make old writeReceiver work with new API functions

  jubnzv

  committed
  98c6fb9

• feat(codegen): Port writeStdlib

  jubnzv

  committed
  dcca629