4 Commits

Include renames

Author	SHA1	Message	Date
Colin Adams	eafb04719d	Actioned Jocelyns comments re. a_req and a_res	2012-12-11 19:26:06 +00:00
Colin Adams	a9d83f97a8	Completed first pass for HTTP 1.1 conformace contracts	2012-11-24 15:45:42 +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