matthijs/master-project/cλash.git
2009-02-19 Matthijs KooijmanUse tuples instead of a ADT for the register bank state.
2009-02-19 Matthijs KooijmanAdd space in error message.
2009-02-19 Matthijs KooijmanMake listBind also show a pretty printed output.
2009-02-19 Matthijs KooijmanFurther reduce main and add a makeVHDL function.
2009-02-19 Matthijs KooijmanSupport multiple alternative case expressions.
2009-02-19 Matthijs KooijmanAdd stateful alu (with empty state).
2009-02-18 Matthijs KooijmanAdd a simple four-bit shift register model.
2009-02-18 Matthijs KooijmanUse a different approach for marking SigUses.
2009-02-18 Matthijs KooijmanAdd setSignalInfo accessor for FlattenState.
2009-02-18 Matthijs KooijmanGenerate VHDL for UncondDefs.
2009-02-18 Matthijs KooijmanAdd a getSignalInfo accessor.
2009-02-18 Matthijs KooijmanAdd a listBind function to show the Core for a bind.
2009-02-18 Matthijs KooijmanSplit out the large main function a bit.
2009-02-18 Matthijs KooijmanRemove the DontCare value from the Bit type.
2009-02-18 Matthijs KooijmanDerive and use show instead of ppr to display Exprs.
2009-02-18 Matthijs KooijmanFix comment indent.
2009-02-17 Matthijs KooijmanGeneralize FApp and CondDef into SigDef and add UncondDef.
2009-02-17 Matthijs KooijmanAdd a type alias StateId for state numbers.
2009-02-17 Matthijs KooijmanRemove type parameterisation of SignalMap.
2009-02-17 Matthijs KooijmanDon't generate ports for non-port signals.
2009-02-17 Matthijs KooijmanGenerate VHDL signals for internal signals and state.
2009-02-17 Matthijs KooijmanAdd predicates for SigUse.
2009-02-17 Matthijs KooijmanMark all signals as ports or states when appropriate.
2009-02-17 Matthijs KooijmanAlways import IEEE.std_logic_1164 in the generated...
2009-02-17 Matthijs KooijmanMove the DesignFile creation to VHDL.
2009-02-17 Matthijs KooijmanAdd clk port on any stateful entity.
2009-02-17 Matthijs KooijmanCreate state procs for state signals.
2009-02-16 Matthijs KooijmanMark port signals as such during flattening.
2009-02-16 Matthijs KooijmanImprove the pretty output of the signal list.
2009-02-16 Matthijs KooijmanMake the pretty output more pretty.
2009-02-16 Matthijs KooijmanReduce genSignals to a single line using Traversable.
2009-02-16 Matthijs KooijmanStore a use for each signal in a flattened function.
2009-02-16 Matthijs KooijmanAdd port maps to component instantiations.
2009-02-16 Matthijs KooijmanMake application names unique.
2009-02-16 Matthijs KooijmanAdd Entities for builtin functions.
2009-02-16 Matthijs KooijmanLet mkCompInsSm look up the actual VHDL entity id.
2009-02-16 Matthijs KooijmanPut mkCompInsSm in the VHDLState monad.
2009-02-13 Matthijs KooijmanMake modFuncs work with stateful functions.
2009-02-13 Matthijs KooijmanGeneralize some session modification functions.
2009-02-13 Matthijs KooijmanGenerate dummy component instantiations for each archit...
2009-02-13 Matthijs KooijmanMove some pretty printing code around.
2009-02-13 Matthijs KooijmanUse less general names as labels some fields.
2009-02-13 Matthijs KooijmanGenerate a VHDL architecture for each function.
2009-02-13 Matthijs KooijmanAdd port declarations to the VHDL entities.
2009-02-13 Matthijs KooijmanPut a TypeMark in a VHDLSignalmap.
2009-02-13 Matthijs KooijmanRename fields of SignalInfo.
2009-02-13 Matthijs KooijmanStore the Haskell Type in SignalInfo.
2009-02-13 Matthijs KooijmanAdd the VHDLTypes module
2009-02-13 Matthijs KooijmanExtract entities from the session and return them in...
2009-02-13 Matthijs KooijmanGenerate VHDL entity declarations.
2009-02-13 Matthijs KooijmanCreate an entity for each function.
2009-02-13 Matthijs KooijmanStore signals in a map.
2009-02-13 Matthijs KooijmanName signals in a function after flattening it.
2009-02-13 Matthijs KooijmanAdd a modFunc function to edit a function in the session.
2009-02-13 Matthijs KooijmanRemove NamedFlatFunction again.
2009-02-11 Matthijs KooijmanAllow a FlatFunction to be named as well as unnamed.
2009-02-11 Matthijs KooijmanFill the signal list in FlatFunction.
2009-02-11 Matthijs KooijmanAdd a list of used signals to FlatFunction.
2009-02-11 Matthijs KooijmanRemove the distinction between SignalDef and SignalUse.
2009-02-11 Matthijs KooijmanMake FlatFunction parameterized with the signal id...
2009-02-11 Matthijs KooijmanMove around a bunch of types.
2009-02-11 Matthijs KooijmanAdd more builtin functions.
2009-02-11 Matthijs KooijmanOnly force a stateful interface for top level functions.
2009-02-11 Matthijs KooijmanAdd facilities for builtin functions.
2009-02-11 Matthijs KooijmanAdd a setFlatFunc function.
2009-02-11 Matthijs KooijmanMake the flatfunc in FuncMap optional.
2009-02-11 Matthijs KooijmanReplace FuncMap by a Data.Map.
2009-02-11 Matthijs KooijmanDerive Ord for HsFunction.
2009-02-11 Matthijs KooijmanImplement resolvFunc.
2009-02-11 Matthijs KooijmanAdd getFunc session accessor.
2009-02-11 Matthijs KooijmanAdd the current CoreModule to the session.
2009-02-11 Matthijs KooijmanReplace printBind* by a Pretty instance.
2009-02-11 Matthijs KooijmanAdd Pretty instance for VHDLSession.
2009-02-11 Matthijs KooijmanGreatly clean up Translator.
2009-02-11 Matthijs KooijmanGive stateless a type signature.
2009-02-11 Matthijs KooijmanAdd pretty printing functions for FlatFunction.
2009-02-11 Matthijs KooijmanLearn flattenExpr about single alt Case expressions.
2009-02-11 Matthijs KooijmanLearn flattenExpr about Let expressions.
2009-02-11 Matthijs KooijmanLearn flattenExpr about building tuples.
2009-02-11 Matthijs KooijmanLearn flattenExpr to flatten normal applications.
2009-02-11 Matthijs KooijmanAdd useAsPort and useAsState functions.
2009-02-09 Matthijs KooijmanAdd defMapTouseMap function.
2009-02-09 Matthijs KooijmanMake HsValueMap an instance of Functor.
2009-02-09 Matthijs KooijmanLearn flattenExpr about function application.
2009-02-09 Matthijs KooijmanMake flattenExpr return signal definitions for arguments.
2009-02-09 Matthijs KooijmanLearn flattenExpr about Var expressions.
2009-02-09 Matthijs KooijmanLearn flattenExpr about Lambda expressions.
2009-02-06 Matthijs KooijmanAdd a BindMap argument to flattenExpr.
2009-02-06 Matthijs KooijmanAdd accessor methods for FlattenState.
2009-02-06 Matthijs KooijmanAdd flattenFunction and flattenExpr.
2009-02-06 Matthijs KooijmanAdd a new module "Flatten".
2009-02-06 Matthijs KooijmanLet Translator.hs export everything.
2009-02-05 Matthijs KooijmanName the module in Translator.hs Translator.
2009-02-05 Matthijs KooijmanRemove the export list from the Alu module.
2009-02-05 Matthijs KooijmanMake the arguments of the alu function curried.
2009-02-05 Matthijs KooijmanRemove the empty state of the alu function.
2009-02-03 Matthijs KooijmanCreate a VHDL proc for each state variable.
2009-02-03 Matthijs KooijmanGenerate a list of state, signal pairs as a side effect...
2009-02-03 Matthijs KooijmanMatch input and output state using ints.
2009-02-03 Matthijs KooijmanUse a better name for binders in a lambda expression.
next