February 2008 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Fri Feb 1 10:37:48 EST 2008
Ending: Mon Feb 25 08:39:43 EST 2008
Messages: 69

• [Hs-Generics] patch applied (generics): RepLib does not support GRose & NGRose   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): NGRose is not representable in EMGM either.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Simplified NGRose test a bit, but it is still as demanding to implement   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Minor edits - mainly comments summarising the tests   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Print more test info, minor renaming towards paper usage, test overview.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): NGRoseReps added and made NGRose to work under EMGM   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Some renaming to match paper + added some comments   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): listifyInt -> selectInt   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): listify -> select in most places   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Removed repeated printing of library name in test reports   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Added a generic generate (gfulltree) function for LIGD   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Some polishing   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Only comments   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Reduce -> CrushRight, big patch   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GShow[Ext] for EMGM: polishing   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GShow[Ext] for LIGD implemented (when possible)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GShow[ext] RepLib updates (minimal imports, etc.) + simplification of same test for EMGM   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GShow[Ext] PolyP (trivially failing cases added)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GShow[Ext] Spine: removed cheating in GShow, added (failing) GShowExt   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GShow SYB1_2 fixes   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GShowExt SYB1_2 added (working)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): SYB1_2 fails for CrushRight.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Simplification of representation of arity two   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Further simplifications in CrushRight for LIGD and EMGM, as per RepLib paper section 5   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): CrushRight working for RepLib, not very satisfactory though.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Small edit on RepLib's crushRight   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Universe extension tests and separate compilation test   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): TestHigherOrder -> TestGMapQ1   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GShow[Ext] Smash: added tests. They fail.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GShow[Ext] Uniplate added (failing)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): FoldTree updated over all approaches   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Forgotten file last check-in   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Fixed Uniplate with ghc 6.8 (by merging patches from uniplate repo.)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Uniplate Nested loops for me => disabled test (needs investigation)   Alexey Rodriguez Yakushev
  • [Hs-Generics] patch applied (generics): Uniplate Nested loops for me => disabled test (needs investigation)   Neil Mitchell
• [Hs-Generics] patch applied (generics): Just documentation   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GMap LIGD recoded   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GMap for EMGM updated   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GMap PolyP minor updates   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GMap Spine done (failing test)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GMap SYB1_2 clarified that gmap cannot be defined   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GMap RepLib: only comment (comp.error. Alex working on it, I guess)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GMap Smash: not supported   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GMap Uniplate added (failing) + forgotten line in Smash addition   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Removed SYB_w_cl from test.hs (the library does not exist in this repository)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Add rmWeights to Uniplate   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): make gshowExt for SYB1_2 (see SYB1_2/GShowExt.lhs for explanation)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): RmWeights implementation for Spine.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Allowing cheating for LIGD and Spine in ad-hoc cases for constructors   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Nested Uniplate: works again (I had some strange mix of half-updated uniplate versions installed)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): UpdateSalary EMGM updated   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): UpdateSalary LIGD updated   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): UpdateSalary SYB1_2 updated   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): UpdateSalary RepLib updated   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): UpdateSalary Uniplate update   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): UpdateSalary Spine update (failing as it should)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): UpdateSalary PolyP updated (failing as it should)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): UpdateSalary Smash updated   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): UpdateSalary check completed   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): RmWeights EMGM updated (builds on Gid, not updateSalary)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): RmWeights SYB1_2 updated   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): RmWeights RepLib fixes   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): RmWeights Uniplate updates (general def. still missing)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): fulltree added to PolyP   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GMap for Spine   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): GMap for Spine (cheating separate compilation)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): TestRmWeights for Spine, the previous test was broken (explicit matching of constructors other than WithWeight not allowed)   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): Added a transformation map to LIGD (gmapT), will be useful for a test at least.   Alexey Rodriguez Yakushev
• [Hs-Generics] patch applied (generics): RmWeights for LIGD   Alexey Rodriguez Yakushev

Last message date: Mon Feb 25 08:39:43 EST 2008
Archived on: Mon Feb 25 08:37:40 EST 2008

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...