 Parent Directory
|
|
|
|
|
optutils.sml
|
203 |
23 years |
monnier |
* opt/fcontract.sml: turned fcFun into a foldable function.
* opt/loopify.sml: a... |
|
loopify.sml
|
203 |
23 years |
monnier |
* opt/fcontract.sml: turned fcFun into a foldable function.
* opt/loopify.sml: a... |
|
split.sml
|
215 |
23 years |
monnier |
* opt/split.sml: new file. Does the lambda-splitting for cross-module
inlinin... |
|
fcontract.sml
|
215 |
23 years |
monnier |
* opt/split.sml: new file. Does the lambda-splitting for cross-module
inlinin... |
|
collect.sml
|
204 |
23 years |
monnier |
*** empty log message ***
|
|
lcontract.sml
|
202 |
23 years |
monnier |
Added IH_MAYBE to allow more selective inlining.
|
|
specialize.sml
|
197 |
23 years |
monnier |
Merged in Bratin's typelifting and Chris' named tvars.
FLINT is now using tvars ... |
|
lift.sml
|
197 |
23 years |
monnier |
Merged in Bratin's typelifting and Chris' named tvars.
FLINT is now using tvars ... |
|
fixfix.sml
|
213 |
23 years |
monnier |
merged in 110.10
|
|
recover.sml
|
213 |
23 years |
monnier |
merged in 110.10
|
