Parent Directory
|
|
|
|
|
opt/
|
204 |
22 years |
monnier |
*** empty log message ***
|
kernel/
|
204 |
22 years |
monnier |
*** empty log message ***
|
lsplit/
|
197 |
22 years |
monnier |
Merged in Bratin's typelifting and Chris' named tvars.
FLINT is now using tvars ... |
main/
|
202 |
22 years |
monnier |
Added IH_MAYBE to allow more selective inlining.
|
reps/
|
197 |
22 years |
monnier |
Merged in Bratin's typelifting and Chris' named tvars.
FLINT is now using tvars ... |
plambda/
|
184 |
22 years |
monnier |
* added basic unrolling support
* changed fkind to have most annotations valid o... |
cps/
|
199 |
22 years |
monnier |
* opt/loopify.sml: improved tail-calls recognition.
Also be more careful about w... |
flint/
|
202 |
22 years |
monnier |
Added IH_MAYBE to allow more selective inlining.
|
clos/
|
114 |
22 years |
monnier |
This commit was generated by cvs2svn to compensate for changes in r113,
which in... |
trans/
|
122 |
22 years |
monnier |
addition of fcontract and fixfix and Control.FLINT
|
cpsopt/
|
162 |
22 years |
monnier |
*** empty log message ***
|
ChangeLog
|
203 |
22 years |
monnier |
* opt/fcontract.sml: turned fcFun into a foldable function.
* opt/loopify.sml: a... |