- 21 Nov, 2008 1 commit
-
-
pintar authored
-
- 30 Oct, 2008 2 commits
-
-
schmitting authored
No commit message
-
schmitting authored
-
- 28 Oct, 2008 1 commit
-
-
schmitting authored
-
- 10 Oct, 2008 3 commits
- 07 Oct, 2008 1 commit
-
-
pintar authored
-
- 17 Sep, 2008 4 commits
-
-
cankar authored
-
schmitting authored
-
schmitting authored
MW_GEN_05: "with"-statement deleted, "unprotected" remove as irrelevant, response instead of 200_response
-
schmitting authored
"IUT has_received_MESSAGE from AS1 via ISC"
-
- 15 Sep, 2008 1 commit
-
-
schmitting authored
-
- 01 Sep, 2008 2 commits
- 29 Aug, 2008 3 commits
- 28 Aug, 2008 3 commits
-
-
cankar authored
calling statuses for connections corrected and removed 'is_remote' boolean. TAR_x TPs do not get covered.
-
cankar authored
removed the unnecessary remote-variable, corrected connection statuses for calling cases. TP coverage still the same.
-
cankar authored
state machine was fixed for receiving gm and mw messages; now most TP get covered except for INI_03- and TAR_xs.
-
- 27 Aug, 2008 7 commits
-
-
cankar authored
removed blocked transitions from model, added new parameter for connection to inform wether the connection is behind Mw or not. Still several TPs fail to get generated.
-
schmitting authored
-
schmitting authored
-
schmitting authored
No commit message
-
cankar authored
-
cankar authored
fixed registration for local and visiting UEs, contains TPs for target refresh (do not work) and emergency calls (also doesn't work). TPs GEN_01-03 and 06 broken.
-
schmitting authored
Very few changes in 1GM and Defs, plenty modified in 1Gm1Mw
-
- 26 Aug, 2008 5 commits
- 25 Aug, 2008 1 commit
-
-
cankar authored
-
- 22 Aug, 2008 6 commits
