projects / matthijs / master-project / cλash.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
matthijs/master-project/cλash.git
2009-06-18 Matthijs KooijmanAdd a (fairly complete) set of transforms. commit | commitdiff | tree | snapshot
2009-06-18 Matthijs KooijmanAdd is_lam and is_fun predicates. commit | commitdiff | tree | snapshot
2009-06-18 Matthijs KooijmanAdd a inlinebind helper function. commit | commitdiff | tree | snapshot
2009-06-18 Matthijs KooijmanAdd a substitute helper function. commit | commitdiff | tree | snapshot
2009-06-18 Matthijs KooijmanPrint the type in the transform debug output. commit | commitdiff | tree | snapshot
2009-06-18 Matthijs KooijmanAdd infrastructure for running core to core transformat... commit | commitdiff | tree | snapshot
2009-06-18 Matthijs KooijmanAdd a higher order testcase. commit | commitdiff | tree | snapshot
2009-06-18 Matthijs KooijmanAdd is_wild function to check for wild binders. commit | commitdiff | tree | snapshot
2009-06-15 Matthijs KooijmanGenerate VHDL from Core instead of flat functions. commit | commitdiff | tree | snapshot
2009-06-12 Matthijs KooijmanMake listBind support recursive bindings. commit | commitdiff | tree | snapshot
2009-05-25 Matthijs KooijmanUpdate the hardware models a bit. commit | commitdiff | tree | snapshot
2009-04-16 Matthijs KooijmanSupport binding the scrutinee of a Case expression. commit | commitdiff | tree | snapshot
2009-04-15 Matthijs KooijmanDerive Show CoreSyn.Note. commit | commitdiff | tree | snapshot
2009-04-14 Matthijs KooijmanLet VHDL generate a typecast for SizedWord literals. commit | commitdiff | tree | snapshot
2009-04-14 Matthijs KooijmanGenerate VHDL typecasts for literals when needed. commit | commitdiff | tree | snapshot
2009-04-14 Matthijs KooijmanPut mkConcSm inside the VHDLState monad. commit | commitdiff | tree | snapshot
2009-04-14 Matthijs KooijmanAdd a Type to a Literal SignalExpr. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanGeneralize VHDL type creation for SizedWord and FSVec. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanA word has a width, not a length. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanProperly save state propagated flat functions. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanMake the Alu example use 4-bit SizedWord as data. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanAdd (non-working) support for SizedWord literals. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanTranslate the SizedWord type to a VHDL vector. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanMove eval_type_level_int to CoreTools. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanImport the Types.Data.Num module in eval_tfp_int. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanAdd a [ModuleName] parameter to toCore. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanFix compilation of CoreTools. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanAdd an importModule function. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanAllow references to global values without arguments. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanMove some code out of the flattenExpr to global scope. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanAdd sized_word_len, which gets the length from a SizedW... commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanAdd the new CoreTools module. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanAdd a runTcM utility function. commit | commitdiff | tree | snapshot
2009-04-09 Matthijs KooijmanDerive Show for HsBinds. commit | commitdiff | tree | snapshot
2009-04-06 Matthijs KooijmanUse basic identifiers for builtins. commit | commitdiff | tree | snapshot
2009-04-06 Matthijs KooijmanMake Map.Map an instance of Pretty. commit | commitdiff | tree | snapshot
2009-04-06 Matthijs KooijmanUse extended VHDL identifiers where possible. commit | commitdiff | tree | snapshot
2009-04-06 Matthijs KooijmanUse the actual FSVec length to create VHDL vectors. commit | commitdiff | tree | snapshot
2009-04-06 Matthijs KooijmanIgnore .swp files. commit | commitdiff | tree | snapshot
2009-04-06 Matthijs KooijmanAdd the new HsTools module. commit | commitdiff | tree | snapshot
2009-04-06 Matthijs KooijmanAdd the new GhcTools module. commit | commitdiff | tree | snapshot
2009-04-06 Matthijs KooijmanCleanup imports and add a vim modeline. commit | commitdiff | tree | snapshot
2009-04-06 Matthijs KooijmanMake listBind also show the type of the bind. commit | commitdiff | tree | snapshot
2009-04-06 Matthijs KooijmanDerive Show for more types. commit | commitdiff | tree | snapshot
2009-04-02 Matthijs KooijmanDelete unused Parser.hs. commit | commitdiff | tree | snapshot
2009-03-10 Matthijs KooijmanAdd a TODO. commit | commitdiff | tree | snapshot
2009-03-10 Matthijs KooijmanRemove a few stale TODOs. commit | commitdiff | tree | snapshot
2009-03-10 Matthijs KooijmanImport the ieee library into the generated types package. commit | commitdiff | tree | snapshot
2009-03-10 Matthijs KooijmanFilter out dots from generated type id's. commit | commitdiff | tree | snapshot
2009-03-10 Matthijs KooijmanPut vhdl_ty in the (new) TypeState Monad. commit | commitdiff | tree | snapshot
2009-03-10 Matthijs KooijmanOutput a package containing all type declarations. commit | commitdiff | tree | snapshot
2009-03-10 Matthijs KooijmanAdd support for builtin functions again. commit | commitdiff | tree | snapshot
2009-03-10 Matthijs KooijmanRedo the global (state) structure of the translator. commit | commitdiff | tree | snapshot
2009-03-09 Matthijs KooijmanRename VHDLState to TranslatorState. commit | commitdiff | tree | snapshot
2009-03-09 Matthijs KooijmanUse Data.Accessor for FuncData. commit | commitdiff | tree | snapshot
2009-03-09 Matthijs KooijmanRemove createArchitecture from the VHDLState Monad. commit | commitdiff | tree | snapshot
2009-03-09 Matthijs KooijmanRemove mkConcSm from the VHDLState monad. commit | commitdiff | tree | snapshot
2009-03-09 Matthijs KooijmanRemove nameFlatFunction from the VHDLState monad. commit | commitdiff | tree | snapshot
2009-03-09 Matthijs KooijmanMake createEntity preserve the Entity on builtin functions. commit | commitdiff | tree | snapshot
2009-03-06 Matthijs KooijmanAdd a getFuncMap accessor for VHDLState. commit | commitdiff | tree | snapshot
2009-03-06 Matthijs KooijmanDerive Show for a bunch of types. commit | commitdiff | tree | snapshot
2009-03-06 Matthijs KooijmanMove the Show deriving for Core types to a new CoreShow... commit | commitdiff | tree | snapshot
2009-03-05 Matthijs KooijmanRemove the dontcare function from Bits. commit | commitdiff | tree | snapshot
2009-03-05 Matthijs KooijmanRemove createEntity from the VHDLState monad. commit | commitdiff | tree | snapshot
2009-03-05 Matthijs KooijmanRemove getDesignFiles from the VHDLState monad. commit | commitdiff | tree | snapshot
2009-03-05 Matthijs KooijmanStrip adjacent underscores from VHDLIds. commit | commitdiff | tree | snapshot
2009-03-04 Matthijs KooijmanProvide preliminary support for list types. commit | commitdiff | tree | snapshot
2009-03-04 Matthijs KooijmanAdd some hardware models using vectors (FSVec). commit | commitdiff | tree | snapshot
2009-03-04 Matthijs KooijmanFix propagateState removing all non-FApp SigDefs. commit | commitdiff | tree | snapshot
2009-03-04 Matthijs KooijmanMap the clk port on stateful function applications. commit | commitdiff | tree | snapshot
2009-03-04 Matthijs KooijmanDon't inline alu. commit | commitdiff | tree | snapshot
2009-03-04 Matthijs KooijmanRemove support for DontCare. commit | commitdiff | tree | snapshot
2009-03-03 Matthijs KooijmanFill in propagateState. commit | commitdiff | tree | snapshot
2009-03-03 Matthijs KooijmanRemove the now obsolete getOwnStates. commit | commitdiff | tree | snapshot
2009-03-03 Matthijs KooijmanAdd some predicates and accessors to FlattenTypes. commit | commitdiff | tree | snapshot
2009-03-03 Matthijs KooijmanLet VHDL use SignalInfo instead of HsFunction for gener... commit | commitdiff | tree | snapshot
2009-03-03 Matthijs KooijmanAdd initial (dummy) propagateState function. commit | commitdiff | tree | snapshot
2009-03-03 Matthijs KooijmanAdd vim modeline. commit | commitdiff | tree | snapshot
2009-03-03 Matthijs KooijmanAdd a is_FApp predicate. commit | commitdiff | tree | snapshot
2009-03-03 Matthijs KooijmanNever inline the half_adder function. commit | commitdiff | tree | snapshot
2009-03-03 Matthijs KooijmanAdd StandalonDeriving language option to Pretty. commit | commitdiff | tree | snapshot
2009-03-03 Matthijs KooijmanDon't add duplicate name hints. commit | commitdiff | tree | snapshot
2009-03-03 Matthijs KooijmanPut VHDL files for each design in a separate directory. commit | commitdiff | tree | snapshot
2009-03-03 Matthijs KooijmanAllow for generating VHDL for stateless functions. commit | commitdiff | tree | snapshot
2009-02-27 Matthijs KooijmanAdd some newlines in the output. commit | commitdiff | tree | snapshot
2009-02-27 Matthijs KooijmanMake exec have a single binding. commit | commitdiff | tree | snapshot
2009-02-27 Matthijs KooijmanAdd a two-port mux hardware model. commit | commitdiff | tree | snapshot
2009-02-19 Matthijs KooijmanWrite each VHDL entity to a seperate file. commit | commitdiff | tree | snapshot
2009-02-19 Matthijs KooijmanLet the exec function output something. commit | commitdiff | tree | snapshot
2009-02-19 Matthijs KooijmanSupport construction of empty tuples. commit | commitdiff | tree | snapshot
2009-02-19 Matthijs KooijmanPrint the list of signals sorted by id. commit | commitdiff | tree | snapshot
2009-02-19 Matthijs KooijmanAlso allow uppercase letters and a period in VHDL ids. commit | commitdiff | tree | snapshot
2009-02-19 Matthijs KooijmanAdd name hints to various signals generated. commit | commitdiff | tree | snapshot
2009-02-19 Matthijs KooijmanStrip invalid characters from VHDL identifiers. commit | commitdiff | tree | snapshot
2009-02-19 Matthijs KooijmanUse the name hints in signal name construction. commit | commitdiff | tree | snapshot
2009-02-19 Matthijs KooijmanDo the naming of a signal in named function instead... commit | commitdiff | tree | snapshot
2009-02-19 Matthijs KooijmanAllow name hints to be set for a signal. commit | commitdiff | tree | snapshot
2009-02-19 Matthijs KooijmanEnable the DontCare value for Bit again. commit | commitdiff | tree | snapshot
2009-02-19 Matthijs KooijmanPrint the Defs list sorted. commit | commitdiff | tree | snapshot
2009-02-19 Matthijs KooijmanMake register_bank work, with a bunch of changes. commit | commitdiff | tree | snapshot
next
The Cλash compiler