8000 Switch for turning off constant evaluation · Issue #497 · tact-lang/tact · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Switch for turning off constant evaluation #497
New issue
New issue
Open
Idea
Open
Switch for turning off constant evaluation#497
Idea
Labels
scope: cliTact's command-line interface (bin)scope: partial-evalThe constant and partial evaluation optimization mechanisms (src/optimizer/constEval.ts)scope: tact.config.jsontact.config.json infrastructure (src/config)
Milestone
 
v1.8.0
@anton-trunov

Description

@anton-trunov
anton-trunov
opened on Jun 27, 2024

This is needed for differential testing of the compiler. This can be also be useful in workarounds if there are bugs in const-eval.

It should probably be implemented with config options that group various optimizations in mind, like -O0, -O1, etc.

Metadata

Metadata

Assignees

No one assigned

    Labels

    scope: cliTact's command-line interface (bin)scope: partial-evalThe constant and partial evaluation optimization mechanisms (src/optimizer/constEval.ts)scope: tact.config.jsontact.config.json infrastructure (src/config)

    Type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0