Skip to content

Remove JSX dependency from stdTheories #1108

@jmoggr

Description

@jmoggr

In #1105 this is preventing the use of stdTheories in the simulation webworkers, requiring us to re-define some of the mapping from theory ids to code in the webworker.

Also this has been a recurring source of problems when running tests in CI.

Metadata

Metadata

Assignees

No one assigned

    Labels

    frontendTypeScript frontend and Rust-wasm integrations

    Type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions