equal
deleted
inserted
replaced
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
9 |
10 object AFP |
10 object AFP |
11 { |
11 { |
12 val repos_source = "https://bitbucket.org/isa-afp/afp-devel" |
12 val repos_source = "https://isabelle.sketis.net/repos/afp-devel" |
13 |
13 |
14 val groups: Map[String, String] = |
14 val groups: Map[String, String] = |
15 Map("large" -> "full 64-bit memory model or word arithmetic required", |
15 Map("large" -> "full 64-bit memory model or word arithmetic required", |
16 "slow" -> "CPU time much higher than 60min (on mid-range hardware)", |
16 "slow" -> "CPU time much higher than 60min (on mid-range hardware)", |
17 "very_slow" -> "elapsed time of many hours (on high-end hardware)") |
17 "very_slow" -> "elapsed time of many hours (on high-end hardware)") |