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

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

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
2009-02-02	Matthijs Kooijman	Make a proper HsFunction for top-level functions.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Restructure mkVHDL and getArchitecture a bit.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Create proper HsFunctions for function application.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Index the list of functions with information about...	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Introduce a new type HsValueMap.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Make tuple construction handling more portable.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Remove the getInstantiations function.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Write the resulting vhdl to file.	commit \| commitdiff \| tree
2009-02-02	Matthijs Kooijman	Replace - with _ in VHDL ids.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Set VHDL types based on Haskell Types.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Store the type of a signal in a SignalNameMap.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Make SignalNameMap always map VHDLId's.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Generate entities in addition to architectures.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Store the VHDLId of a function in HWFunction.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Give Adders a mainIO to to interactive simulation.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Add a a new function "stateless".	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Add a stateless circuit type.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Rename the Circuit type to SCircuit (for stateful)	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Rename a bunch of type variables.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Store the RegisterBankState in a algbraic data type.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Show input on each simulation step.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Print the binds we're about to translate.	commit \| commitdiff \| tree
2009-01-30	Matthijs Kooijman	Implement full_adder in terms of half_adder.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Allow multiple functions to be translated in the same...	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Swap argument order on findBind.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Learn expandExpr how to handle Let expressions.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Make full_adder simpler.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Improve error message for createSignalAssignments.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Learn ExpandExpr how to handle simple case expressions.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add a base case to splitTupleConstructorArgs.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Learn expandExpr how to handle tuple construction.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add a duplication hardware model.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Implement expandArgs in terms of expandExpr.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add a double invertor model.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Learn expandExpr how to expand Application.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Let expandExpr error out on unsupported expressions.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add an invertor hardware model.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Rework the VHDL generation to be more bottom up.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add a trivial "wire" hardware model.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Rename PortNameMap to SignalNameMap and make it a dependent...	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Move around some functionality.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Reorder and comment things a bit.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Use uniqueName to make component instantiations unique.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add a uniqueName function.	commit \| commitdiff \| tree
2009-01-29	Matthijs Kooijman	Add some comments.	commit \| commitdiff \| tree
2009-01-27	Matthijs Kooijman	Use spaces instead of tabs.	commit \| commitdiff \| tree
2009-01-27	Matthijs Kooijman	Put getInstantiations in the State monad.	commit \| commitdiff \| tree
2009-01-27	Matthijs Kooijman	Put getArchitecture inside the State monad.	commit \| commitdiff \| tree
2009-01-27	Matthijs Kooijman	Make the state monad calling code more pretty.	commit \| commitdiff \| tree
2009-01-27	Matthijs Kooijman	Run mkHWFunction and addFunc in a State monad.	commit \| commitdiff \| tree
2009-01-27	Matthijs Kooijman	Derive Show for the data types we define.	commit \| commitdiff \| tree
2009-01-22	Matthijs Kooijman	Remove the Args constructor, just use a list instead.	commit \| commitdiff \| tree
2009-01-22	Matthijs Kooijman	Look up the port names in the session when generating...	commit \| commitdiff \| tree
2009-01-22	Matthijs Kooijman	Generate a HWFunction for the function that is being...	commit \| commitdiff \| tree
next

The Cλash compiler

RSS Atom