1.23
2.0
main
test-branch
| Rev | Line | |
|---|
| [06b8536c] | 1 |
|
|---|
| 2 | CIVL=civl
|
|---|
| 3 | VERIFY=$(CIVL) verify
|
|---|
| 4 |
|
|---|
| [89b55f5] | 5 | all: algebra assoc derivative diffusion division \
|
|---|
| [289a368] | 6 | divisionBad laplace matmat matmatBad mean meanBad \
|
|---|
| [869af89] | 7 | multiplicationInLoopCondition sqrt sqrtBad1 sqrtBad2 quadratic1
|
|---|
| 8 | quadratic2
|
|---|
| [06b8536c] | 9 |
|
|---|
| 10 | algebra: algebra.cvl
|
|---|
| 11 | $(VERIFY) algebra.cvl
|
|---|
| 12 |
|
|---|
| 13 | assoc: assoc.cvl
|
|---|
| 14 | $(VERIFY) -inputB=10 assoc.cvl
|
|---|
| [89b55f5] | 15 |
|
|---|
| 16 | derivative: derivative.cvl
|
|---|
| 17 | $(VERIFY) derivative.cvl
|
|---|
| 18 |
|
|---|
| 19 | diffusion: diffusion.cvl
|
|---|
| 20 | $(VERIFY) diffusion.cvl
|
|---|
| [06b8536c] | 21 |
|
|---|
| 22 | division: division.cvl
|
|---|
| 23 | $(VERIFY) division.cvl
|
|---|
| 24 |
|
|---|
| 25 | divisionBad: divisionBad.cvl
|
|---|
| 26 | $(VERIFY) divisionBad.cvl
|
|---|
| 27 | $(CIVL) replay divisionBad.cvl
|
|---|
| 28 |
|
|---|
| [89b55f5] | 29 | laplace: laplace.cvl
|
|---|
| 30 | $(VERIFY) laplace.cvl
|
|---|
| 31 |
|
|---|
| 32 | matmat: matmat.cvl
|
|---|
| [7e8e35c] | 33 | $(VERIFY) -inputBOUND=3 matmat.cvl
|
|---|
| [b96205d] | 34 |
|
|---|
| [89b55f5] | 35 | matmatBad: matmatBad.cvl
|
|---|
| [7e8e35c] | 36 | $(VERIFY) -min -inputBOUND=3 matmatBad.cvl
|
|---|
| [89b55f5] | 37 | $(CIVL) replay matmatBad.cvl
|
|---|
| 38 |
|
|---|
| 39 | mean: mean.cvl
|
|---|
| 40 | $(VERIFY) -inputB=10 mean.cvl
|
|---|
| [b96205d] | 41 |
|
|---|
| 42 | meanBad: meanBad.cvl
|
|---|
| 43 | $(VERIFY) -min -inputB=10 meanBad.cvl
|
|---|
| 44 | $(CIVL) replay meanBad.cvl
|
|---|
| [289a368] | 45 |
|
|---|
| 46 | multiplicationInLoopCondition: multiplicationInLoopCondition.cvl
|
|---|
| 47 | $(VERIFY) multiplicationInLoopCondition.cvl
|
|---|
| [b96205d] | 48 |
|
|---|
| [869af89] | 49 | sqrt: sqrt.cvl
|
|---|
| 50 | $(VERIFY) sqrt.cvl
|
|---|
| 51 |
|
|---|
| 52 | sqrtBad1: sqrtBad1.cvl
|
|---|
| 53 | $(VERIFY) sqrtBad1.cvl
|
|---|
| 54 |
|
|---|
| 55 | sqrtBad2: sqrtBad2.cvl
|
|---|
| 56 | $(VERIFY) sqrtBad2.cvl
|
|---|
| 57 |
|
|---|
| 58 | quadratic1: quadratic1.cvl
|
|---|
| 59 | $(VERIFY) quadratic1.cvl
|
|---|
| 60 |
|
|---|
| 61 | quadratic2: quadratic2.cvl
|
|---|
| 62 | $(VERIFY) quadratic2.cvl
|
|---|
| 63 |
|
|---|
| [b96205d] | 64 | clean:
|
|---|
| 65 | rm -rf CIVLREP *~
|
|---|
| [06b8536c] | 66 |
|
|---|
| 67 |
|
|---|
| 68 |
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
