git.stderr.nl Git - matthijs/master-project/cλash.git/search

projects / matthijs / master-project / cλash.git / search

2009-02-19	Matthijs Kooijman	Further reduce main and add a makeVHDL function.	commit \| commitdiff \| tree
2009-02-19	Matthijs Kooijman	Support multiple alternative case expressions.	commit \| commitdiff \| tree
2009-02-19	Matthijs Kooijman	Add stateful alu (with empty state).	commit \| commitdiff \| tree
2009-02-18	Matthijs Kooijman	Add a simple four-bit shift register model.	commit \| commitdiff \| tree
2009-02-18	Matthijs Kooijman	Use a different approach for marking SigUses.	commit \| commitdiff \| tree
2009-02-18	Matthijs Kooijman	Add setSignalInfo accessor for FlattenState.	commit \| commitdiff \| tree
2009-02-18	Matthijs Kooijman	Generate VHDL for UncondDefs.	commit \| commitdiff \| tree
2009-02-18	Matthijs Kooijman	Add a getSignalInfo accessor.	commit \| commitdiff \| tree
2009-02-18	Matthijs Kooijman	Add a listBind function to show the Core for a bind.	commit \| commitdiff \| tree
2009-02-18	Matthijs Kooijman	Split out the large main function a bit.	commit \| commitdiff \| tree
2009-02-18	Matthijs Kooijman	Remove the DontCare value from the Bit type.	commit \| commitdiff \| tree
2009-02-18	Matthijs Kooijman	Derive and use show instead of ppr to display Exprs.	commit \| commitdiff \| tree
2009-02-18	Matthijs Kooijman	Fix comment indent.	commit \| commitdiff \| tree
2009-02-17	Matthijs Kooijman	Generalize FApp and CondDef into SigDef and add UncondDef.	commit \| commitdiff \| tree
2009-02-17	Matthijs Kooijman	Add a type alias StateId for state numbers.	commit \| commitdiff \| tree
2009-02-17	Matthijs Kooijman	Remove type parameterisation of SignalMap.	commit \| commitdiff \| tree
2009-02-17	Matthijs Kooijman	Don't generate ports for non-port signals.	commit \| commitdiff \| tree
2009-02-17	Matthijs Kooijman	Generate VHDL signals for internal signals and state.	commit \| commitdiff \| tree
2009-02-17	Matthijs Kooijman	Add predicates for SigUse.	commit \| commitdiff \| tree
2009-02-17	Matthijs Kooijman	Mark all signals as ports or states when appropriate.	commit \| commitdiff \| tree
2009-02-17	Matthijs Kooijman	Always import IEEE.std_logic_1164 in the generated...	commit \| commitdiff \| tree
2009-02-17	Matthijs Kooijman	Move the DesignFile creation to VHDL.	commit \| commitdiff \| tree
2009-02-17	Matthijs Kooijman	Add clk port on any stateful entity.	commit \| commitdiff \| tree
2009-02-17	Matthijs Kooijman	Create state procs for state signals.	commit \| commitdiff \| tree
2009-02-16	Matthijs Kooijman	Mark port signals as such during flattening.	commit \| commitdiff \| tree
2009-02-16	Matthijs Kooijman	Improve the pretty output of the signal list.	commit \| commitdiff \| tree
2009-02-16	Matthijs Kooijman	Make the pretty output more pretty.	commit \| commitdiff \| tree
2009-02-16	Matthijs Kooijman	Reduce genSignals to a single line using Traversable.	commit \| commitdiff \| tree
2009-02-16	Matthijs Kooijman	Store a use for each signal in a flattened function.	commit \| commitdiff \| tree
2009-02-16	Matthijs Kooijman	Add port maps to component instantiations.	commit \| commitdiff \| tree
2009-02-16	Matthijs Kooijman	Make application names unique.	commit \| commitdiff \| tree
2009-02-16	Matthijs Kooijman	Add Entities for builtin functions.	commit \| commitdiff \| tree
2009-02-16	Matthijs Kooijman	Let mkCompInsSm look up the actual VHDL entity id.	commit \| commitdiff \| tree
2009-02-16	Matthijs Kooijman	Put mkCompInsSm in the VHDLState monad.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Make modFuncs work with stateful functions.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Generalize some session modification functions.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Generate dummy component instantiations for each architecture.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Move some pretty printing code around.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Use less general names as labels some fields.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Generate a VHDL architecture for each function.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Add port declarations to the VHDL entities.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Put a TypeMark in a VHDLSignalmap.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Rename fields of SignalInfo.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Store the Haskell Type in SignalInfo.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Add the VHDLTypes module	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Extract entities from the session and return them in...	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Generate VHDL entity declarations.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Create an entity for each function.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Store signals in a map.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Name signals in a function after flattening it.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Add a modFunc function to edit a function in the session.	commit \| commitdiff \| tree
2009-02-13	Matthijs Kooijman	Remove NamedFlatFunction again.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Allow a FlatFunction to be named as well as unnamed.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Fill the signal list in FlatFunction.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Add a list of used signals to FlatFunction.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Remove the distinction between SignalDef and SignalUse.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Make FlatFunction parameterized with the signal id...	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Move around a bunch of types.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Add more builtin functions.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Only force a stateful interface for top level functions.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Add facilities for builtin functions.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Add a setFlatFunc function.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Make the flatfunc in FuncMap optional.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Replace FuncMap by a Data.Map.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Derive Ord for HsFunction.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Implement resolvFunc.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Add getFunc session accessor.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Add the current CoreModule to the session.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Replace printBind* by a Pretty instance.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Add Pretty instance for VHDLSession.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Greatly clean up Translator.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Give stateless a type signature.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Add pretty printing functions for FlatFunction.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Learn flattenExpr about single alt Case expressions.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Learn flattenExpr about Let expressions.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Learn flattenExpr about building tuples.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Learn flattenExpr to flatten normal applications.	commit \| commitdiff \| tree
2009-02-11	Matthijs Kooijman	Add useAsPort and useAsState functions.	commit \| commitdiff \| tree
2009-02-09	Matthijs Kooijman	Add defMapTouseMap function.	commit \| commitdiff \| tree
2009-02-09	Matthijs Kooijman	Make HsValueMap an instance of Functor.	commit \| commitdiff \| tree
2009-02-09	Matthijs Kooijman	Learn flattenExpr about function application.	commit \| commitdiff \| tree
2009-02-09	Matthijs Kooijman	Make flattenExpr return signal definitions for arguments.	commit \| commitdiff \| tree
2009-02-09	Matthijs Kooijman	Learn flattenExpr about Var expressions.	commit \| commitdiff \| tree
2009-02-09	Matthijs Kooijman	Learn flattenExpr about Lambda expressions.	commit \| commitdiff \| tree
2009-02-06	Matthijs Kooijman	Add a BindMap argument to flattenExpr.	commit \| commitdiff \| tree
2009-02-06	Matthijs Kooijman	Add accessor methods for FlattenState.	commit \| commitdiff \| tree
2009-02-06	Matthijs Kooijman	Add flattenFunction and flattenExpr.	commit \| commitdiff \| tree
2009-02-03	Matthijs Kooijman	Create a VHDL proc for each state variable.	commit \| commitdiff \| tree
2009-02-03	Matthijs Kooijman	Generate a list of state, signal pairs as a side effect...	commit \| commitdiff \| tree
2009-02-03	Matthijs Kooijman	Match input and output state using ints.	commit \| commitdiff \| tree
2009-02-03	Matthijs Kooijman	Use a better name for binders in a lambda expression.	commit \| commitdiff \| tree
2009-02-03	Matthijs Kooijman	Improve error message.	commit \| commitdiff \| tree
2009-02-03	Matthijs Kooijman	Let mkIfaceSigDecs and createSignalAssignments handle...	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Add a D-Flip flop hardware model.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Make state values unused in a SignalNameMap.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Extract mkPort and mkState to the top level.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Print the final session after the output.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Allow variables to be bound to complex expressions.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Find state arguments / results in top level functions.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Add a full_adder version with stateful interface.	commit \| commitdiff \| tree
next

The Cλash compiler

RSS Atom