1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
(* This file is created by makeallcm *)
Library
functor ImprovedChaitinSpillHeur
functor ImprovedChowHennessySpillHeur
functor RASpillWithRenaming
is
#if defined(NEW_CM)
#if SMLNJ_VERSION * 100 + SMLNJ_MINOR_VERSION >= 11030
$/basis.cm
$/smlnj-lib.cm
$/MLRISC.cm
$/Control.cm
$/Lib.cm
#else
basis.cm
smlnj-lib.cm
MLRISC.cm
Control.cm
Lib.cm
#endif
#else
smlnj-lib.cm
MLRISC.cm
Control.cm
Lib.cm
#endif
../ra/chaitin-spillheur2.sml
../ra/chow-hennessy-spillheur2.sml
../ra/ra-spill-with-renaming.sml
|
