Commits

Paweł Wieczorek  committed 0360d5d Draft

added doc/RES...

  • Participants
  • Parent commits 4e27797

Comments (0)

Files changed (2)

File doc/RESOURCE.txt

+SIP: Session Initiation Protocol
+http://tools.ietf.org/html/rfc3261
+
+Session Initialization Protocol - Specific Event Notification
+http://tools.ietf.org/html/rfc3265
+
+S/MIME Advanced Encryption Standard AES Requirement for the Session Initialization Protocol
+http://tools.ietf.org/html/rfc3853
+
+Actions Addressing Identified Issues with the Session Initiation Protocol's (SIP) Non-INVITE Transaction
+http://tools.ietf.org/html/rfc4320
+
+Connected Identity in the Session Initiation Protocol
+http://tools.ietf.org/html/rfc4916
+
+Addressing an Amplification Vulnerability in Session Initiation Protocol (SIP) Forking Proxies
+http://tools.ietf.org/html/rfc5393
+
+Message Body Handling in the Session Initiation Protocol (SIP)
+http://tools.ietf.org/html/rfc5621
+
+Managing Client-Initiated Connections in the Session Initiation Protocol (SIP)
+http://tools.ietf.org/html/rfc5626
+
+The Use of the SIPS URI Scheme in the Session Initiation Protocol (SIP)
+http://tools.ietf.org/html/rfc5630
+
+Domain Certificates in the Session Initiation Protocol (SIP)
+http://tools.ietf.org/html/rfc5922
+
+Essential Correction for IPv6 ABNF and URI Comparison in RFC 3261
+http://tools.ietf.org/html/rfc5954
+
+Correct Transaction Handling for 2xx Responses to Session Initiation Protocol (SIP) INVITE Requests
+http://tools.ietf.org/html/rfc6026
+
+Re-INVITE and Target-Refresh Request Handling in the Session Initiation Protocol (SIP)
+http://tools.ietf.org/html/rfc6141

File tests/Test.ml

 
 
 let test_suite = "SIP" >:::
-    [ Test_parser.test_suite
+    [ Test_monadic_parser.test_suite
+    ; Test_parser.test_suite
     ]
 ;;