Fix a typo in Semantics-New/README

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6230 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: a502848aead728bda671cea2a6f7b5c9145b94f4
Scalopes/wcdma_original.bug: nobody to perform maintenance; not a recent bug on April 4th, 2014

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6231 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: aaef528b73d09d613a25251ca98ff547c36ccfff
AcceleratorUtils/Isolate_statement.sub/isolate14: new bug declared; Serge might have forgotten a sort before code generation

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6232 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 5984781c21959352dc332dc57a7e2c1ba0c41b88
Effects/Old.sub/dereferencing03: I validate the new result because it is correct; the old result was correct too because it was an over-approximation; the source code is bugged wrt the standard; the execution should core dump; I do not know if the semantics of cumulated pointer effects is defined precisely enough in case of core dumps...; maybe we should not use too many buggy pieces of code in the validation; errors with pointers are not exploited by Pass control_simplification

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6233 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: ec9972da33ecded7dd34211db449090e7e68d3ef
Demo/SC95.sub: improved accuracy due to a better approximation of a square by the semantics pass9es); the accuracy would improved even more if transformers were computed in context

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6234 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: fd87b43601d7d0584fdcf4b4af272cedd075a748
Gpu/matmul04: bug and internal error in kernel_load_store pass

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6235 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: e5f8e0ca100d3bf4dd6414c79ca6c8313e18a27c
Task_parallelization/SPMDization.sub/communications01: the test file was empty; I have no idea if the out file is correct or not; this should be dealt with by Dounia...

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6236 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 1e03ca56621566e744082cc688665772c4cdaf2a
Task_parallelization/Instrumentation.sub: the validation is a joke; only one test case is defined; and a bug  is detected by gcc...; also we have to  think about rating the different passes automagically in pipsmake-rc.tex with the numbers of test cases and bugs...

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6237 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 02bac8baad457946aa8ec523160e2963f6e1459e
validation/Outlining: three bug files added for a unique underlying bug. See Ticket 746

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6238 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: aecde1f8ea155bb6c7bb50b638d6a352b38a28fa
Semantics-New/flip-flop02: the result expected for flip-flop01 is obtained with an external while loop; the issue seems to be linked to the analysis of DO loops vs the analysis of WHILE loops; all loops are assumed analyzed in a unified way, but DO loops are still processed with an older function that seemed to work well-enough to avoid a validation nightmare in case it were upgraded with the unified algorithm; also, flip-flop03 is added

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6239 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 9929200126a315bae1c46363193068706eb9d595
validation: new comments linked to outlining

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6240 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 72c2f2a933e74f1f299c6b11967458997e027e48
Semantics-New: Dilig test case from OOPSLA 2013 added

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6241 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 282e4895f0e7979a52692fecd9ec074ef422bbec
flip-flop01.later added temporarily

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6242 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: a50b84dc2018208ca1b678ef2cac5542b2cef949
Semantics-New: a few new test cases for Vivien

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6243 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 771be27347ce9a59a903066ff6a8e19a45ce601d
add examples with pragma

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6244 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: a783fa885e8bbc306cc840f9db3ebbe829dd544f
pragma: rename dir to add .result

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6245 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 1c65b576eae0511c9c864e7f7b459afc581d485f
add an example of difference between old and new controlizer

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6246 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 681d9992f2ddc0d45481084cbfb5a0a544084ab0
valildation/Preprocessor: improved line numbering, empty lines better preserved

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6247 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: a578adca28b4247931bfd2a2a83beea8ebb9eb85
validation/Crough: implict output formatting replaced by explicit formatting; Fortran double precision or real*8 seems to be implented as real*4 both by f77 and gfortran...

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6248 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 69f6309ef520fbefbd26cf71e3823dde958f36bd
validation/Pointers: two bugs related to (modified?) handling of call sites

git-svn-id: https://scm.cri.ensmp.fr/svn/validation/trunk@6249 67b5017d-e62d-0410-a871-f72b1c62810f

Former-commit-id: 0a4e45d18b721ebfc298d37677b5a1cf5cdcfb65