README
author Christian Urban <urbanc@in.tum.de>
Sun, 05 Feb 2017 02:58:20 +0000
changeset 112 3252fd0c0dd2
parent 111 cd6b9fe4bce5
child 113 b8ba08170d79
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
78
85f2f75abeeb updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
Calling ediff from the command line
85f2f75abeeb updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
85f2f75abeeb updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
85f2f75abeeb updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
emacs --eval "(ediff-files \"k1502472/drumb.scala\" \"k1502752/drumb.scala\")"
85
fd3f8581ce85 updated
Christian Urban <urbanc@in.tum.de>
parents: 78
diff changeset
     5
fd3f8581ce85 updated
Christian Urban <urbanc@in.tum.de>
parents: 78
diff changeset
     6
fd3f8581ce85 updated
Christian Urban <urbanc@in.tum.de>
parents: 78
diff changeset
     7
deleting comments from scala files
fd3f8581ce85 updated
Christian Urban <urbanc@in.tum.de>
parents: 78
diff changeset
     8
89
fac25de665d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 85
diff changeset
     9
find . -name '*.scala' -print0 | xargs -0 perl -n -p -0 -i.bak -e 's%/\*([^*].*?)?\*/%%gs;s%^([^\"\n\r]*(\"[^\"\n\r]*\"[^\"\n\r]*?)*?)//([^*\n\r].*)?$%$1%gm'
fac25de665d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 85
diff changeset
    10
fac25de665d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 85
diff changeset
    11
fac25de665d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 85
diff changeset
    12
find . -name '*.scala' -print0 | sed -i.2 's|def ordered_moves(dim: Int, path: Path, x: Pos): List[Pos] = ..|//def ordered_moves(dim: Int, path: Path, x: Pos): List[Pos] = ..|g'
fac25de665d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 85
diff changeset
    13
fac25de665d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 85
diff changeset
    14
fac25de665d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 85
diff changeset
    15
LC_ALL=C sed -i.2 -- 's|def ordered_moves(dim: Int, path: Path, x: Pos): List\[Pos\] = \.\.|//def ordered_moves(dim: Int, path: Path, x: Pos): List[Pos] = ..|g' k*/knight3.scala.bak
fac25de665d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 85
diff changeset
    16
fac25de665d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 85
diff changeset
    17
LC_ALL=C sed -i.2 -- 's|def first_closed_tour_heuristic(dim: Int, path: Path): Option\[Path\] = \.\.\.|//def first_closed_tour_heuristic(dim: Int, path: Path): Option[Path] = ...|g' k*/knight3.scala.bak
fac25de665d2 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 85
diff changeset
    18
90
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    19
LC_ALL=C sed -i.2 -- 's|def first_tour_heuristic(dim: Int, path: Path): Option\[Path\] = \.\.\.|//def first_tour_heuristic(dim: Int, path: Path): Option[Path] = ...|g' k*/knight3.scala.bak
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    20
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    21
LC_ALL=C sed -i.2 -- 's|def nullable (r: Rexp) : Boolean = \.\.\.|//def nullable (r: Rexp) : Boolean = ...|g' k*/re.scala.bak
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    22
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    23
LC_ALL=C sed -i.2 -- 's|def der (c: Char, r: Rexp) : Rexp = \.\.\.|//def der (c: Char, r: Rexp) : Rexp = ...|g' k*/re.scala.bak
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    24
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    25
LC_ALL=C sed -i.2 -- 's|def simp(r: Rexp) : Rexp = \.\.\.|//def simp(r: Rexp) : Rexp = ...|g' k*/re.scala.bak
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    26
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    27
LC_ALL=C sed -i.2 -- 's|def ders (s: List[Char], r: Rexp) : Rexp = \.\.\.|//def ders (s: List[Char], r: Rexp) : Rexp = ...|g' k*/re.scala.bak
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    28
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    29
LC_ALL=C sed -i.2 -- 's|def matcher(r: Rexp, s: String): Boolean = \.\.\.|//def matcher(r: Rexp, s: String): Boolean = ...|g' k*/re.scala.bak
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    30
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    31
LC_ALL=C sed -i.2 -- 's|def replace(r: Rexp, s1: String, s2: String): String = \.\.\.|//def replace(r: Rexp, s1: String, s2: String): String = ...|g' k*/re.scala.bak
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    32
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    33
LC_ALL=C sed -i.2 -- 's|println(matcher(EVIL,|//println(matcher(EVIL,|g' k*/re.scala.bak
d77af4aca939 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 89
diff changeset
    34
99
e10a9b2fd35a updated
Christian Urban <urbanc@in.tum.de>
parents: 90
diff changeset
    35
LC_ALL=C sed -i.2 -- 's|for (i <- 1 to 5000001 by 500000)|for (i <- 1 to 11 by 10)|g' k*/re.scala.bak
e10a9b2fd35a updated
Christian Urban <urbanc@in.tum.de>
parents: 90
diff changeset
    36
e10a9b2fd35a updated
Christian Urban <urbanc@in.tum.de>
parents: 90
diff changeset
    37
e10a9b2fd35a updated
Christian Urban <urbanc@in.tum.de>
parents: 90
diff changeset
    38
e10a9b2fd35a updated
Christian Urban <urbanc@in.tum.de>
parents: 90
diff changeset
    39
ontime:
e10a9b2fd35a updated
Christian Urban <urbanc@in.tum.de>
parents: 90
diff changeset
    40
k1502660
e10a9b2fd35a updated
Christian Urban <urbanc@in.tum.de>
parents: 90
diff changeset
    41
k1502705
111
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    42
k1502679
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    43
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    44
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    45
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    46
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    47
-----------------------
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    48
"Mounty, Jonathan" jonathan.mounty@kcl.ac.uk
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    49
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    50
Task 1: Ok  (1%)
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    51
Task 2: Ok  (2%)
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    52
Task 3: OK  (1%)
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    53
Task 4: Ok  (1%)
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    54
Task 5: Ok  (1%)
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    55
Task 6: Not implemented (-2%)
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    56
Task 7: OK  (1%)
cd6b9fe4bce5 updated
Christian Urban <urbanc@in.tum.de>
parents: 99
diff changeset
    57
Task 8: Not ok (-1%)
112
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    58
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    59
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    60
----------------------
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    61
Sharpe, Simone simone.sharpe@kcl.ac.uk
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    62
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    63
Task 1: Ok  (1%)
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    64
Task 2: Ok  (2%)
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    65
Task 3: OK  (1%)
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    66
Task 4: Ok  (1%)
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    67
Task 5: Not implemented (-1%)
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    68
Task 6: Not implemented (-2%)
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    69
Task 7: Not implemented (-1%)
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    70
Task 8: Not implemented (-1%)
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    71
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    72
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    73
--------------------------------
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    74
Hasebe, Nina,   nina.hasebe@kcl.ac.uk
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    75
3252fd0c0dd2 updated
Christian Urban <urbanc@in.tum.de>
parents: 111
diff changeset
    76
All fine except task 6. (-2%)