Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Coverity: Improve model for {,un}map_domain_page() | Andrew Cooper | 2020-01-06 | 1 | -6/+16 |
* | docs: consolidate release related documents | Wei Liu | 2017-08-04 | 2 | -239/+0 |
* | misc/release-checklist.txt: Try to avoid wrong-tag mistakes | Ian Jackson | 2017-04-12 | 1 | -4/+9 |
* | misc/release-checklist.txt: Preemptive updates | Ian Jackson | 2017-04-12 | 1 | -25/+18 |
* | misc/branching-checklist: Call mg-branch-setup in Cambridge too | Ian Jackson | 2017-03-21 | 1 | -0/+6 |
* | misc/release-checklist: Split out branching-checklist.txt | Ian Jackson | 2017-03-21 | 2 | -95/+97 |
* | misc/release-checklist: Remove pre-4.3 tarball target instructions | Ian Jackson | 2017-03-21 | 1 | -34/+0 |
* | misc/release-checklist: Remove clearly-obsolete stuff | Ian Jackson | 2017-03-21 | 1 | -64/+0 |
* | misc/release-checklist: Import from xenbits:~xen/release-checklist | Ian Jackson | 2016-12-07 | 1 | -0/+331 |
* | misc/coverity: Model __builtin_unreachable() | Andrew Cooper | 2014-09-25 | 1 | -0/+10 |
* | coverity: Store the modelling file in the source tree. | Andrew Cooper | 2014-03-12 | 1 | -0/+131 |