Proper skew transformation
commit2b5946c8b3ee807113c38692fa399702db986914
authorOleksandr Zinenko <zinenko@lri.fr>
Mon, 15 Sep 2014 12:07:50 +0000 (15 14:07 +0200)
committerOleksandr Zinenko <zinenko@lri.fr>
Mon, 15 Sep 2014 12:39:19 +0000 (15 14:39 +0200)
tree9997e0096f425c95f6b4074f504b15031e15f5c6
parent62b9a6e11d6ed4fd2c3af5a3072835288cfb122b
Proper skew transformation
18 files changed:
source/transformation.c
tests/Makefile.am
tests/must_fail/skew_overflow_statement.c.clay.scop
tests/must_fail/skew_statement.c [moved from tests/unitary/skew_statement.c with 100% similarity]
tests/must_fail/skew_statement.c.clay.scop [new file with mode: 0644]
tests/must_fail/skew_statement.c.orig.scop [moved from tests/unitary/skew_statement.c.orig.scop with 100% similarity]
tests/must_fail/skew_statement1.c [moved from tests/unitary/skew_statement1.c with 100% similarity]
tests/must_fail/skew_statement1.c.clay.scop [new file with mode: 0644]
tests/must_fail/skew_statement1.c.orig.scop [moved from tests/unitary/skew_statement1.c.orig.scop with 100% similarity]
tests/unitary/skew_loop1.c.clay.scop
tests/unitary/skew_loop1.c.orig.scop
tests/unitary/skew_loop2.c.clay.scop
tests/unitary/skew_loop2.c.orig.scop
tests/unitary/skew_loop3.c [new file with mode: 0644]
tests/unitary/skew_loop3.c.clay.scop [copied from tests/unitary/skew_loop1.c.clay.scop with 90% similarity]
tests/unitary/skew_loop3.c.orig.scop [copied from tests/unitary/skew_loop1.c.orig.scop with 85% similarity]
tests/unitary/skew_statement.c.clay.scop [deleted file]
tests/unitary/skew_statement1.c.clay.scop [deleted file]