|
LCS-2016-019 |
|
8 |
|
2017-02-24 |
|
|
|
Ryan Hinton Martin Zabel Jim Lewis |
|
Main.RyanHinton Main.MartinZabel Main.JimLewis |
|
Inferring Constraints from Initial Values for Signals and Variables |
|
History |
|
Allow for signal and variable subtype constraints to be inferred from initial value |