The source project of this merge request has been removed.
Merged
requested to merge (removed):78-Implement-enums-to-consts-CIF-to-CIF-transformation into develop
- Implement the
enums-to-consts
transformation. - Changed the
elim-enum
transformation to theenums-to-ints
transformation. - Keep
elim-enums
as command-line option, for backward compatibility. - Update website documentation.
- Update other tools that use
elim-enums
.
Closes #78 (closed)