Make inlinebind work for non-recursive lets.
[matthijs/master-project/cλash.git] / cλash / CLasH /
2009-08-14 Matthijs KooijmanMake inlinebind work for non-recursive lets.
2009-08-14 Matthijs KooijmanAdd empty let removal normalization pass.
2009-08-14 Matthijs KooijmanRename letremove to letremovesimple.
2009-08-14 Matthijs KooijmanDon't try to simplify nested lets.
2009-08-14 Matthijs KooijmanMake letflat work with non-recursive lets.
2009-08-14 Matthijs KooijmanMake letsimpl work on and generate a non-recursive...
2009-08-14 Matthijs KooijmanNo longer add a top level let before normalization.
2009-08-14 Matthijs KooijmanMake some normalizations generate nonrecursive lets.
2009-08-14 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-08-14 Matthijs KooijmanTurn let recursification into its opposite.
2009-08-14 Matthijs KooijmanBe more strict in state recognition.
2009-08-13 Christiaan BaaijHopefully generate completely unique varNames now ...
2009-08-13 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-08-13 Christiaan BaaijGenerate more unique variable names, generate truely...
2009-08-13 Matthijs KooijmanDon't generate a state proc for an empty state.
2009-08-13 Matthijs KooijmanMake splitNormalized work for non-recursive lets.
2009-08-13 Matthijs KooijmanAdd and use splitNormalized helper function.
2009-08-13 Christiaan BaaijAdd boolean or and and, tuple fst and snd function.
2009-08-13 Christiaan BaaijAdded equals builtin. And fixed show function generatio...
2009-08-12 Matthijs KooijmanRevert "Put mkAssocElems in the TranslatorSession."
2009-08-12 Matthijs KooijmanRevert "Don't generate VHDL for state packing."
2009-08-12 Matthijs KooijmanThrow away old and unused functions for state.
2009-08-12 Matthijs KooijmanGenerate a state proc for a stateful function.
2009-08-12 Matthijs KooijmanImprove Normalize debug output.
2009-08-12 Matthijs KooijmanAdd isStateCon helper.
2009-08-12 Matthijs KooijmanUse mkBinderFor instead of mkInternalVar.
2009-08-12 Matthijs KooijmanAdd identical let binding merge normalization pass.
2009-08-12 Matthijs KooijmanAdd cast simplification normalization pass.
2009-08-12 Matthijs KooijmanMake output ports optional.
2009-08-12 Matthijs KooijmanFix more comments.
2009-08-12 Matthijs KooijmanFix comment.
2009-08-08 Christiaan BaaijFix haddock comments
2009-08-07 Christiaan BaaijAdd support for translating designs defined over multip...
2009-08-07 Christiaan BaaijHave reduceCoreListToHsList work with simplified modules
2009-08-07 Christiaan BaaijWe now use compileToCoreSimplified, I'm sure there...
2009-08-07 Christiaan BaaijState newtype has been moved to CLasH.HardwareTypes
2009-08-06 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-08-06 Matthijs KooijmanFilter out empty-typed binders in selector cases.
2009-08-06 Matthijs KooijmanAdd hasNonEmptyType helper function.
2009-08-06 Matthijs KooijmanLet argsToVHDLExpr ignore empty types.
2009-08-06 Matthijs KooijmanGeneralize vhdl_ty to work an all TypedThings.
2009-08-06 Matthijs KooijmanAdd isJustM helper function.
2009-08-06 Matthijs KooijmanRename eitherCoreOrExprArgs to argsToVHDLExprs.
2009-08-06 Matthijs KooijmanRemove the getType field name from OrdType.
2009-08-06 Matthijs KooijmanPut mkAssocElems in the TranslatorSession.
2009-08-06 Matthijs KooijmanRemove unused mkAssocElemIndexed.
2009-08-06 Matthijs KooijmanDon't generate VHDL for substate extractor cases.
2009-08-06 Matthijs KooijmanFix letremoveunused, it removed all used bindings.
2009-08-06 Matthijs KooijmanFix the trace output of normalized functions.
2009-08-06 Matthijs KooijmanFiltering out state arguments is no longer needed.
2009-08-06 Matthijs KooijmanGenerate the empty type for State types.
2009-08-06 Matthijs KooijmanAllow explicit empty VHDL types using Maybe.
2009-08-06 Matthijs KooijmanDon't generate input ports for State arguments.
2009-08-06 Matthijs KooijmanDon't generate VHDL for state packing.
2009-08-06 Matthijs KooijmanAdd TypedThing class, and generalize hasStateType with it.
2009-08-06 Matthijs KooijmanAdd letremoveunused transformation.
2009-08-06 Matthijs KooijmanAdd changeif normalization helper function.
2009-08-06 Matthijs KooijmanAdd expr_uses_binders predicate.
2009-08-06 Matthijs KooijmanAdd {is,has}StateType predicates.
2009-08-06 Matthijs KooijmanLet mkTupleShow support empty tuples.
2009-08-06 Christiaan BaaijAdd the type-alias Vector for TFVec to HardwareTypes...
2009-08-06 Christiaan BaaijAdd the module hardware types, that exports all builtin...
2009-08-06 Matthijs KooijmanRemove the unused "stateful" argument fomr makeVHDL*.
2009-08-05 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-08-05 Matthijs KooijmanRestructure the "finder" functions.
2009-08-05 Matthijs KooijmanAdd catMaybesM and concatM helper functions.
2009-08-05 Matthijs KooijmanUse the right id for the testbench architecture.
2009-08-05 Christiaan BaaijFix builtin functions (!),take and RangedWord
2009-08-05 Matthijs KooijmanFix testbench again.
2009-08-05 Matthijs KooijmanSplit of part of getNormalized into normalizeExpr.
2009-08-05 Matthijs KooijmanAdd unzipM helper function.
2009-08-05 Matthijs KooijmanSlightly simplify getEntity.
2009-08-05 Matthijs KooijmanMove around some helper functions.
2009-08-05 Matthijs KooijmanRemove compatability aliases for the old sessions.
2009-08-05 Matthijs KooijmanMake vhdl generation and normalization lazy.
2009-08-03 Matthijs KooijmanPut a comment on UniqSupply generation back.
2009-08-03 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-08-03 Christiaan BaaijTFVec builtin should now completely work
2009-08-02 Christiaan BaaijClean up imports in Generate.hs
2009-08-02 Christiaan BaaijUse createDirectoryIfMissing to create the vhdl directo...
2009-08-01 Christiaan BaaijBring back listBind(ings) in Utils.hs by reorganising...
2009-07-31 Christiaan BaaijFix a few comments so Haddock will complete
2009-07-31 Christiaan BaaijFurther clean up Translator.hs (almost done now)
2009-07-31 Christiaan BaaijCleanup Translator.hs
2009-07-31 Christiaan BaaijFail again when we find a global function
2009-07-31 Christiaan BaaijPartially fixed TFVec builtin function. Still needs...
2009-07-31 Matthijs KooijmanMerge casevalsimpl and casewild into casesimpl.
2009-07-31 Matthijs KooijmanFix a small bug in the case wildening.
2009-07-31 Matthijs KooijmanPrevent conflicts with inlinenonrep in normalization.
2009-07-31 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-07-31 Christiaan BaaijQuick hack implementation of FSVec literals, needs...
2009-07-29 Christiaan BaaijWe now make a show function for all default datatypes.
2009-07-28 Christiaan BaaijAdd automated testbench generation according to supplie...
2009-07-28 Matthijs KooijmanShow type of binder in listBinding.
2009-07-28 Matthijs KooijmanMake listBind use listBinding.
2009-07-28 Matthijs KooijmanExtend CoreShow for TyCons.
2009-07-23 Christiaan BaaijRemove NoGenerics pragma, as the ghc bug 3391 is now...
2009-07-23 Christiaan BaaijAlso add NoGenerics pragma to the other types.hs files
2009-07-23 Christiaan BaaijFix core show
2009-07-23 Christiaan BaaijCurrently Generics support is broken in combination...
next