From 1803f976121985c6e8e7506c9b959e8d2b5f718c Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 19 Oct 2018 05:12:20 +0200 Subject: Pass time-resolution to grt. Use time-resolution for Put_Time. Use time-resolution for --stop-time (Parse_Time). Use time-resolution as VpiTimePrecision and for vcd. TODO: ghw (but needs to update ghwlib and gtkwave) Fix #672 --- src/grt/grt-disp.adb | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) (limited to 'src/grt/grt-disp.adb') diff --git a/src/grt/grt-disp.adb b/src/grt/grt-disp.adb index e68b1168b..36644bf1a 100644 --- a/src/grt/grt-disp.adb +++ b/src/grt/grt-disp.adb @@ -54,14 +54,12 @@ package body Grt.Disp is -- Put_Str_Len (Stream, Type_Desc.E32.Values (Natural (E32))); --end Put_E32; - procedure Put_Sig_Index (Sig : Sig_Table_Index) - is + procedure Put_Sig_Index (Sig : Sig_Table_Index) is begin Put_I32 (stdout, Ghdl_I32 (Sig)); end Put_Sig_Index; - procedure Put_Sig_Range (Sig : Sig_Table_Range) - is + procedure Put_Sig_Range (Sig : Sig_Table_Range) is begin Put_Sig_Index (Sig.First); if Sig.Last /= Sig.First then @@ -70,8 +68,7 @@ package body Grt.Disp is end if; end Put_Sig_Range; - procedure Disp_Now - is + procedure Disp_Now is begin Put ("Now is "); Put_Time (stdout, Current_Time); @@ -80,8 +77,7 @@ package body Grt.Disp is New_Line; end Disp_Now; - procedure Disp_Propagation_Kind (Kind : Propagation_Kind_Type) - is + procedure Disp_Propagation_Kind (Kind : Propagation_Kind_Type) is begin case Kind is when Drv_One_Driver => @@ -184,8 +180,7 @@ package body Grt.Disp is end loop; end Disp_Signals_Order; - procedure Disp_Mode (Mode : Mode_Type) - is + procedure Disp_Mode (Mode : Mode_Type) is begin case Mode is when Mode_B1 => -- cgit v1.2.3