git.codelabs.ch
/
libxhcidbg.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
libxhcidbg.git
2017-11-16
Adrian-Ken...
Drop obsolete component resources from spec
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-11-16
Adrian-Ken...
Add requires section to component spec
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Replace Desc_Strings array assignment with for loop
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Make Libxhcidbg a SPARK library
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Merge branch 'master' into muen-spark
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Remove TODO item
devel
master
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Disable GNATprove warning for Transfer_Info.Dump_Stats
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Tighten representation of DbC context type
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Initialize all HW.DbC.State
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Add Null_String_Desc constant
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Minor: Adjust indentation in DbC body
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Initialize Transfer_Rings.State
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Add Null_TP constant
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Disable "no effect" warning for busy loop
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Disable SPARK for Copy_DMA_[In|Out] body
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Use Word32 modular type for stats counters
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Simplify Walk_Finished procedure
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Fix SPARK warning regarding global and non-volatile...
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Fix SPARK warning regarding interfering context
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Fix SPARK warning regarding nonvolatile functions
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-10-27
Adrian-Ken...
Drop unneeded use type clauses
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-05-17
Adrian-Ken...
Add component XML spec template
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-05-17
Adrian-Ken...
Use generated spec values
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-05-17
Adrian-Ken...
Add Muen component build infrastructure
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-05-17
Adrian-Ken...
Replace array assignment with for loop
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-05-17
Adrian-Ken...
Do not perform hardware reset
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-05-17
Adrian-Ken...
README: Add remark regarding USB charging mode
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-05-17
Adrian-Ken...
Minor: Avoid null else branch
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)
2017-05-05
Nico Huber
Initial import of libxhcidbg library
commit
|
commitdiff
|
tree
| snapshot (
tar.gz
zip
)