matthijs/master-project/cλash.git
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.
2009-02-03 Matthijs KooijmanImprove error message.
2009-02-03 Matthijs KooijmanLet mkIfaceSigDecs and createSignalAssignments handle...
2009-02-02 Matthijs KooijmanAdd a D-Flip flop hardware model.
2009-02-02 Matthijs KooijmanMake state values unused in a SignalNameMap.
2009-02-02 Matthijs KooijmanExtract mkPort and mkState to the top level.
2009-02-02 Matthijs KooijmanPrint the final session after the output.
2009-02-02 Matthijs KooijmanAllow variables to be bound to complex expressions.
2009-02-02 Matthijs KooijmanFind state arguments / results in top level functions.
2009-02-02 Matthijs KooijmanAdd a full_adder version with stateful interface.
2009-02-02 Matthijs KooijmanMake a proper HsFunction for top-level functions.
2009-02-02 Matthijs KooijmanRestructure mkVHDL and getArchitecture a bit.
2009-02-02 Matthijs KooijmanCreate proper HsFunctions for function application.
2009-02-02 Matthijs KooijmanIndex the list of functions with information about...
2009-02-02 Matthijs KooijmanIntroduce a new type HsValueMap.
2009-02-02 Matthijs KooijmanMake tuple construction handling more portable.
2009-02-02 Matthijs KooijmanRemove the getInstantiations function.
2009-02-02 Matthijs KooijmanWrite the resulting vhdl to file.
2009-02-02 Matthijs KooijmanReplace - with _ in VHDL ids.
2009-01-30 Matthijs KooijmanSet VHDL types based on Haskell Types.
2009-01-30 Matthijs KooijmanStore the type of a signal in a SignalNameMap.
2009-01-30 Matthijs KooijmanMake SignalNameMap always map VHDLId's.
2009-01-30 Matthijs KooijmanGenerate entities in addition to architectures.
2009-01-30 Matthijs KooijmanStore the VHDLId of a function in HWFunction.
2009-01-30 Matthijs KooijmanGive Adders a mainIO to to interactive simulation.
2009-01-30 Matthijs KooijmanAdd a a new function "stateless".
2009-01-30 Matthijs KooijmanAdd a stateless circuit type.
2009-01-30 Matthijs KooijmanRename the Circuit type to SCircuit (for stateful)
2009-01-30 Matthijs KooijmanRename a bunch of type variables.
2009-01-30 Matthijs KooijmanStore the RegisterBankState in a algbraic data type.
2009-01-30 Matthijs KooijmanShow input on each simulation step.
2009-01-30 Matthijs KooijmanPrint the binds we're about to translate.
2009-01-30 Matthijs KooijmanImplement full_adder in terms of half_adder.
2009-01-29 Matthijs KooijmanAllow multiple functions to be translated in the same...
2009-01-29 Matthijs KooijmanSwap argument order on findBind.
2009-01-29 Matthijs KooijmanLearn expandExpr how to handle Let expressions.
2009-01-29 Matthijs KooijmanMake full_adder simpler.
2009-01-29 Matthijs KooijmanImprove error message for createSignalAssignments.
2009-01-29 Matthijs KooijmanLearn ExpandExpr how to handle simple case expressions.
2009-01-29 Matthijs KooijmanAdd a base case to splitTupleConstructorArgs.
2009-01-29 Matthijs KooijmanLearn expandExpr how to handle tuple construction.
2009-01-29 Matthijs KooijmanAdd a duplication hardware model.
2009-01-29 Matthijs KooijmanImplement expandArgs in terms of expandExpr.
2009-01-29 Matthijs KooijmanAdd a double invertor model.
2009-01-29 Matthijs KooijmanLearn expandExpr how to expand Application.
2009-01-29 Matthijs KooijmanLet expandExpr error out on unsupported expressions.
next