summaryrefslogtreecommitdiff
path: root/Test/civl
ModeNameSize
-rw-r--r--DeviceCache.bpl7279logplain
-rw-r--r--DeviceCache.bpl.expect61logplain
-rw-r--r--FlanaganQadeer.bpl1902logplain
-rw-r--r--FlanaganQadeer.bpl.expect60logplain
-rw-r--r--Program1.bpl636logplain
-rw-r--r--Program1.bpl.expect60logplain
-rw-r--r--Program2.bpl703logplain
-rw-r--r--Program2.bpl.expect60logplain
-rw-r--r--Program3.bpl674logplain
-rw-r--r--Program3.bpl.expect60logplain
-rw-r--r--Program4.bpl1528logplain
-rw-r--r--Program4.bpl.expect60logplain
-rw-r--r--Program5.bpl3066logplain
-rw-r--r--Program5.bpl.expect61logplain
-rw-r--r--StoreBuffer.bpl9156logplain
-rw-r--r--StoreBuffer.bpl.expect61logplain
-rw-r--r--akash.bpl2436logplain
-rw-r--r--akash.bpl.expect60logplain
-rw-r--r--bar.bpl812logplain
-rw-r--r--bar.bpl.expect412logplain
-rw-r--r--chris.bpl607logplain
-rw-r--r--chris.bpl.expect60logplain
-rw-r--r--chris2.bpl509logplain
-rw-r--r--chris2.bpl.expect772logplain
-rw-r--r--chris3.bpl320logplain
-rw-r--r--chris3.bpl.expect123logplain
-rw-r--r--chris4.bpl268logplain
-rw-r--r--chris4.bpl.expect167logplain
-rw-r--r--civl-paper.bpl4987logplain
-rw-r--r--civl-paper.bpl.expect61logplain
-rw-r--r--foo.bpl801logplain
-rw-r--r--foo.bpl.expect253logplain
-rw-r--r--ghost.bpl882logplain
-rw-r--r--ghost.bpl.expect60logplain
-rw-r--r--linear-set.bpl3018logplain
-rw-r--r--linear-set.bpl.expect60logplain
-rw-r--r--linear-set2.bpl2954logplain
-rw-r--r--linear-set2.bpl.expect60logplain
-rw-r--r--lock-introduced.bpl2451logplain
-rw-r--r--lock-introduced.bpl.expect61logplain
-rw-r--r--lock.bpl1055logplain
-rw-r--r--lock.bpl.expect60logplain
-rw-r--r--lock2.bpl1224logplain
-rw-r--r--lock2.bpl.expect60logplain
-rw-r--r--multiset.bpl10911logplain
-rw-r--r--multiset.bpl.expect61logplain
-rw-r--r--new1.bpl1042logplain
-rw-r--r--new1.bpl.expect60logplain
-rw-r--r--one.bpl291logplain
-rw-r--r--one.bpl.expect60logplain
-rw-r--r--par-incr.bpl568logplain
-rw-r--r--par-incr.bpl.expect60logplain
-rw-r--r--parallel1.bpl688logplain
-rw-r--r--parallel1.bpl.expect271logplain
-rw-r--r--parallel2.bpl1445logplain
-rw-r--r--parallel2.bpl.expect60logplain
-rw-r--r--parallel4.bpl1064logplain
-rw-r--r--parallel4.bpl.expect191logplain
-rw-r--r--parallel5.bpl1444logplain
-rw-r--r--parallel5.bpl.expect60logplain
-rw-r--r--perm.bpl1314logplain
-rw-r--r--perm.bpl.expect60logplain
-rw-r--r--t1.bpl2640logplain
-rw-r--r--t1.bpl.expect285logplain
-rw-r--r--termination.bpl386logplain
-rw-r--r--termination.bpl.expect182logplain
-rw-r--r--termination2.bpl429logplain
-rw-r--r--termination2.bpl.expect60logplain
-rw-r--r--ticket.bpl4294logplain
-rw-r--r--ticket.bpl.expect61logplain
-rw-r--r--treiber-stack.bpl9242logplain
-rw-r--r--treiber-stack.bpl.expect60logplain
-rw-r--r--wsq.bpl23062logplain
-rw-r--r--wsq.bpl.expect60logplain