Give the index type an exclusive upper-bound, and fix related types accordingly
[matthijs/master-project/cλash.git] / Adders.hs
2009-08-05 Matthijs KooijmanMerge branch 'master' of git://github.com/christiaanb...
2009-08-05 Christiaan BaaijFix builtin functions (!),take and RangedWord
2009-07-14 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-07-14 Christiaan BaaijAdded resize function
2009-07-13 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-07-13 Matthijs KooijmanNormalize all used global binders.
2009-07-11 Christiaan BaaijGreat speed-up in type generation
2009-07-08 Christiaan BaaijPartly fixed implementation for integer literals.
2009-07-08 Christiaan BaaijAdded support for SizedInts and cleaned up some functio...
2009-07-07 Christiaan BaaijStarted adding numeric operations
2009-07-06 Christiaan BaaijCaching converted tfp integers to speedup translation
2009-07-03 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-07-03 Christiaan BaaijMade Bit an instance of Lift so it can be used in vectorTH
2009-07-03 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-07-03 Christiaan BaaijKeys for typemap can now deal with vector lengths based...
2009-07-02 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-07-02 Christiaan BaaijWe now output VHDL types in the correct order
2009-07-02 Christiaan BaaijRemoved the need for a special vector-type map.
2009-07-01 Christiaan BaaijAdded builtin functions: concat, reverse, iterate,...
2009-06-30 Christiaan BaaijAdded builtin functions shiftl, shiftr, null, rotl...
2009-06-29 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-06-29 Christiaan BaaijAdded unzip
2009-06-29 Christiaan BaaijAdded "zip" function
2009-06-26 Christiaan BaaijAdded support for instances of tfp integer, but poorly...
2009-06-24 Christiaan BaaijAdded builtin foldl function
2009-06-23 Matthijs KooijmanMerge git://github.com/darchon/clash into cλash
2009-06-23 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-23 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-23 Christiaan BaaijAlmost finished support for 'map'
2009-06-22 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-22 Christiaan BaaijFilter non-value variables for built-in functions
2009-06-22 Christiaan BaaijAdded subtype declarations to TypeMap, removed SubtypeMap.
2009-06-22 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-19 Christiaan BaaijAdded support for (!) function
2009-06-19 Christiaan BaaijAdders.hs explicityly uses Prelude lists function....
2009-06-19 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-19 Christiaan BaaijAdded function calls
2009-06-19 Matthijs KooijmanAdd another higher order testcase, highordtest2.
2009-06-19 Christiaan BaaijMerge branch 'cλash' of git.stderr.nl/matthijs/projects...
2009-06-18 Matthijs KooijmanAdd a higher order testcase.
2009-06-15 Matthijs KooijmanGenerate VHDL from Core instead of flat functions.
2009-05-25 Matthijs KooijmanUpdate the hardware models a bit.
2009-03-04 Matthijs KooijmanAdd some hardware models using vectors (FSVec).
2009-03-03 Matthijs KooijmanNever inline the half_adder function.
2009-02-27 Matthijs KooijmanAdd a two-port mux hardware model.
2009-02-18 Matthijs KooijmanAdd a simple four-bit shift register model.
2009-02-11 Matthijs KooijmanGive stateless a type signature.
2009-02-02 Matthijs KooijmanAdd a D-Flip flop hardware model.
2009-02-02 Matthijs KooijmanAdd a full_adder version with stateful interface.
2009-01-30 Matthijs KooijmanGive Adders a mainIO to to interactive simulation.
2009-01-30 Matthijs KooijmanImplement full_adder in terms of half_adder.
2009-01-29 Matthijs KooijmanMake full_adder simpler.
2009-01-29 Matthijs KooijmanAdd a duplication hardware model.
2009-01-29 Matthijs KooijmanAdd a double invertor model.
2009-01-29 Matthijs KooijmanAdd an invertor hardware model.
2009-01-29 Matthijs KooijmanAdd a trivial "wire" hardware model.
2009-01-29 Matthijs KooijmanAdd some comments.
2009-01-21 Matthijs KooijmanLet the Adders module export everything.
2009-01-21 Matthijs KooijmanAdd a haskell model for a half adder.
2009-01-19 Matthijs KooijmanIntial import of some haskell programs.