-
Jose A. Lopes authored
Add asserted and HVS related constants to the Haskell to Python constant generation. Signed-off-by: Jose A. Lopes <jabolopes@google.com> Reviewed-by: Thomas Thrainer <thomasth@google.com>
5c8f186c
Add asserted and HVS related constants to the Haskell to Python constant generation. Signed-off-by: Jose A. Lopes <jabolopes@google.com> Reviewed-by: Thomas Thrainer <thomasth@google.com>