aboutsummaryrefslogtreecommitdiff
path: root/src/main/resources/META-INF
AgeCommit message (Expand)Author
2021-03-27Add NoConstantPropagationAnnotation to disable constatnt propagation (#2150)Jiuyang Liu
2020-06-23Basic model checking API (#1653)Tom Alcorn
2018-11-07Make ClockListAnnotation a RegisteredTransformSchuyler Eldridge
2018-11-07Make InlineInstances a RegisteredTransformSchuyler Eldridge
2018-11-07Make CheckCombLoops a RegisteredTransformSchuyler Eldridge
2018-11-07Make DeadCodeElimination a RegisteredTransformSchuyler Eldridge
2018-11-07Add MemLibOptions RegisteredLibrarySchuyler Eldridge
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:40:34 +0000