commits

date

comment

76210
by chrishaw
(851 downloads)
Feb 7, 2015
12:31 AM

Boogie file for concurrent verified GC

75571
by chrishaw
(187 downloads)
Oct 9, 2014
8:53 PM

Experimental verified Ironclad Apps code

75175
by chrishaw
(104 downloads)
Jul 21, 2014
4:39 PM

Fix several boot loader bugs

73999
by chrishaw
(421 downloads)
Nov 10, 2013
2:22 AM

Experimental verified OS

73695
by chrishaw
(64 downloads)
Sep 19, 2013
10:23 PM

Experimental verified OS

69631
by Project Collectio...
(490 downloads)
Oct 1, 2012
9:13 PM

Upgrade: New Version of LabDefaultTemplate.xaml. To upgrade your build definitions, please visit the following link: http://go.microsoft.com/fwlink/?LinkId=254563

69630
by Project Collectio...
(2 downloads)
Oct 1, 2012
9:07 PM

Checked in by server upgrade

45126
by chrishaw
(4782 downloads)
May 16, 2010
1:45 AM

Experimental verified OS

31207
by chrishaw
(1999 downloads)
Nov 21, 2009
4:11 AM

Experimental verified OS

17067
by dcoetzee
(5550 downloads)
Nov 15, 2008
1:10 AM

Fix build break for enlistment paths containing spaces.

17061
by dcoetzee
(599 downloads)
Nov 14, 2008
3:28 PM

Final commit of Singularity RDK 2.0 source (base\build directory)

17057
by dcoetzee
(169 downloads)
Nov 14, 2008
2:21 PM

Under base add Kernel, Windows

17054
by dcoetzee
(92 downloads)
Nov 14, 2008
2:14 PM

Under base add Drivers, Imported, Interfaces, Libraries, Options, precompiled, ProjectTemplates

17053
by dcoetzee
(75 downloads)
Nov 14, 2008
2:07 PM

Under base add boot, Distro, Targets, Contracts, Services, and files under base itself

17052
by dcoetzee
(57 downloads)
Nov 14, 2008
1:58 PM

Committing RDK 2 in pieces, base\Applications directory

17051
by dcoetzee
(65 downloads)
Nov 14, 2008
1:49 PM

Committing RDK 2 in pieces, this is everything but the base directory

17050
by dcoetzee
(47 downloads)
Nov 14, 2008
11:30 AM

Remove all files in preparation for RDK 2 drop.

16587
by dcoetzee
(282 downloads)
Oct 23, 2008
11:06 PM

Testing

16586
by dcoetzee
(104 downloads)
Oct 23, 2008
11:06 PM

Testing

14518
by chrishaw
(1976 downloads)
Jul 16, 2008
9:19 PM

Kernel/Bartok/VerifiedGCs: add examples and documention, remove unnecessary axiom (practical, verified garbage collectors remain the same)

14495
by chrishaw
(271 downloads)
Jul 16, 2008
12:02 AM

Kernel/Bartok/VerifiedGCs: add BoogiePL files for practical, verified garbage collectors

6709
by nelsonjr
(6815 downloads)
Mar 5, 2008
4:51 PM

Updating documents to include support location on CodePlex.

6601
by nelsonjr
(17292 downloads)
Mar 4, 2008
5:11 PM

Singularity RDK 1.1

  • 1-23 of 23 Change Sets
    • Previous
    • 1
    • Next
    • Showing
    • 10
    • 25
    • Change Sets