projects
/
matthijs
/
master-project
/
report.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Finalize the proofs section.
[matthijs/master-project/report.git]
/
Chapters
/
Prototype.tex
2009-11-30
Matthijs Kooijman
Add vim modelines.
blob
|
commitdiff
|
raw
2009-11-24
Matthijs Kooijman
Review the first few chapters.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-12
Matthijs Kooijman
Add two TODOs.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-12
Matthijs Kooijman
Add a section on the Core type system.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Matthijs Kooijman
Update outline.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Matthijs Kooijman
Fix source indentation.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Matthijs Kooijman
Promote the Output format subsection to a section.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Matthijs Kooijman
Add the prototype to the research goals.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Matthijs Kooijman
Properly escape ampersands.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-04
Matthijs Kooijman
Add a section on the output format.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-04
Matthijs Kooijman
Explicitely use "letrec" for recursive lets.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-30
Matthijs Kooijman
Add some extra outline to the Hardware Description...
blob
|
commitdiff
|
raw
|
diff to current
2009-10-26
Matthijs Kooijman
Finish state section in hardware description chapter.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-15
Matthijs Kooijman
Add a section on expressions in the Core language.
blob
|
commitdiff
|
raw
|
diff to current
2009-10-05
Matthijs Kooijman
Put "VHDL" in small caps everywhere.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-29
Matthijs Kooijman
Add labels to all chapters.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-29
Matthijs Kooijman
Further expand the Prototype chapter.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-28
Matthijs Kooijman
Make a start with the prototype chapter.
blob
|
commitdiff
|
raw
|
diff to current
2009-09-28
Matthijs Kooijman
Add outline for Prototype chapter.
blob
|
commitdiff
|
raw
|
diff to current
projects / matthijs / master-project / report.git / history