 Colin Adams
|
a96a143fe0
|
used across for assertion
|
2013-03-14 14:45:31 +00:00 |
|
|
Colin Adams
|
4ec2832375
|
Response to comments from review "Contracts for non-Void-safe users (take 1)"
|
2013-03-14 14:17:03 +00:00 |
|
|
Colin Adams
|
ca5619c6fc
|
Added non-Void contracts for classes previously flagged by AutoTest
|
2013-03-14 11:48:46 +00:00 |
|
|
Colin Adams
|
eafb04719d
|
Actioned Jocelyns comments re. a_req and a_res
|
2012-12-11 19:26:06 +00:00 |
|
|
Colin Adams
|
365da7e30a
|
merged from upstream
|
2012-12-08 08:25:47 +00:00 |
|
|
Colin Adams
|
58f26fdc1b
|
Revert do_get_head patch
|
2012-12-06 19:48:13 +00:00 |
|
|
Colin Adams
|
a9d83f97a8
|
Completed first pass for HTTP 1.1 conformace contracts
|
2012-11-24 15:45:42 +00:00 |
|
|
Colin Adams
|
68cd78d87d
|
Forced HEAD when GET requested
|
2012-11-24 14:13:38 +00:00 |
|
|
Colin Adams
|
496df96f75
|
First postconditions relating to response codes added
|
2012-11-24 14:02:26 +00:00 |
|
|
Colin Adams
|
17ce1be582
|
Added framework for HTTP-conforming contracts
|
2012-11-24 11:55:10 +00:00 |
|