projects
/
matthijs
/
master-project
/
cλash.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Make top level inlining handle non-representable results gracefully.
[matthijs/master-project/cλash.git]
/
cλash
/
CLasH
/
Normalize
/
2010-04-06
Matthijs Kooijman
Fix let binding inlining in some cases.
tree
|
commitdiff
2010-03-31
Matthijs Kooijman
Revert "Make inlinebind work for non-recursive lets."
tree
|
commitdiff
2010-03-31
Matthijs Kooijman
Compilefix debug output.
tree
|
commitdiff
2010-03-31
Matthijs Kooijman
Keep (and show) a count of applied transformations.
tree
|
commitdiff
2010-03-31
Matthijs Kooijman
Show the current transformation context in the debug...
tree
|
commitdiff
2010-03-31
Matthijs Kooijman
Derive Show for CoreContext.
tree
|
commitdiff
2010-03-31
Matthijs Kooijman
Derive Eq for CoreContext.
tree
|
commitdiff
2010-03-31
Matthijs Kooijman
Add LambdaBody to CoreContext.
tree
|
commitdiff
2010-03-30
Matthijs Kooijman
Add LetBody and LetBinding to the CoreContext.
tree
|
commitdiff
2010-03-30
Matthijs Kooijman
Remove notappargs, which is unused now.
tree
|
commitdiff
2010-03-30
Matthijs Kooijman
Add AppFirst and AddSecond to CoreContext.
tree
|
commitdiff
2010-03-30
Matthijs Kooijman
Pass the context in which an expression occurs to each...
tree
|
commitdiff
2010-03-25
Christiaan Baaij
Merge branch 'master' of git.stderr.nl/matthijs/master...
tree
|
commitdiff
2010-03-20
Christiaan Baaij
Add "init" to list of builtin function within Normalize...
tree
|
commitdiff
2010-03-20
Christiaan Baaij
Move built_in names to different list within NormalizeTools
tree
|
commitdiff
2010-03-10
Matthijs Kooijman
Use the list of builtin functions for inlining.
tree
|
commitdiff
2010-03-10
Matthijs Kooijman
Slightly improve normalization debug output.
tree
|
commitdiff
2010-03-05
Matthijs Kooijman
Add variant of isNormalizeable that operates in the...
tree
|
commitdiff
2010-03-05
Matthijs Kooijman
Add variant of isRepr that operates in the TranslatorSe...
tree
|
commitdiff
2010-03-03
Matthijs Kooijman
Allow inlining of head and friends.
tree
|
commitdiff
2010-03-03
Matthijs Kooijman
Allow ! to be inlined.
tree
|
commitdiff
2009-12-07
Matthijs Kooijman
Also inline some arithmetic operators.
tree
|
commitdiff
2009-11-30
Matthijs Kooijman
Merge branch 'master' of git://github.com/christiaanb...
tree
|
commitdiff
2009-11-11
Christiaan Baaij
Fix haddock generation
tree
|
commitdiff
2009-11-11
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
tree
|
commitdiff
2009-11-11
Christiaan Baaij
Clean up source files:
tree
|
commitdiff
2009-11-10
Christiaan Baaij
Use data-accessor-transformers package to remove deprec...
tree
|
commitdiff
2009-08-20
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
tree
|
commitdiff
2009-08-19
Matthijs Kooijman
Merge branch 'master' of git://github.com/christiaanb...
tree
|
commitdiff
2009-08-19
Matthijs Kooijman
Add a not in isUserDefined.
tree
|
commitdiff
2009-08-19
Matthijs Kooijman
Split substitute into substitute and substitute_clone.
tree
|
commitdiff
2009-08-19
Matthijs Kooijman
Rewrite substitute to clone the substitution range.
tree
|
commitdiff
2009-08-19
Matthijs Kooijman
Add isNormalizeable predicate.
tree
|
commitdiff
2009-08-19
Matthijs Kooijman
Make isRepr work on TypedThings instead of CoreExpr.
tree
|
commitdiff
2009-08-19
Matthijs Kooijman
Also inline functions named "fromInteger".
tree
|
commitdiff
2009-08-19
Matthijs Kooijman
Add isUserDefined predicate.
tree
|
commitdiff
2009-08-17
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
tree
|
commitdiff
2009-08-17
Matthijs Kooijman
Turn of Normalize debugging again, accidentally committed.
tree
|
commitdiff
2009-08-14
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
tree
|
commitdiff
2009-08-14
Matthijs Kooijman
Order the extracted bindings from a case expression...
tree
|
commitdiff
2009-08-14
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
tree
|
commitdiff
2009-08-14
Matthijs Kooijman
Make inlinebind work for non-recursive lets.
tree
|
commitdiff
2009-08-06
Matthijs Kooijman
Merge branch 'master' of git://github.com/christiaanb...
tree
|
commitdiff
2009-08-06
Matthijs Kooijman
Add changeif normalization helper function.
tree
|
commitdiff
2009-08-05
Matthijs Kooijman
Merge branch 'master' of git://github.com/christiaanb...
tree
|
commitdiff
2009-08-05
Matthijs Kooijman
Move around some helper functions.
tree
|
commitdiff
2009-08-05
Matthijs Kooijman
Remove compatability aliases for the old sessions.
tree
|
commitdiff
2009-08-05
Matthijs Kooijman
Make vhdl generation and normalization lazy.
tree
|
commitdiff
2009-07-31
Matthijs Kooijman
Merge branch 'master' of git://github.com/christiaanb...
tree
|
commitdiff
2009-07-28
Christiaan Baaij
Add automated testbench generation according to supplie...
tree
|
commitdiff
2009-07-23
Christiaan Baaij
Remove NoGenerics pragma, as the ghc bug 3391 is now...
tree
|
commitdiff
2009-07-23
Christiaan Baaij
Also add NoGenerics pragma to the other types.hs files
tree
|
commitdiff
2009-07-15
Christiaan Baaij
Adepted the modules to their new structure
tree
|
commitdiff
2009-07-15
Christiaan Baaij
Moved clash to it's own library directory, and started...
tree
|
commitdiff