libxhcidbg.git
2017-10-27 Adrian-Ken... Add Null_String_Desc constant
2017-10-27 Adrian-Ken... Minor: Adjust indentation in DbC body
2017-10-27 Adrian-Ken... Initialize Transfer_Rings.State
2017-10-27 Adrian-Ken... Add Null_TP constant
2017-10-27 Adrian-Ken... Disable "no effect" warning for busy loop
2017-10-27 Adrian-Ken... Disable SPARK for Copy_DMA_[In|Out] body
2017-10-27 Adrian-Ken... Use Word32 modular type for stats counters
2017-10-27 Adrian-Ken... Simplify Walk_Finished procedure
2017-10-27 Adrian-Ken... Fix SPARK warning regarding global and non-volatile...
2017-10-27 Adrian-Ken... Fix SPARK warning regarding interfering context
2017-10-27 Adrian-Ken... Fix SPARK warning regarding nonvolatile functions
2017-10-27 Adrian-Ken... Drop unneeded use type clauses
2017-05-17 Adrian-Ken... Do not perform hardware reset
2017-05-17 Adrian-Ken... README: Add remark regarding USB charging mode
2017-05-17 Adrian-Ken... Minor: Avoid null else branch
2017-05-05 Nico HuberInitial import of libxhcidbg library