Skip to content
GitLab
Explore
Sign in
Register
Timo von Holtz
GHC
Repository
Branches
Overview
Active
Stale
All
wip/cfuneqcan-refactor
9d122639
·
Actually add tests
·
Nov 04, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
backport-simplifyer-fix
61b20bdd
·
This patch addresses the exponential blow-up in the simplifier.
·
Nov 04, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
tvh/fix-19090
71745565
·
Add failing test case for 19090
·
Jan 30, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Prev
1
…
78
79
80
81
82
Next