summaryrefslogtreecommitdiff
path: root/_admin
Commit message (Expand)AuthorAge
* Delete '_admin' directory.Gravatar wuestholz2014-05-13
* Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codepl...Gravatar Rustan Leino2013-03-05
* Boogie build failedGravatar CodeplexBot2012-11-23
* Chalice build succeeded, 87 test(s) failedGravatar CodeplexBot2012-11-20
* Boogie build failedGravatar CodeplexBot2012-10-05
* Boogie build failedGravatar CodeplexBot2012-10-04
* Boogie build succeeded, 2 test(s) failedGravatar CodeplexBot2012-09-28
* Boogie build failedGravatar CodeplexBot2012-09-28
* Boogie build succeededGravatar CodeplexBot2012-08-22
* Boogie build succeededGravatar CodeplexBot2012-08-15
* Boogie build succeeded, 3 test(s) failedGravatar CodeplexBot2012-08-04
* Boogie build succeededGravatar CodeplexBot2012-07-10
* Boogie build succeededGravatar CodeplexBot2012-07-01
* Chalice build succeededGravatar CodeplexBot2012-06-30
* Boogie build succeeded, 1 test(s) failedGravatar CodeplexBot2012-06-28
* Boogie build succeededGravatar CodeplexBot2012-06-23
* Boogie build succeeded, 1 test(s) failedGravatar CodeplexBot2012-06-21
* Chalice build succeededGravatar CodeplexBot2012-06-08
* Boogie build succeededGravatar CodeplexBot2012-06-08
* Chalice build succeededGravatar CodeplexBot2012-06-04
* Boogie build succeededGravatar CodeplexBot2012-06-02
* Boogie build succeededGravatar CodeplexBot2012-05-30
* Boogie build succeededGravatar CodeplexBot2012-05-29
* Boogie build succeededGravatar CodeplexBot2012-05-26
* Chalice build succeededGravatar CodeplexBot2012-05-25
* Chalice build succeeded, 1 test(s) failedGravatar CodeplexBot2012-05-22
* Boogie build succeededGravatar CodeplexBot2012-05-01
* Boogie build succeeded, 1 test(s) failedGravatar CodeplexBot2012-04-29
* Boogie build succeededGravatar CodeplexBot2012-04-28
* Boogie build succeededGravatar CodeplexBot2012-04-18
* Chalice build succeededGravatar CodeplexBot2012-03-26
* Chalice build succeeded, 73 test(s) failedGravatar CodeplexBot2012-03-14
* Boogie build succeededGravatar CodeplexBot2012-03-12
* Boogie build succeededGravatar CodeplexBot2012-03-11
* Boogie build failedGravatar CodeplexBot2012-03-10
* Boogie build succeededGravatar CodeplexBot2012-03-01
* Boogie build succeededGravatar CodeplexBot2012-02-29
* Boogie build succeededGravatar CodeplexBot2012-02-28
* Boogie build succeededGravatar CodeplexBot2012-02-26
* Boogie build succeededGravatar CodeplexBot2012-02-25
* Boogie build succeededGravatar CodeplexBot2012-02-08
* Boogie build succeededGravatar CodeplexBot2012-01-19
* Boogie build succeeded, 1 test(s) failedGravatar CodeplexBot2012-01-18
* Boogie build succeededGravatar CodeplexBot2012-01-11
* Boogie build failedGravatar CodeplexBot2012-01-10
* Boogie build succeededGravatar CodeplexBot2012-01-06
* Boogie build succeeded, 1 test(s) failedGravatar CodeplexBot2012-01-01
* Boogie build succeeded, 1 test(s) failedGravatar CodeplexBot2011-12-31
* Boogie build succeeded, 1 test(s) failedGravatar CodeplexBot2011-12-30
* Boogie build succeededGravatar CodeplexBot2011-12-23