Use Word32 modular type for stats counters
[libxhcidbg.git] / src /
2017-10-27 Adrian-Ken RueegseggerUse Word32 modular type for stats counters
2017-10-27 Adrian-Ken RueegseggerSimplify Walk_Finished procedure
2017-10-27 Adrian-Ken RueegseggerFix SPARK warning regarding global and non-volatile...
2017-10-27 Adrian-Ken RueegseggerFix SPARK warning regarding interfering context
2017-10-27 Adrian-Ken RueegseggerFix SPARK warning regarding nonvolatile functions
2017-10-27 Adrian-Ken RueegseggerDrop unneeded use type clauses
2017-05-17 Adrian-Ken RueegseggerDo not perform hardware reset
2017-05-17 Adrian-Ken RueegseggerMinor: Avoid null else branch
2017-05-05 Nico HuberInitial import of libxhcidbg library