8000 Tags · zhao07/l4v · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: zhao07/l4v

Tags

API-01-03--release-2014-08-10

Toggle API-01-03--release-2014-08-10's commit message 
Intermediate proof release.

Changelog:
 - added proof contributors
 - improved README

This signature certifies that the commits under this tag are the same as
in the internal NICTA repositories (up to sha1 collisions).

API-01-03--release-2014-07-29

Toggle API-01-03--release-2014-07-29's commit message 
seL4 proofs, open-source release on 29 July 2014.

This signature certifies that the commits under this tag are the same as
in the internal NICTA repositories (up to sha1 collisions).
0