matthijs/master-project/cλash.git
2009-06-22 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-19 Matthijs KooijmanRecursively normalize binds.
2009-06-19 Christiaan... Added support for (!) function
2009-06-19 Christiaan... Added support for RangedWords
2009-06-19 Christiaan... Adders.hs explicityly uses Prelude lists function....
2009-06-19 Christiaan... Added main function to Main module
2009-06-19 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-19 Christiaan... Added function calls
2009-06-19 Matthijs KooijmanAdd another higher order testcase, highordtest2.
2009-06-19 Matthijs KooijmanSupport VHDL generation for two-alternative cases.
2009-06-19 Christiaan... Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-19 Christiaan... Started adding builtin functions
2009-06-19 Christiaan... Cabalized clash
2009-06-19 Christiaan... Added global vector function generation
2009-06-18 Matthijs KooijmanUse highordtest in main, since that can now be normalized.
2009-06-18 Matthijs KooijmanAdd a (fairly complete) set of transforms.
2009-06-18 Matthijs KooijmanAdd is_lam and is_fun predicates.
2009-06-18 Matthijs KooijmanAdd a inlinebind helper function.
2009-06-18 Matthijs KooijmanAdd a substitute helper function.
2009-06-18 Matthijs KooijmanPrint the type in the transform debug output.
2009-06-18 Matthijs KooijmanAdd infrastructure for running core to core transformat...
2009-06-18 Matthijs KooijmanAdd a higher order testcase.
2009-06-18 Matthijs KooijmanAdd is_wild function to check for wild binders.
2009-06-15 Matthijs KooijmanGenerate VHDL from Core instead of flat functions.
2009-06-12 Matthijs KooijmanMake listBind support recursive bindings.
2009-05-25 Matthijs KooijmanUpdate the hardware models a bit.
2009-04-16 Matthijs KooijmanSupport binding the scrutinee of a Case expression.
2009-04-15 Matthijs KooijmanDerive Show CoreSyn.Note.
2009-04-14 Matthijs KooijmanLet VHDL generate a typecast for SizedWord literals.
2009-04-14 Matthijs KooijmanGenerate VHDL typecasts for literals when needed.
2009-04-14 Matthijs KooijmanPut mkConcSm inside the VHDLState monad.
2009-04-14 Matthijs KooijmanAdd a Type to a Literal SignalExpr.
2009-04-09 Matthijs KooijmanGeneralize VHDL type creation for SizedWord and FSVec.
2009-04-09 Matthijs KooijmanA word has a width, not a length.
2009-04-09 Matthijs KooijmanProperly save state propagated flat functions.
2009-04-09 Matthijs KooijmanMake the Alu example use 4-bit SizedWord as data.
2009-04-09 Matthijs KooijmanAdd (non-working) support for SizedWord literals.
2009-04-09 Matthijs KooijmanTranslate the SizedWord type to a VHDL vector.
2009-04-09 Matthijs KooijmanMove eval_type_level_int to CoreTools.
2009-04-09 Matthijs KooijmanImport the Types.Data.Num module in eval_tfp_int.
2009-04-09 Matthijs KooijmanAdd a [ModuleName] parameter to toCore.
2009-04-09 Matthijs KooijmanFix compilation of CoreTools.
2009-04-09 Matthijs KooijmanAdd an importModule function.
2009-04-09 Matthijs KooijmanAllow references to global values without arguments.
2009-04-09 Matthijs KooijmanMove some code out of the flattenExpr to global scope.
2009-04-09 Matthijs KooijmanAdd sized_word_len, which gets the length from a SizedW...
2009-04-09 Matthijs KooijmanAdd the new CoreTools module.
2009-04-09 Matthijs KooijmanAdd a runTcM utility function.
2009-04-09 Matthijs KooijmanDerive Show for HsBinds.
2009-04-06 Matthijs KooijmanUse basic identifiers for builtins.
2009-04-06 Matthijs KooijmanMake Map.Map an instance of Pretty.
2009-04-06 Matthijs KooijmanUse extended VHDL identifiers where possible.
2009-04-06 Matthijs KooijmanUse the actual FSVec length to create VHDL vectors.
2009-04-06 Matthijs KooijmanIgnore .swp files.
2009-04-06 Matthijs KooijmanAdd the new HsTools module.
2009-04-06 Matthijs KooijmanAdd the new GhcTools module.
2009-04-06 Matthijs KooijmanCleanup imports and add a vim modeline.
2009-04-06 Matthijs KooijmanMake listBind also show the type of the bind.
2009-04-06 Matthijs KooijmanDerive Show for more types.
2009-04-02 Matthijs KooijmanDelete unused Parser.hs.
2009-03-10 Matthijs KooijmanAdd a TODO.
2009-03-10 Matthijs KooijmanRemove a few stale TODOs.
2009-03-10 Matthijs KooijmanImport the ieee library into the generated types package.
2009-03-10 Matthijs KooijmanFilter out dots from generated type id's.
2009-03-10 Matthijs KooijmanPut vhdl_ty in the (new) TypeState Monad.
2009-03-10 Matthijs KooijmanOutput a package containing all type declarations.
2009-03-10 Matthijs KooijmanAdd support for builtin functions again.
2009-03-10 Matthijs KooijmanRedo the global (state) structure of the translator.
2009-03-09 Matthijs KooijmanRename VHDLState to TranslatorState.
2009-03-09 Matthijs KooijmanUse Data.Accessor for FuncData.
2009-03-09 Matthijs KooijmanRemove createArchitecture from the VHDLState Monad.
2009-03-09 Matthijs KooijmanRemove mkConcSm from the VHDLState monad.
2009-03-09 Matthijs KooijmanRemove nameFlatFunction from the VHDLState monad.
2009-03-09 Matthijs KooijmanMake createEntity preserve the Entity on builtin functions.
2009-03-06 Matthijs KooijmanAdd a getFuncMap accessor for VHDLState.
2009-03-06 Matthijs KooijmanDerive Show for a bunch of types.
2009-03-06 Matthijs KooijmanMove the Show deriving for Core types to a new CoreShow...
2009-03-05 Matthijs KooijmanRemove the dontcare function from Bits.
2009-03-05 Matthijs KooijmanRemove createEntity from the VHDLState monad.
2009-03-05 Matthijs KooijmanRemove getDesignFiles from the VHDLState monad.
2009-03-05 Matthijs KooijmanStrip adjacent underscores from VHDLIds.
2009-03-04 Matthijs KooijmanProvide preliminary support for list types.
2009-03-04 Matthijs KooijmanAdd some hardware models using vectors (FSVec).
2009-03-04 Matthijs KooijmanFix propagateState removing all non-FApp SigDefs.
2009-03-04 Matthijs KooijmanMap the clk port on stateful function applications.
2009-03-04 Matthijs KooijmanDon't inline alu.
2009-03-04 Matthijs KooijmanRemove support for DontCare.
2009-03-03 Matthijs KooijmanFill in propagateState.
2009-03-03 Matthijs KooijmanRemove the now obsolete getOwnStates.
2009-03-03 Matthijs KooijmanAdd some predicates and accessors to FlattenTypes.
2009-03-03 Matthijs KooijmanLet VHDL use SignalInfo instead of HsFunction for gener...
2009-03-03 Matthijs KooijmanAdd initial (dummy) propagateState function.
2009-03-03 Matthijs KooijmanAdd vim modeline.
2009-03-03 Matthijs KooijmanAdd a is_FApp predicate.
2009-03-03 Matthijs KooijmanNever inline the half_adder function.
2009-03-03 Matthijs KooijmanAdd StandalonDeriving language option to Pretty.
2009-03-03 Matthijs KooijmanDon't add duplicate name hints.
2009-03-03 Matthijs KooijmanPut VHDL files for each design in a separate directory.
2009-03-03 Matthijs KooijmanAllow for generating VHDL for stateless functions.
2009-02-27 Matthijs KooijmanAdd some newlines in the output.
next