Colin Adams
|
f52aa2ecff
|
Made changes requested in review
|
2013-04-17 15:37:39 +01:00 |
|
Colin Adams
|
024e5e4b04
|
Fixed Use Proxy response bug
|
2013-04-11 12:04:11 +01:00 |
|
Jocelyn Fiat
|
47d98a1a11
|
Merge pull request #52 from colin-adams/master
Bad postcondition for handle_use_proxy
|
2013-04-08 09:24:38 -07:00 |
|
Colin Adams
|
1b94f58e7a
|
Removed incorrect postcondition for handle_use_proxy
|
2013-04-05 12:41:13 +01:00 |
|
|
|
5fc34d947a
|
Cosmetic
fixed various indentations
Removed useless dependencies for ewf_ise_wizard project.
|
2013-04-05 12:12:26 +02:00 |
|
Colin Adams
|
5249275b23
|
Further changes in response to review comments by Jocelyn
|
2013-03-27 15:38:13 +00:00 |
|
Colin Adams
|
14088f126b
|
Use class URI
|
2013-03-26 16:10:32 +00:00 |
|
Colin Adams
|
ad5ccd6585
|
Corrected header comment
|
2013-03-23 17:15:17 +00:00 |
|
Colin Adams
|
d34c940c91
|
added reference to assertion tags in check justiciation
|
2013-03-19 15:59:17 +00:00 |
|
Colin Adams
|
7435b4f454
|
refactored for WSF_ROUTED_SKELETON_SERVICE
|
2013-03-18 14:45:04 +00:00 |
|
