libxhcidbg.git
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