libxhcidbg.git
2017-11-16 Adrian-Ken... Drop obsolete component resources from spec
2017-11-16 Adrian-Ken... Add requires section to component spec
2017-10-27 Adrian-Ken... Replace Desc_Strings array assignment with for loop
2017-10-27 Adrian-Ken... Make Libxhcidbg a SPARK library
2017-10-27 Adrian-Ken... Merge branch 'master' into muen-spark
2017-10-27 Adrian-Ken... Remove TODO item devel master
2017-10-27 Adrian-Ken... Disable GNATprove warning for Transfer_Info.Dump_Stats
2017-10-27 Adrian-Ken... Tighten representation of DbC context type
2017-10-27 Adrian-Ken... Initialize all HW.DbC.State
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... Add component XML spec template
2017-05-17 Adrian-Ken... Use generated spec values
2017-05-17 Adrian-Ken... Add Muen component build infrastructure
2017-05-17 Adrian-Ken... Replace array assignment with for loop
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