git.stderr.nl Git - matthijs/master-project/dsd-paper.git/search

projects / matthijs / master-project / dsd-paper.git / search

2010-02-24	Christiaan Baaij	Update some more things on function application	commit \| commitdiff \| tree
2010-02-24	Christiaan Baaij	update some parts on function application	commit \| commitdiff \| tree
2010-02-22	Christiaan Baaij	Add figure of stateful Multiply-Accumulate	commit \| commitdiff \| tree
2010-02-22	Christiaan Baaij	Update introduction of the type section, and remove...	commit \| commitdiff \| tree
2010-02-22	Christiaan Baaij	Update section on choice elements	commit \| commitdiff \| tree
2010-02-22	Christiaan Baaij	Fix some macro uses	commit \| commitdiff \| tree
2010-02-22	Christiaan Baaij	Merge branch 'master' of http://git.stderr.nl/matthijs...	commit \| commitdiff \| tree
2010-02-22	Christiaan Baaij	Add pictures for choice section. Update section on...	commit \| commitdiff \| tree
2010-02-15	Christiaan Baaij	Removed true-type fonts from svgs	commit \| commitdiff \| tree
2010-02-15	Christiaan Baaij	Add 2 figures of a macc	commit \| commitdiff \| tree
2010-02-11	Christiaan Baaij	Add extra meta-files to gitignore	commit \| commitdiff \| tree
2010-02-11	Christiaan Baaij	Add reference to Haskell and Verilog. Add something...	commit \| commitdiff \| tree
2010-02-11	Christiaan Baaij	Set latexmk to continous preview, requires custom latexmkrc...	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Beautify list environments	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Introduce our approach to functional HDL, and introduce...	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Change remaining verbatim environments to code environments	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Merge branch 'master' of http://git.stderr.nl/matthijs...	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Add paragraph to introduction about HDLs embedded in...	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Start using code instead of verbatim environments for...	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Merge branch 'master' of http://git.stderr.nl/matthijs...	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Added another piece on state	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Start section on State	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Improve indenting of some of the verbatim stuff	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	improve description indenting and text wrapping	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Add cλash.tex to ignore list, as it is now generated...	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Use lhs2tex for code and verbatim formatting	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Update VHDL command to use \small instead of \textsc	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Add quote command, and use it	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Wrap text to fit in 78 char line width	commit \| commitdiff \| tree
2010-01-27	Christiaan Baaij	Merge branch 'master' of http://git.stderr.nl/matthijs...	commit \| commitdiff \| tree
2010-01-26	Christiaan Baaij	Change \VHDL command, and use the \VHDL command more...	commit \| commitdiff \| tree
2010-01-26	Christiaan Baaij	Added reference to FL	commit \| commitdiff \| tree
2010-01-25	Christiaan Baaij	Add \CLasH command, update title	commit \| commitdiff \| tree
2010-01-25	Christiaan Baaij	Add some additional files to the ignore list	commit \| commitdiff \| tree
2010-01-25	Christiaan Baaij	Started on introduction, which required additional...	commit \| commitdiff \| tree
2010-01-22	Christiaan Baaij	Add some extra references on existing functional languages	commit \| commitdiff \| tree
2010-01-21	Christiaan Baaij	Add .gitignore file	commit \| commitdiff \| tree
2010-01-21	Christiaan Baaij	Add related work section	commit \| commitdiff \| tree
2010-01-21	Christiaan Baaij	Add references bibtex file	commit \| commitdiff \| tree

Paper intended for DSD 2010

RSS Atom