Seal5

seal5

Contents:

Seal5

Seal5

seal5
seal5.transform
seal5.transform.drop_unused
View page source

seal5.transform.drop_unused

Modules

`optimizer`	Clean M2-ISA-R/Seal5 metamodel by removing unused constants.
`track_uses`	TODO

Previous Next

© Copyright 2024, TUM Department of Electrical and Computer Engineering - Chair of Electronic Design Automation.

Built with Sphinx using a theme provided by Read the Docs.