First bug fix is that the "unshadow" token conversion mistakenly transforms the oldes...
[IRC.git] / Robust / src / Benchmarks / Ownership /
drwxr-xr-x   ..
-rw-r--r-- 483 BankApp.txt
-rw-r--r-- 740 ChatTag_ad3.txt
-rw-r--r-- 740 ChatTag_ad9.txt
-rw-r--r-- 1673 Conglomerator.txt
-rw-r--r-- 1841 MMGTag.txt
-rw-r--r-- 4379 MapReduceTag.txt
-rw-r--r-- 625 PERTTag.txt
-rw-r--r-- 525 SchedulingFilterBank.txt
-rw-r--r-- 271 SchedulingJGFSeries.txt
-rw-r--r-- 635 SpiderBR.txt
-rw-r--r-- 848 SpiderBRTag.txt
-rw-r--r-- 1217 TTTTag.txt
-rw-r--r-- 819 TileSearchTag.txt
-rw-r--r-- 977 WebServerTag_ad3.txt
-rw-r--r-- 610 makefile
-rw-r--r-- 397 summary.txt