projects
/
matthijs
/
master-project
/
cλash.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Allow inlining of head and friends.
[matthijs/master-project/cλash.git]
/
cλash
/
CLasH
/
Normalize
/
NormalizeTools.hs
2010-03-03
Matthijs Kooijman
Allow inlining of head and friends.
blob
|
commitdiff
|
raw
2010-03-03
Matthijs Kooijman
Allow ! to be inlined.
blob
|
commitdiff
|
raw
|
diff to current
2009-12-07
Matthijs Kooijman
Also inline some arithmetic operators.
blob
|
commitdiff
|
raw
|
diff to current
2009-11-30
Matthijs Kooijman
Merge branch 'master' of git://github.com/christiaanb...
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Christiaan Baaij
Fix haddock generation
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
blob
|
commitdiff
|
raw
|
diff to current
2009-11-11
Christiaan Baaij
Clean up source files:
blob
|
commitdiff
|
raw
|
diff to current
2009-11-10
Christiaan Baaij
Use data-accessor-transformers package to remove deprec...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-20
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-19
Matthijs Kooijman
Merge branch 'master' of git://github.com/christiaanb...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-19
Matthijs Kooijman
Add a not in isUserDefined.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-19
Matthijs Kooijman
Split substitute into substitute and substitute_clone.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-19
Matthijs Kooijman
Rewrite substitute to clone the substitution range.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-19
Matthijs Kooijman
Add isNormalizeable predicate.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-19
Matthijs Kooijman
Make isRepr work on TypedThings instead of CoreExpr.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-19
Matthijs Kooijman
Also inline functions named "fromInteger".
blob
|
commitdiff
|
raw
|
diff to current
2009-08-19
Matthijs Kooijman
Add isUserDefined predicate.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-17
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-17
Matthijs Kooijman
Turn of Normalize debugging again, accidentally committed.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-14
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-14
Matthijs Kooijman
Order the extracted bindings from a case expression...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-14
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-14
Matthijs Kooijman
Make inlinebind work for non-recursive lets.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-06
Matthijs Kooijman
Merge branch 'master' of git://github.com/christiaanb...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-06
Matthijs Kooijman
Add changeif normalization helper function.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-05
Matthijs Kooijman
Merge branch 'master' of git://github.com/christiaanb...
blob
|
commitdiff
|
raw
|
diff to current
2009-08-05
Matthijs Kooijman
Move around some helper functions.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-05
Matthijs Kooijman
Remove compatability aliases for the old sessions.
blob
|
commitdiff
|
raw
|
diff to current
2009-08-05
Matthijs Kooijman
Make vhdl generation and normalization lazy.
blob
|
commitdiff
|
raw
|
diff to current
2009-07-31
Matthijs Kooijman
Merge branch 'master' of git://github.com/christiaanb...
blob
|
commitdiff
|
raw
|
diff to current
2009-07-28
Christiaan Baaij
Add automated testbench generation according to supplie...
blob
|
commitdiff
|
raw
|
diff to current
2009-07-15
Christiaan Baaij
Adepted the modules to their new structure
blob
|
commitdiff
|
raw
|
diff to current
2009-07-15
Christiaan Baaij
Moved clash to it's own library directory, and started...
blob
|
commitdiff
|
raw
|
diff to current