Starting with tag:
[TAG NoCentralEval
golubovsky@gmail.com**20081207133656] 
[Started putting together a more canonical (i. e. per thesis) implementation of eval and apply.
golubovsky@gmail.com**20081208041907] 
[Rewrote buildEval in monadic fashin. buildApply not working yet.
golubovsky@gmail.com**20081208113955] 
[Coded "brute-force" central eval and apply.
golubovsky@gmail.com**20081209113940] 
[Started implementing alternative algorithm of type analysis.
golubovsky@gmail.com**20081210033528] 
[Few more code of fast type analysis.
golubovsky@gmail.com**20081210113923] 
[More code to implement fast type analysis algorithm.
golubovsky@gmail.com**20081211042542] 
[Added function to extract unique tags for given variables.
golubovsky@gmail.com**20081211113146] 
[Started putting together a GRIN to Haskell converter.
golubovsky@gmail.com**20081212034953] 
[More coding for Haskell writer.
golubovsky@gmail.com**20081212114100] 
[Implemented building of primitive declarations from heap map and core annotations.
golubovsky@gmail.com**20081213041244] 
[Moved more type definitions in Type module.
golubovsky@gmail.com**20081213143420] 
[Simple values are now tagged (boxed). Explicit boxing/unboxing when calling primitives has yet to be written.
golubovsky@gmail.com**20081214045022] 
[More code to implement boxing/unboxing
golubovsky@gmail.com**20081214145829] 
[Implemented boxing/unboxing of simple values in primitive calls and case statements (when all patterns match on boxable literals).
golubovsky@gmail.com**20081215045138] 
[Implemented building of data tag declarations. TODO: if tags occur with 0 and /=0 arities (former means tag was passed on its own), eliminate zero arity declaration.
golubovsky@gmail.com**20081215114033] 
[Implemented printing of data tag declarations.
golubovsky@gmail.com**20081216033031] 
[Implemented proper lifting of non-nullary ctors when passed alone (like in showChar).
golubovsky@gmail.com**20081216114026] 
[Minor optimization to detect non-reducible values and single-call evals from the heap map.
golubovsky@gmail.com**20081220042514] 
[Removed eval calls on values returned from functions: they are WHNF anyway.
golubovsky@gmail.com**20081220144433] 
[Minor fixes.
golubovsky@gmail.com**20081221041237] 
[Added some experimental code - may be removed in the future.
golubovsky@gmail.com**20081223040549] 
[Annotated fetch resulting from SEL_ELEM primitive: now all fetches are tag-specific.
golubovsky@gmail.com**20081226022747] 
[Partly unrolled the previous patch: given that all fetches are tag-specific gives more hope to the dependency-based approach at least for initial resolution.
golubovsky@gmail.com**20081226130651] 
[Implemented depth-first algorithm to resolve types of eval variables, works at least for some.
golubovsky@gmail.com**20081228041028] 
[Some improvement with iterative elimination of evals in seemingly better time.
golubovsky@gmail.com**20081229044015] 
[Implemented elimination of calls to apply for known P-tagged variables.
golubovsky@gmail.com**20081230045801] 
[Implemented a combination of dep-based and heapmap-based eliminator of evals and applys.
golubovsky@gmail.com**20090102044012] 
[Implemented removal of some (but not all) dead functions based on heap map alone.
golubovsky@gmail.com**20090102124326] 
[Minor speed improvements.
golubovsky@gmail.com**20090103021420] 
[Implemented an iterative optimization with more or less reasonable timing.
golubovsky@gmail.com**20090105230728] 
[Via elimination of unused dictionary fields, got almost complete removal of dictionaries and unused dictionary functions.
golubovsky@gmail.com**20090106034226] 
[Fixed integer type interpretation.
golubovsky@gmail.com**20090109035950] 
[Removed boxing/unboxing simple values (no more CInt, CFlost, etc.)
golubovsky@gmail.com**20090111035704] 
[TAG before-cleanup
golubovsky@gmail.com**20090111061251] 
[Minor cleanup before major cleanup
golubovsky@gmail.com**20090111061343] 
[Major cleanup
golubovsky@gmail.com**20090111064702] 
[Minor fix for Cabal re-upload
golubovsky@gmail.com**20090118035930
 Ignore-this: f2a56e8804b22e9ddb0b65ad6613b3df
] 
[Started putting in strictness analysis.
golubovsky@gmail.com**20090123041522
 Ignore-this: ecf9ab3681ae6a5c6af88f0e090e4d3a
] 
[More of strictness analysis.
golubovsky@gmail.com**20090123113532
 Ignore-this: 5ad79cec5869356b2589e8fc45f7a412
] 
[More of strictness analysis.
golubovsky@gmail.com**20090124041715
 Ignore-this: ae0dc82980dc4a17506d4a71f5e42512
] 
[More improvements to the unneeded code elimination.
golubovsky@gmail.com**20090126041128
 Ignore-this: 40e9a94c5747ef94500568ed7c592ac3
] 
[Make sure only CAF dictionaries are inlined, not other CAFs.
golubovsky@gmail.com**20090126103044
 Ignore-this: 965c488ff5d0c40adac65ba41d90f932
] 
[More accurate removal of unused selector fields and fetches optimization.
golubovsky@gmail.com**20090126113512
 Ignore-this: aaa260e321906013c840896e62a2231d
]