 Colin Adams
|
acc0f4ae94
|
Merge branch 'master' of github.com:EiffelWebFramework/EWF
Pulling latest merges of other developers commits.
|
2013-03-15 14:08:37 +00:00 |
|
|
Colin Adams
|
a303783204
|
Fifth round of contracts for non-Void-safe users
|
2013-03-15 14:06:37 +00:00 |
|
|
Colin Adams
|
bb56166f95
|
Fourth round of contracts for non-Void-safe users
|
2013-03-15 12:01:54 +00:00 |
|
|
Colin Adams
|
c6d022bf18
|
Third iteration of contracts for non-Void-safe users
|
2013-03-15 10:16:32 +00:00 |
|
|
Colin Adams
|
049f769638
|
Amended header comment in response to code review of pull-request
|
2013-03-14 16:44:15 +00:00 |
|
|
Colin Adams
|
aef30966de
|
Corrected header comment in response to code review of pull-request
|
2013-03-14 16:14:07 +00:00 |
|
|
Colin Adams
|
e14772fcc1
|
Merge branch 'master' of github.com:EiffelWebFramework/EWF
|
2013-03-14 15:36:36 +00:00 |
|
|
Colin Adams
|
3206bcc4fd
|
Further contracts for non-Void-safe users
|
2013-03-14 15:29:11 +00:00 |
|
|
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 |
|