Name
Date
Size
#Lines
LOC

..--

Data-Structures/H--5,7774,957

Expedited-Grace-Periods/H--5,0044,799

Memory-Ordering/H--14,13713,558

Requirements/H--3,7423,400