February 2008 - Generics

patch applied (generics): UpdateSalary check completed
by Alexey Rodriguez Yakushev 21 Feb '08

21 Feb '08

Sat Feb 16 08:28:04 PST 2008 patrikj(a)chalmers.se * UpdateSalary check completed M ./comparison/log.txt -4 +3

1 0

patch applied (generics): UpdateSalary Smash updated
by Alexey Rodriguez Yakushev 21 Feb '08

21 Feb '08

Sat Feb 16 08:26:21 PST 2008 patrikj(a)chalmers.se * UpdateSalary Smash updated ./comparison/Smash/Paradise.hs -> ./comparison/Smash/UpdateSalaryDef.hs M ./comparison/Smash/UpdateSalaryDef.hs -23 +9

1 0

patch applied (generics): UpdateSalary PolyP updated (failing as it should)
by Alexey Rodriguez Yakushev 21 Feb '08

21 Feb '08

Sat Feb 16 08:09:51 PST 2008 patrikj(a)chalmers.se * UpdateSalary PolyP updated (failing as it should) M ./comparison/PolyP/Paradise.lhs -2 +4

1 0

patch applied (generics): UpdateSalary Spine update (failing as it should)
by Alexey Rodriguez Yakushev 21 Feb '08

21 Feb '08

Sat Feb 16 08:06:54 PST 2008 patrikj(a)chalmers.se * UpdateSalary Spine update (failing as it should) ./comparison/Spine/Paradise.lhs -> ./comparison/Spine/UpdateSalaryDef.lhs A ./comparison/Spine/Paradise.lhs M ./comparison/Spine/UpdateSalaryDef.lhs -13 +5

1 0

patch applied (generics): UpdateSalary Uniplate update
by Alexey Rodriguez Yakushev 21 Feb '08

21 Feb '08

Sat Feb 16 07:55:20 PST 2008 patrikj(a)chalmers.se * UpdateSalary Uniplate update M ./comparison/Uniplate/Paradise.lhs -2 +2

1 0

patch applied (generics): UpdateSalary RepLib updated
by Alexey Rodriguez Yakushev 21 Feb '08

21 Feb '08

Sat Feb 16 07:53:00 PST 2008 patrikj(a)chalmers.se * UpdateSalary RepLib updated M ./comparison/RepLib/Paradise.lhs -14 +2 A ./comparison/RepLib/UpdateSalaryDef.lhs

1 0

patch applied (generics): UpdateSalary SYB1_2 updated
by Alexey Rodriguez Yakushev 21 Feb '08

21 Feb '08

Sat Feb 16 04:51:08 PST 2008 patrikj(a)chalmers.se * UpdateSalary SYB1_2 updated M ./comparison/SYB1_2/Paradise.lhs -12 +2 A ./comparison/SYB1_2/UpdateSalaryDef.lhs

1 0

patch applied (generics): UpdateSalary LIGD updated
by Alexey Rodriguez Yakushev 21 Feb '08

21 Feb '08

Sat Feb 16 04:45:43 PST 2008 patrikj(a)chalmers.se * UpdateSalary LIGD updated M ./comparison/LIGD/Paradise.lhs -21 +5

1 0

patch applied (generics): UpdateSalary EMGM updated
by Alexey Rodriguez Yakushev 21 Feb '08

21 Feb '08

Sat Feb 16 04:23:49 PST 2008 patrikj(a)chalmers.se * UpdateSalary EMGM updated ./comparison/EMGM/Paradise.lhs -> ./comparison/EMGM/UpdateSalaryDef.lhs M ./comparison/EMGM/UpdateSalaryDef.lhs -31 +15 M ./comparison/log.txt +9

1 0

patch applied (generics): Nested Uniplate: works again (I had some strange mix of half-updated uniplate versions installed)
by Alexey Rodriguez Yakushev 21 Feb '08

21 Feb '08

Sat Feb 16 04:03:32 PST 2008 patrikj(a)chalmers.se * Nested Uniplate: works again (I had some strange mix of half-updated uniplate versions installed) M ./comparison/Uniplate/Nested.lhs -4 +1 M ./comparison/log.txt -1 +1

1 0