descriptionMuen SK System Resource Manager
ownerAdrian-Ken Rueegsegger
last changeFri, 5 Jul 2019 15:23:26 +0000 (17:23 +0200)
shortlog
2019-07-05 Adrian-Ken... Add explicit proof target master
2019-07-05 Adrian-Ken... Add Arcanist project file
2019-07-05 Adrian-Ken... Move test files to data directory
2019-07-05 Johannes OsterholzerImplement README comments
2019-07-05 Johannes OsterholzerREADME: Assorted minor changes
2019-07-05 Johannes OsterholzerREADME: Make subsection 'Invariant Preservation' clearer
2019-07-05 Johannes OsterholzerREADME: Update section 'Compilation'
2019-07-05 Johannes OsterholzerREADME: Explain why memory region tables are not unmapped
2019-07-05 Johannes OsterholzerDebug: Add explicit elaboration pragma
2019-07-05 Johannes OsterholzerFurther streamline naming of device domain XML commands
2019-07-05 Reto BuerkiPartially include test.xml in README
2019-07-05 Reto BuerkiMinor cleanup in test.xml
2019-07-05 Reto BuerkiEnable exception backtraces
2019-07-05 Reto BuerkiIncrease config constants
2019-07-05 Reto BuerkiDebug: Init log-level from Command_Line getter
2019-07-05 Reto BuerkiImplement log-level command line handling
...
heads
2 months ago devel
10 months ago devel-content-regions
21 months ago master