equal
deleted
inserted
replaced
7 theory Code_Generator |
7 theory Code_Generator |
8 imports Pure |
8 imports Pure |
9 uses |
9 uses |
10 "~~/src/Tools/cache_io.ML" |
10 "~~/src/Tools/cache_io.ML" |
11 "~~/src/Tools/auto_tools.ML" |
11 "~~/src/Tools/auto_tools.ML" |
12 "~~/src/Tools/auto_solve.ML" |
12 "~~/src/Tools/solve_direct.ML" |
13 "~~/src/Tools/quickcheck.ML" |
13 "~~/src/Tools/quickcheck.ML" |
14 "~~/src/Tools/value.ML" |
14 "~~/src/Tools/value.ML" |
15 "~~/src/Tools/Code/code_preproc.ML" |
15 "~~/src/Tools/Code/code_preproc.ML" |
16 "~~/src/Tools/Code/code_thingol.ML" |
16 "~~/src/Tools/Code/code_thingol.ML" |
17 "~~/src/Tools/Code/code_simp.ML" |
17 "~~/src/Tools/Code/code_simp.ML" |
24 ("~~/src/Tools/Code/code_runtime.ML") |
24 ("~~/src/Tools/Code/code_runtime.ML") |
25 ("~~/src/Tools/nbe.ML") |
25 ("~~/src/Tools/nbe.ML") |
26 begin |
26 begin |
27 |
27 |
28 setup {* |
28 setup {* |
29 Auto_Solve.setup |
29 Solve_Direct.setup |
30 #> Code_Preproc.setup |
30 #> Code_Preproc.setup |
31 #> Code_Simp.setup |
31 #> Code_Simp.setup |
32 #> Code_ML.setup |
32 #> Code_ML.setup |
33 #> Code_Haskell.setup |
33 #> Code_Haskell.setup |
34 #> Code_Scala.setup |
34 #> Code_Scala.setup |