git.codelabs.ch
/
libxhcidbg.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Remove TODO item
2017-10-27
Adrian-Ken Rueegsegger
Remove TODO item
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Disable GNATprove warning for Transfer_Info.Dump_Stats
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Tighten representation of DbC context type
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Initialize all HW.DbC.State
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Add Null_String_Desc constant
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Minor: Adjust indentation in DbC body
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Initialize Transfer_Rings.State
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Add Null_TP constant
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Disable "no effect" warning for busy loop
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Disable SPARK for Copy_DMA_[In|Out] body
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Use Word32 modular type for stats counters
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Simplify Walk_Finished procedure
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Fix SPARK warning regarding global and non-volatile...
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Fix SPARK warning regarding interfering context
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Fix SPARK warning regarding nonvolatile functions
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-10-27
Adrian-Ken Rueegsegger
Drop unneeded use type clauses
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-05-17
Adrian-Ken Rueegsegger
Do not perform hardware reset
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-05-17
Adrian-Ken Rueegsegger
README: Add remark regarding USB charging mode
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree
2017-05-17
Adrian-Ken Rueegsegger
Minor: Avoid null else branch
Signed-off-by:
Adrian-Ken Rueegsegger
<ken@codelabs.ch>
commit
|
commitdiff
|
tree