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-02-18 Matthijs KooijmanAdd a listBind function to show the Core for a bind. commit | commitdiff | tree | snapshot
2009-02-18 Matthijs KooijmanSplit out the large main function a bit. commit | commitdiff | tree | snapshot
2009-02-18 Matthijs KooijmanRemove the DontCare value from the Bit type. commit | commitdiff | tree | snapshot
2009-02-18 Matthijs KooijmanDerive and use show instead of ppr to display Exprs. commit | commitdiff | tree | snapshot
2009-02-18 Matthijs KooijmanFix comment indent. commit | commitdiff | tree | snapshot
2009-02-17 Matthijs KooijmanGeneralize FApp and CondDef into SigDef and add UncondDef. commit | commitdiff | tree | snapshot
2009-02-17 Matthijs KooijmanAdd a type alias StateId for state numbers. commit | commitdiff | tree | snapshot
2009-02-17 Matthijs KooijmanRemove type parameterisation of SignalMap. commit | commitdiff | tree | snapshot
2009-02-17 Matthijs KooijmanDon't generate ports for non-port signals. commit | commitdiff | tree | snapshot
2009-02-17 Matthijs KooijmanGenerate VHDL signals for internal signals and state. commit | commitdiff | tree | snapshot
2009-02-17 Matthijs KooijmanAdd predicates for SigUse. commit | commitdiff | tree | snapshot
2009-02-17 Matthijs KooijmanMark all signals as ports or states when appropriate. commit | commitdiff | tree | snapshot
2009-02-17 Matthijs KooijmanAlways import IEEE.std_logic_1164 in the generated... commit | commitdiff | tree | snapshot
2009-02-17 Matthijs KooijmanMove the DesignFile creation to VHDL. commit | commitdiff | tree | snapshot
2009-02-17 Matthijs KooijmanAdd clk port on any stateful entity. commit | commitdiff | tree | snapshot
2009-02-17 Matthijs KooijmanCreate state procs for state signals. commit | commitdiff | tree | snapshot
2009-02-16 Matthijs KooijmanMark port signals as such during flattening. commit | commitdiff | tree | snapshot
2009-02-16 Matthijs KooijmanImprove the pretty output of the signal list. commit | commitdiff | tree | snapshot
2009-02-16 Matthijs KooijmanMake the pretty output more pretty. commit | commitdiff | tree | snapshot
2009-02-16 Matthijs KooijmanReduce genSignals to a single line using Traversable. commit | commitdiff | tree | snapshot
2009-02-16 Matthijs KooijmanStore a use for each signal in a flattened function. commit | commitdiff | tree | snapshot
2009-02-16 Matthijs KooijmanAdd port maps to component instantiations. commit | commitdiff | tree | snapshot
2009-02-16 Matthijs KooijmanMake application names unique. commit | commitdiff | tree | snapshot
2009-02-16 Matthijs KooijmanAdd Entities for builtin functions. commit | commitdiff | tree | snapshot
2009-02-16 Matthijs KooijmanLet mkCompInsSm look up the actual VHDL entity id. commit | commitdiff | tree | snapshot
2009-02-16 Matthijs KooijmanPut mkCompInsSm in the VHDLState monad. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanMake modFuncs work with stateful functions. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanGeneralize some session modification functions. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanGenerate dummy component instantiations for each archit... commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanMove some pretty printing code around. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanUse less general names as labels some fields. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanGenerate a VHDL architecture for each function. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanAdd port declarations to the VHDL entities. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanPut a TypeMark in a VHDLSignalmap. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanRename fields of SignalInfo. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanStore the Haskell Type in SignalInfo. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanAdd the VHDLTypes module commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanExtract entities from the session and return them in... commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanGenerate VHDL entity declarations. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanCreate an entity for each function. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanStore signals in a map. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanName signals in a function after flattening it. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanAdd a modFunc function to edit a function in the session. commit | commitdiff | tree | snapshot
2009-02-13 Matthijs KooijmanRemove NamedFlatFunction again. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanAllow a FlatFunction to be named as well as unnamed. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanFill the signal list in FlatFunction. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanAdd a list of used signals to FlatFunction. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanRemove the distinction between SignalDef and SignalUse. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanMake FlatFunction parameterized with the signal id... commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanMove around a bunch of types. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanAdd more builtin functions. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanOnly force a stateful interface for top level functions. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanAdd facilities for builtin functions. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanAdd a setFlatFunc function. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanMake the flatfunc in FuncMap optional. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanReplace FuncMap by a Data.Map. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanDerive Ord for HsFunction. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanImplement resolvFunc. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanAdd getFunc session accessor. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanAdd the current CoreModule to the session. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanReplace printBind* by a Pretty instance. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanAdd Pretty instance for VHDLSession. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanGreatly clean up Translator. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanGive stateless a type signature. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanAdd pretty printing functions for FlatFunction. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanLearn flattenExpr about single alt Case expressions. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanLearn flattenExpr about Let expressions. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanLearn flattenExpr about building tuples. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanLearn flattenExpr to flatten normal applications. commit | commitdiff | tree | snapshot
2009-02-11 Matthijs KooijmanAdd useAsPort and useAsState functions. commit | commitdiff | tree | snapshot
2009-02-09 Matthijs KooijmanAdd defMapTouseMap function. commit | commitdiff | tree | snapshot
2009-02-09 Matthijs KooijmanMake HsValueMap an instance of Functor. commit | commitdiff | tree | snapshot
2009-02-09 Matthijs KooijmanLearn flattenExpr about function application. commit | commitdiff | tree | snapshot
2009-02-09 Matthijs KooijmanMake flattenExpr return signal definitions for arguments. commit | commitdiff | tree | snapshot
2009-02-09 Matthijs KooijmanLearn flattenExpr about Var expressions. commit | commitdiff | tree | snapshot
2009-02-09 Matthijs KooijmanLearn flattenExpr about Lambda expressions. commit | commitdiff | tree | snapshot
2009-02-06 Matthijs KooijmanAdd a BindMap argument to flattenExpr. commit | commitdiff | tree | snapshot
2009-02-06 Matthijs KooijmanAdd accessor methods for FlattenState. commit | commitdiff | tree | snapshot
2009-02-06 Matthijs KooijmanAdd flattenFunction and flattenExpr. commit | commitdiff | tree | snapshot
2009-02-06 Matthijs KooijmanAdd a new module "Flatten". commit | commitdiff | tree | snapshot
2009-02-06 Matthijs KooijmanLet Translator.hs export everything. commit | commitdiff | tree | snapshot
2009-02-05 Matthijs KooijmanName the module in Translator.hs Translator. commit | commitdiff | tree | snapshot
2009-02-05 Matthijs KooijmanRemove the export list from the Alu module. commit | commitdiff | tree | snapshot
2009-02-05 Matthijs KooijmanMake the arguments of the alu function curried. commit | commitdiff | tree | snapshot
2009-02-05 Matthijs KooijmanRemove the empty state of the alu function. commit | commitdiff | tree | snapshot
2009-02-03 Matthijs KooijmanCreate a VHDL proc for each state variable. commit | commitdiff | tree | snapshot
2009-02-03 Matthijs KooijmanGenerate a list of state, signal pairs as a side effect... commit | commitdiff | tree | snapshot
2009-02-03 Matthijs KooijmanMatch input and output state using ints. commit | commitdiff | tree | snapshot
2009-02-03 Matthijs KooijmanUse a better name for binders in a lambda expression. commit | commitdiff | tree | snapshot
2009-02-03 Matthijs KooijmanImprove error message. commit | commitdiff | tree | snapshot
2009-02-03 Matthijs KooijmanLet mkIfaceSigDecs and createSignalAssignments handle... commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanAdd a D-Flip flop hardware model. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanMake state values unused in a SignalNameMap. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanExtract mkPort and mkState to the top level. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanPrint the final session after the output. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanAllow variables to be bound to complex expressions. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanFind state arguments / results in top level functions. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanAdd a full_adder version with stateful interface. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanMake a proper HsFunction for top-level functions. commit | commitdiff | tree | snapshot
2009-02-02 Matthijs KooijmanRestructure mkVHDL and getArchitecture a bit. commit | commitdiff | tree | snapshot
next
The Cλash compiler