descriptionfbef9ad8fd7ee2f13c726d4cd964222a1d
last changeThu, 3 Nov 2011 19:26:43 +0000 (19:26 +0000)
shortlog
2011-11-03 Joey CapperSlight cleanup of type checker code. master
2011-11-03 Joey CapperTypechecker fixed (hopefully!) this time. Honest.
2011-11-02 Joey CapperFixed bug with generalising let statements in type...
2011-10-30 Joey CapperAdded environments to gen in CodeGen/CodeGen for handli...
2011-10-29 Joey CapperFirst work on let statements. Correct types still not...
2011-10-29 Joey CapperChanges to annotation passes. CodeGen related passes...
2011-10-29 Joey CapperFixed field generation bug.
2011-10-29 Joey CapperSubstantial clean up of code generation code.
2011-10-29 Joey CapperCode generation for lambda calculus (discounting let...
2011-10-29 Joey CapperMore work on loading fields of lambda environments...
2011-10-28 Joey CapperAdded fields for free variables in class translation...
2011-10-28 GibsnagMerge branch 'master' of gitorious.org:cil-lang/lambda...
2011-10-28 GibsnagAdded TypeAnnotator
2011-10-28 Joey CapperReformatting pass.
2011-10-28 Joey CapperReverted type checker changes (should instead make...
2011-10-28 Joey CapperType Checking now uses the state monad.
...
heads
5 years ago master