#!/bin/csh
./ifb-pol-analyzer 02-03-04-08-ArithmeticMean/arith-mean.sil
./ifb-pol-analyzer 02-03-04-08-ArithmeticMean/arith-mean-counter.sil
./fw-pol-analyzer 02-03-04-08-ArithmeticMean/arith-mean-counter-termination.sil
./fw-pol-analyzer 02-03-04-08-ArithmeticMean/arith-mean-counter-termination-body-sup.sil
./fw-pol-analyzer 02-03-04-08-ArithmeticMean/arith-mean-counter-termination-body-inf.sil
./ifb-pol-analyzer 05-06-DecrementXbyY/decrement.sil
./fw-pol-analyzer 05-06-DecrementXbyY/decrement-body.sil
./fw-pol-analyzer 07-EuclideanDivisionTermination/division_body.sil
./ifb-pol-analyzer 09-QuadraticLoop/WithoutPartitionning/QuadraticLoop.sil
./fw-pol-analyzer 09-QuadraticLoop/WithoutPartitionning/QuadraticLoopPreconditionBody.sil
./ifb-pol-analyzer 09-QuadraticLoop/WithPatitionning/QuadraticLoop.sil
./fw-pol-analyzer 09-QuadraticLoop/WithPatitionning/QuadraticLoopBody.sil
./fw-pol-analyzer 09-QuadraticLoop/WithPatitionning/QuadraticLoopBodyInf.sil
./fw-pol-analyzer 09-QuadraticLoop/WithPatitionning/QuadraticLoopBodySup.sil
./fw-pol-analyzer 10-Min-Factorial/min_fact_body
./fw-pol-analyzer 11-Conditionals/decr_incr_case_1.sil
./fw-pol-analyzer 11-Conditionals/decr_incr_case_2.sil
./ifb-pol-analyzer 11-Conditionals/decr_incr.sil
./ifb-pol-analyzer 12-Bubble-Sort/BubbleSort.sil
./fw-pol-analyzer 12-Bubble-Sort/BubbleSortBodyInner.sil
./fw-pol-analyzer 12-Bubble-Sort/BubbleSortBodyOuter.sil
./fw-pol-analyzer 12-Bubble-Sort/BubbleSortBodyOuterInitial.sil
./ifb-pol-analyzer 12-Bubble-Sort/BubbleSortTerminationPrecondition.sil
./ifb-pol-analyzer 13-Concurrency/concur.sil
./fw-pol-analyzer 13-Concurrency/concur_body.sil
./fw-pol-analyzer  '14-WeakFairness/weakfairness_body_x>0_s=1.sil'
./fw-pol-analyzer  '14-WeakFairness/weakfairness_body_x>0_s>1.sil'
./fw-pol-analyzer  '14-WeakFairness/weakfairness_body_y>0_s=1.sil'
./fw-pol-analyzer  '14-WeakFairness/weakfairness_body_y>0_s>1.sil'
./ifb-pol-analyzer  14-WeakFairness/weakfairness.sil
./fw-pol-analyzer  14-WeakFairness/weakfairness.sil
./fw-pol-analyzer 16-POPL78/popl78.sil
./fw-pol-analyzer 17-EuclideanDivisionInvariance/division.sil

#******************************************************************************
# Copyright 2004  Patrick.Cousot@ens.fr
#******************************************************************************
# Permission to use, copy, modify, and distribute this software and its
# documentation for any purpose and without fee is hereby granted,
# provided that the above copyright notice appear in all copies and that
# both that the copyright notice and warranty disclaimer appear in
# supporting documentation.
# 
# P. Cousot disclaims all warranties with regard to this software,
# including all implied warranties of merchantability and fitness.  In
# no event shall P. Cousot be liable for any special, indirect or
# consequential damages or any damages whatsoever resulting from loss of
# use, data or profits, whether in an action of contract, negligence or
# other tortuous action, arising out of or in connection with the use or
# performance of this software.
#******************************************************************************
