Skip to content
GitLab
Explore
Sign in
Register
Overview
Active
Stale
All
hsyl20-modules-hs
f34b90b5
·
Fix for GHC module renaming
·
Sep 12, 2019
wip/input-utf8
4c0562ca
·
Set input encoding to UTF-8
·
Aug 27, 2019
master
default
protected
52e761b9
·
Record dom-lt in spectral Makefile.
·
Jun 24, 2019
shake2
cdc04746
·
Fix mutator time metric name
·
May 20, 2019
wip/doc-runtest-opts
e23c0fa6
·
Document the EXTRA_RUNTEST_OPTS variable
·
Apr 28, 2019
patch-1
1bca0c63
·
Update README.md
·
Mar 23, 2019
shake
97a6155f
·
More informative print line when running tests with Shake.
·
Mar 04, 2013
supercompiler
270c8d8a
·
Ad-hoc nofib-analyse changes and SUPERCOMP_HC_OPTS
·
Dec 06, 2012