Merge branch 'master' into muen-spark
[libxhcidbg.git] / src /
2017-10-27 Adrian-Ken RueegseggerMerge branch 'master' into muen-spark
2017-10-27 Adrian-Ken RueegseggerDisable GNATprove warning for Transfer_Info.Dump_Stats
2017-10-27 Adrian-Ken RueegseggerTighten representation of DbC context type
2017-10-27 Adrian-Ken RueegseggerInitialize all HW.DbC.State
2017-10-27 Adrian-Ken RueegseggerAdd Null_String_Desc constant
2017-10-27 Adrian-Ken RueegseggerMinor: Adjust indentation in DbC body
2017-10-27 Adrian-Ken RueegseggerInitialize Transfer_Rings.State
2017-10-27 Adrian-Ken RueegseggerAdd Null_TP constant
2017-10-27 Adrian-Ken RueegseggerDisable "no effect" warning for busy loop
2017-10-27 Adrian-Ken RueegseggerDisable SPARK for Copy_DMA_[In|Out] body
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 RueegseggerUse generated spec values
2017-05-17 Adrian-Ken RueegseggerReplace array assignment with for loop
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