git.codelabs.ch Git - muen.git/summary

git.codelabs.ch / muen.git / summary

summary | shortlog | log | commit | commitdiff | tree

description	An x86/64 Separation Kernel for High Assurance
owner	Adrian-Ken Rueegsegger
last change	Tue, 11 Jun 2019 08:44:32 +0000 (10:44 +0200)
URL	https://git.codelabs.ch/muen.git
	git@git.codelabs.ch:/muen.git

2019-06-11	Reto Buerki	Fix muenblock reference in README master v0.9.1	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Re-enable GNAT -gnatyt switch	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Fix warnings reported by -gnatyt	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Re-enable -gnatyt switch	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Minor fixes and update to Community 2019 toolchain	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Update README for release v0.9.1	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Travis: Add script for Debian GNU/Linux 10 (Buster)	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	contrib: Update ada-bfd to latest upstream version	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Reto Buerki	Docker: Update toolchain to GNAT Community 2019	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	Minor: Fix indentation	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	Do not use default initialized table entries in tests	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	Libpaging: Add global test entry to maps test package	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	Only generate tests for root project	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	Switch language from Asm to Asm_Cpp	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	Kernel: Drop pragma Warnings for unused variables	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
2019-06-07	Adrian-Ken...	contrib: Disable style warnings in libsparkcrypto	commit \| commitdiff \| tree \| snapshot (tar.gz zip)
...

9 months ago	v0.9.1	Muen version 0.9.1	tag	\| commit \| shortlog \| log
2 years ago	v0.9.0	Muen version 0.9.0	tag	\| commit \| shortlog \| log
3 years ago	v0.8.0	Muen version 0.8.0	tag	\| commit \| shortlog \| log
4 years ago	v0.7.0	Muen version 0.7.0	tag	\| commit \| shortlog \| log
5 years ago	v0.6.0	Muen version 0.6.0	tag	\| commit \| shortlog \| log
6 years ago	doc-print	Document print	tag	\| commit \| shortlog \| log
6 years ago	doc-review	Document review	tag	\| commit \| shortlog \| log

41 hours ago	devel-solo5-abi	shortlog \| log \| tree
2 days ago	devel	shortlog \| log \| tree
5 days ago	devel-tau0-only	shortlog \| log \| tree
6 days ago	devel-libmusinfo-starts-with	shortlog \| log \| tree
12 days ago	devel-integ-buster-chroot	shortlog \| log \| tree
2 weeks ago	devel-linux-5.4-desktop-testing	shortlog \| log \| tree
2 weeks ago	devel-linux-5.4	shortlog \| log \| tree
2 weeks ago	devel-linux-5.4-buster-chroot	shortlog \| log \| tree
2 weeks ago	devel-linux-5.2	shortlog \| log \| tree
2 weeks ago	devel-integ-muenblock	shortlog \| log \| tree
2 weeks ago	devel-desktop-vpid	shortlog \| log \| tree
2 weeks ago	devel-desktop	shortlog \| log \| tree
3 weeks ago	devel-ahci_drv	shortlog \| log \| tree
8 weeks ago	devel-ps2-mouse-extensions	shortlog \| log \| tree
2 months ago	devel-xhci-debug-vga	shortlog \| log \| tree
3 months ago	devel-mirageos-article-update	shortlog \| log \| tree
...

An x86/64 Separation Kernel for High Assurance