summaryrefslogtreecommitdiff
path: root/Chalice/refinements
ModeNameSize
-rw-r--r--AngelicExec.chalice431logplain
-rw-r--r--Answer1763logplain
-rw-r--r--Calculator.chalice941logplain
-rw-r--r--Celebrity.chalice1262logplain
-rw-r--r--Counter.chalice1778logplain
-rw-r--r--CounterReverse.chalice350logplain
-rw-r--r--DSW.chalice3788logplain
-rw-r--r--Duplicates.chalice2969logplain
-rw-r--r--DuplicatesLight.chalice1015logplain
-rw-r--r--DuplicatesVideo.chalice1078logplain
-rw-r--r--List.chalice951logplain
-rw-r--r--LoopFiniteDiff.chalice907logplain
-rw-r--r--LoopSqRoot.chalice705logplain
-rw-r--r--Pick.chalice444logplain
-rw-r--r--RecFiniteDiff.chalice1132logplain
-rw-r--r--RecSqRoot.chalice780logplain
-rw-r--r--SpecStmt.chalice674logplain
-rw-r--r--SumCubes.chalice421logplain
-rw-r--r--TestCoupling.chalice1003logplain
-rw-r--r--TestRefines.chalice391logplain
-rw-r--r--TestTransform.chalice526logplain
d---------original475logplain
-rw-r--r--test.sh872logplain