Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on May 14, 2013
  1. add serveral command line optimization options

    authored
    improve haskell front end's performance by eliminating $ operator
    
    	modified:   Compiler.hs
    	modified:   Interpreter.hs
    	modified:   Makefile
Commits on May 13, 2013
  1. add fullLazinessTransform

    authored
    no significant speed up yet
    
    	modified:   Compiler.hs
Commits on May 12, 2013
  1. change indirection layout

    authored
    	modified:   Compiler.hs
    	modified:   lam_stg.h
  2. compiler compile lambda calculus into C

    authored
    using Hantao's excellent runtime system lam_stg.h
    
    enabled with -C option. eg ./compiler -C input/queens
    
    result can not contain explicit functions, otherwise runtime error would
    occur
    
    	modified:   Compiler.hs
    	modified:   Makefile
    	modified:   input/queens
    	new file:   lam_stg.h
Commits on May 9, 2013
  1. add another step in Compiler

    authored
    	modified:   Compiler.hs
Commits on May 4, 2013
  1. add non-recursive eval in CPS style

    authored
    not very useful
    
    	modified:   Decode.hs
    	modified:   Evaluation.hs
    	modified:   Interpreter.hs
    	modified:   Parser.hs
Commits on Apr 23, 2013
  1. add fullLaziness transformation

    authored
    	modified:   Compiler.hs
Commits on Apr 15, 2013
  1. a little bit more sophisticated compiler

    authored
    	modified:   Compiler.hs
    	modified:   Makefile
Commits on Apr 14, 2013
  1. handle free variables better

    authored
    add StringQQ.hs file which is needed for quasiquotes
    
    	modified:   Compiler.hs
    	new file:   StringQQ.hs
  2. use quasiquotes in compiler

    authored
    	modified:   Compiler.hs
    	modified:   Makefile
    	modified:   Parser.hs
Commits on Apr 11, 2013
  1. improve compiler output a little bit

    authored
    	modified:   Compiler.hs
Commits on Apr 10, 2013
  1. add Compiler, generate haskell code

    authored
    The generated code can only be compiled unoptimized.
    
    	new file:   Compiler.hs
    	modified:   Makefile
    	modified:   Parser.hs
  2. rename ExprBFunc to ExprC

    authored
    	modified:   Decode.hs
    	modified:   Evaluation.hs
    	modified:   Interpreter.hs
    	modified:   Parser.hs
Commits on Mar 31, 2013
  1. tiny modification to Lifted method

    authored
    change global function naming scheme
    
    	modified:   Parser.hs
Commits on Mar 29, 2013
  1. remove unnecessary variable names

    authored
    	modified:   Evaluation.hs
    	modified:   Parser.hs
  2. clean up a little bit after switched to evalBFunc

    authored
    	modified:   Decode.hs
    	modified:   Evaluation.hs
    	modified:   Interpreter.hs
    	modified:   Parser.hs
Commits on Mar 28, 2013
  1. significant improvement, using evalBFunc

    authored
    add two lines of code steal from hantaoyin's implementations
    
    	modified:   Interpreter.hs
    	modified:   Parser.hs
Commits on Mar 26, 2013
  1. add some descriptions to ./encode and ./decode

    authored
    	modified:   README
  2. try to improve evalLiftedCRefS

    authored
    no significant improvement
    
    	modified:   Evaluation.hs
    	modified:   Parser.hs
Commits on Mar 25, 2013
  1. add a reference

    authored
    	modified:   README
  2. a faster version of queens

    authored
    inspired by hantaoyin's church_encoding.lam code
    
    	modified:   input/queens
  3. correct a bug in substitude function

    authored
    also add a simplifyExprInline function
    but programs are not running faster
    
    	modified:   Evaluation.hs
    	modified:   Interpreter.hs
    	modified:   Parser.hs
Commits on Mar 24, 2013
  1. minor simplification

    authored
    	modified:   Parser.hs
  2. support ; or -- style comments

    authored
    	modified:   Parser.hs
  3. remove some redundant parts in queens

    authored
    	modified:   input/queens
  4. a very short README file

    authored
    	new file:   README
  5. new parser, support comment, some special symbols

    authored
    	modified:   Interpreter.hs
    	modified:   Parser.hs
Commits on Mar 23, 2013
  1. use a evalLiftedCRefS evaluation method for decode

    authored
    	modified:   Decode.hs
  2. add a small rename program

    authored
    	modified:   Makefile
    	new file:   Rename.hs
  3. minor improvement

    authored
    	modified:   Parser.hs
    	modified:   input/queens
Commits on Mar 8, 2013
  1. add a new method namely HOAS, pretty slow

    authored
    	modified:   Decode.hs
    	modified:   Evaluation.hs
    	modified:   Interpreter.hs
    	modified:   Makefile
    	modified:   Parser.hs
Commits on Mar 7, 2013
  1. add decode function and seperate evaluation file

    authored
    	new file:   Decode.hs
    	renamed:    Interpreter.hs -> Evaluation.hs
    	modified:   Interpreter.hs
    	modified:   Makefile
    	modified:   Parser.hs
Commits on Mar 4, 2013
  1. change indent

    authored
    	modified:   Encode.hs
    	modified:   Interpreter.hs
    	modified:   Parser.hs
  2. better encoding/decoding speed

    authored
    	modified:   Encode.hs
    	modified:   Parser.hs
Commits on Mar 3, 2013
  1. a space saving encoding

    authored
    takes a little bit more time
    
    	modified:   Encode.hs
    	modified:   Parser.hs
Something went wrong with that request. Please try again.