Skip to content

Extend the support for SmallVariable to more functions #68

Open
Open
Extend the support for SmallVariable to more functions#68
Assignees
vsht
Labels
enhancement

Description

@vsht
vsht
opened on Sep 3, 2020

As of now TID does not support simplificiations of expressions containing SmallVariable
(cf. #66). This need to be improved!

Activity

  1. vsht
    added
    enhancement
    on Sep 3, 2020
  2. vsht
    self-assigned this
    on Sep 3, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

enhancement

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions