changed requires so that either user could be used to set up the call. TAR_x TPs do not get covered because of removed incomplete-complete reqs.

calling statuses for connections corrected and removed 'is_remote' boolean. TAR_x TPs do not get covered.

removed the unnecessary remote-variable, corrected connection statuses for calling cases. TP coverage still the same.

state machine was fixed for receiving gm and mw messages; now most TP get covered except for INI_03- and TAR_xs.

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.

No commit message

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.

Very few changes in 1GM and Defs,
plenty modified in 1Gm1Mw

restructured model; Gm registration done in separate functions, only one SIP message for requests and responses and some additional TPs covered.

No commit message

STS updates to TPs based on review. final state for second TP draft. with marker where review should continue

Ic: 5509, 5519
Isc: 5105
All: TP appearace checked and modified where necessary

No commit message

No commit message

No commit message

No commit message