for pldi answer

for pldi answer

Capturing Start/Close in IRC-logs

List of lists of numbers (no leading zeros)

extracting constraint id from composed column header

ip-adreese

To validate a number with this regular expression is mandatory to have the number group with only digits. You can modify the number group to accept spaces, hyphens, and dots with something like this: (?P[\d\-\.]+). Valid examples +54 9 11 50165564 54 2268 201232 15 50165564...

new line matcher

mixed or simple fraction with whitespace, optional dash as separator

Rather long, but pretty accurate, matches on BS7666 alpha num pattern. https://en.wikipedia.org/wiki/Postal_code#UK

UK postcode pattern as specified in offical document https://www.gov.uk/government/uploads/system/uploads/attachment_data/file/283357/ILRSpecification2013_14Appendix_C_Dec2012_v1.pdf

link making

This is a Regex to the Whatsapp chat data. This parses the G1 - Date, G2 - Time, G3 - User, G4 - Qualifier & G5 - Actual chat data. The Qualifier (G4) identifies the group Creation information, : that separates the User and Ping chat data and New user added chats.

Convert .5 in all its forms to 1/2

Recognizes time-of-day timestamps Time range is from 0:00:00 through 23:59:59 Seconds are optional Named match components for hours, minutes, seconds

for catching phone generated message such as "sent from my"

Match an IPv4 address and its description delimited by a 'newline' paragraph