projects
/
matthijs
/
master-project
/
report.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Remove some progress documents, they are being stored elsewhere.
[matthijs/master-project/report.git]
/
Chapters
/ Prototype.tex
2009-12-09
Matthijs Kooijman
Don't put AvgStateRemoved in a float.
commit
|
commitdiff
2009-12-09
Matthijs Kooijman
Fix / remove some final todos.
commit
|
commitdiff
2009-12-09
Matthijs Kooijman
Add reference.
commit
|
commitdiff
2009-12-09
Matthijs Kooijman
Some fixes to the prototype chapter.
commit
|
commitdiff
2009-12-09
Matthijs Kooijman
Improve layout and add citation.
commit
|
commitdiff
2009-12-08
Matthijs Kooijman
Fix spelling as suggested by aspell.
commit
|
commitdiff
2009-12-08
Matthijs Kooijman
Fix references.
commit
|
commitdiff
2009-12-08
Matthijs Kooijman
Fix typo in buffer name.
commit
|
commitdiff
2009-12-08
Matthijs Kooijman
Add a section on prototype implementation (with the...
commit
|
commitdiff
2009-12-08
Matthijs Kooijman
Say Core instead of core.
commit
|
commitdiff
2009-12-08
Matthijs Kooijman
Put some function names inside \hs.
commit
|
commitdiff
2009-12-08
Matthijs Kooijman
Replace a starttyping with starthaskell.
commit
|
commitdiff
2009-12-07
Matthijs Kooijman
Add boxes around two figures.
commit
|
commitdiff
2009-12-07
Matthijs Kooijman
Misc fixes from own review.
commit
|
commitdiff
2009-12-07
Matthijs Kooijman
Add a VHDL typing style (and some other fixes).
commit
|
commitdiff
2009-12-07
Matthijs Kooijman
Add Scrutinee binder removal.
commit
|
commitdiff
2009-12-07
Matthijs Kooijman
Always use a lowercase letter after a colon.
commit
|
commitdiff
2009-12-07
Matthijs Kooijman
Add an intermezzo about the id function.
commit
|
commitdiff
2009-12-07
Matthijs Kooijman
Remove deprecated paragraph.
commit
|
commitdiff
2009-12-07
Matthijs Kooijman
Use \VHDL\ (etc.) instead of relying on \autoinsertnext...
commit
|
commitdiff
2009-12-07
Matthijs Kooijman
Say something about not using simplified core.
commit
|
commitdiff
2009-12-07
Matthijs Kooijman
Add a section on simulation.
commit
|
commitdiff
2009-12-07
Matthijs Kooijman
Fix things following from comments from Marco and Sabih.
commit
|
commitdiff
2009-12-06
Matthijs Kooijman
Fix a lot of things following from Jan's comments.
commit
|
commitdiff
2009-12-05
Matthijs Kooijman
Various small fixes following from Bert's commentaar.
commit
|
commitdiff
2009-12-05
Matthijs Kooijman
Replace statement with expression everywhere.
commit
|
commitdiff
2009-12-05
Matthijs Kooijman
Add another reference.
commit
|
commitdiff
2009-12-04
Matthijs Kooijman
Note that we've not considered EDSLs and TH.
commit
|
commitdiff
2009-12-04
Matthijs Kooijman
Finalize section on state in prototype chapter.
commit
|
commitdiff
2009-12-04
Matthijs Kooijman
Partially update state annotations section in the proto...
commit
|
commitdiff
2009-12-04
Matthijs Kooijman
Remove todo.
commit
|
commitdiff
2009-12-04
Matthijs Kooijman
Make a small start on the state annotations section.
commit
|
commitdiff
2009-12-01
Matthijs Kooijman
Use \$ instead of just $ in lambda expressions.
commit
|
commitdiff
2009-12-01
Matthijs Kooijman
Document the use of type annotations on variable refere...
commit
|
commitdiff
2009-12-01
Matthijs Kooijman
Change the symbol used for casting to ▶.
commit
|
commitdiff
2009-11-30
Matthijs Kooijman
Add vim modelines.
commit
|
commitdiff
2009-11-24
Matthijs Kooijman
Review the first few chapters.
commit
|
commitdiff
2009-11-12
Matthijs Kooijman
Add two TODOs.
commit
|
commitdiff
2009-11-12
Matthijs Kooijman
Add a section on the Core type system.
commit
|
commitdiff
2009-11-11
Matthijs Kooijman
Update outline.
commit
|
commitdiff
2009-11-11
Matthijs Kooijman
Fix source indentation.
commit
|
commitdiff
2009-11-11
Matthijs Kooijman
Promote the Output format subsection to a section.
commit
|
commitdiff
2009-11-11
Matthijs Kooijman
Add the prototype to the research goals.
commit
|
commitdiff
2009-11-11
Matthijs Kooijman
Properly escape ampersands.
commit
|
commitdiff
2009-11-04
Matthijs Kooijman
Add a section on the output format.
commit
|
commitdiff
2009-11-04
Matthijs Kooijman
Explicitely use "letrec" for recursive lets.
commit
|
commitdiff
2009-10-30
Matthijs Kooijman
Add some extra outline to the Hardware Description...
commit
|
commitdiff
2009-10-26
Matthijs Kooijman
Finish state section in hardware description chapter.
commit
|
commitdiff
2009-10-15
Matthijs Kooijman
Add a section on expressions in the Core language.
commit
|
commitdiff
2009-10-05
Matthijs Kooijman
Put "VHDL" in small caps everywhere.
commit
|
commitdiff
2009-09-29
Matthijs Kooijman
Add labels to all chapters.
commit
|
commitdiff
2009-09-29
Matthijs Kooijman
Further expand the Prototype chapter.
commit
|
commitdiff
2009-09-28
Matthijs Kooijman
Make a start with the prototype chapter.
commit
|
commitdiff
2009-09-28
Matthijs Kooijman
Add outline for Prototype chapter.
commit
|
commitdiff