projects
/
matthijs
/
master-project
/
cλash.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add is_applicable predicate.
[matthijs/master-project/cλash.git]
/
CoreTools.hs
2009-06-21
Matthijs Kooijman
Add is_applicable predicate.
blob
|
commitdiff
|
raw
2009-06-21
Matthijs Kooijman
Add has_free_tyvars predicate.
blob
|
commitdiff
|
raw
|
diff to current
2009-06-21
Matthijs Kooijman
Add is_poly and is_var predicates.
blob
|
commitdiff
|
raw
|
diff to current
2009-06-21
Matthijs Kooijman
Make is_fun also work properly for Type CoreExprs.
blob
|
commitdiff
|
raw
|
diff to current
2009-06-19
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
blob
|
commitdiff
|
raw
|
diff to current
2009-06-19
Christiaan Baaij
Merge branch 'cλash' of git.stderr.nl/matthijs/projects...
blob
|
commitdiff
|
raw
|
diff to current
2009-06-19
Christiaan Baaij
Started adding builtin functions
blob
|
commitdiff
|
raw
|
diff to current
2009-06-18
Matthijs Kooijman
Add is_lam and is_fun predicates.
blob
|
commitdiff
|
raw
|
diff to current
2009-06-18
Matthijs Kooijman
Add is_wild function to check for wild binders.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-09
Matthijs Kooijman
Generalize VHDL type creation for SizedWord and FSVec.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-09
Matthijs Kooijman
A word has a width, not a length.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-09
Matthijs Kooijman
Move eval_type_level_int to CoreTools.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-09
Matthijs Kooijman
Import the Types.Data.Num module in eval_tfp_int.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-09
Matthijs Kooijman
Add a [ModuleName] parameter to toCore.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-09
Matthijs Kooijman
Fix compilation of CoreTools.
blob
|
commitdiff
|
raw
|
diff to current
2009-04-09
Matthijs Kooijman
Add sized_word_len, which gets the length from a SizedW...
blob
|
commitdiff
|
raw
|
diff to current
2009-04-09
Matthijs Kooijman
Add the new CoreTools module.
blob
|
commitdiff
|
raw
|
diff to current
projects / matthijs / master-project / cλash.git / history