|
Failed to load latest commit information. |
|
710/Data
|
yikes, bogus type for sequence
|
Aug 13, 2015
|
|
|
Control
|
remove some Prop from include
|
Dec 11, 2016
|
|
|
Data
|
Add `map` refinement for `Vector`
|
Oct 12, 2017
|
|
|
Foreign
|
terrible io tycon lookup
|
May 2, 2017
|
|
|
GHC
|
restore head and add error specs
|
Jul 27, 2017
|
|
|
Language/Haskell/Liquid
|
first round of test fixing
|
Jul 27, 2017
|
|
|
System
|
let's try NOT splitting `include` between 7.8 and 7.10..
|
May 11, 2015
|
|
|
Bot.hquals
|
let's try NOT splitting `include` between 7.8 and 7.10..
|
May 11, 2015
|
|
|
CoreToLogic.lg
|
Update CoreToLogic.lg
|
Oct 16, 2016
|
|
|
KMeansHelper.hs
|
let's try NOT splitting `include` between 7.8 and 7.10..
|
May 11, 2015
|
|
|
NotReal.spec
|
let's try NOT splitting `include` between 7.8 and 7.10..
|
May 11, 2015
|
|
|
PatErr.spec
|
let's try NOT splitting `include` between 7.8 and 7.10..
|
May 11, 2015
|
|
|
Prelude.hquals
|
new bug tickled by no-prop. sigh.
|
Dec 25, 2016
|
|
|
Prelude.spec
|
restore head and add error specs
|
Jul 27, 2017
|
|
|
Real.spec
|
divergence
|
Apr 14, 2017
|
|
|
len.hquals
|
let's try NOT splitting `include` between 7.8 and 7.10..
|
May 11, 2015
|