Update references to github
[submodule "libcloogle"]
path = libcloogle
- url = https://github.com/clean-cloogle/libcloogle.git
+ url = https://gitlab.science.ru.nl/cloogle/libcloogle.git
[submodule "clean-selectloop"]
path = clean-selectloop
url = https://github.com/dopefishh/clean-selectloop.git
= "ABC instruction: " +++ re.abc_instruction
processResult (ProblemResult pr)
= "Common problem: " +++ pr.problem_title
- +++ "; see https://github.com/clean-cloogle/common-problems/blob/master/" +++ pr.problem_key +++ ".md"
+ +++ "; see https://gitlab.science.ru.nl/cloogle/common-problems/blob/master/" +++ pr.problem_key +++ ".md"
limitResults :: String -> String
limitResults s
-Subproject commit 60c8eb36203bfbac0db3bcb4d0c4d2dbdfa771e9
+Subproject commit 665acb6181353b484790c5e5b1e6edd3026090ed