diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,11 @@
+# Changelog
+
+## [1.0.0.0] - 2021-11-20
+
+* Compatibility with `genvalidity >= 1.0.0.0`
+* Renamed every combinator that ends in `OnValid` (or similar) to not have that suffix anymore.
+
+### Removed
+
+* Every combinator that relates to unchecked or invalid values.
+
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,6 @@
 The MIT License (MIT)
 
-Copyright (c) 2020 Tom Sydney Kerckhove
+Copyright (c) 2016-2021 Tom Sydney Kerckhove
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal
diff --git a/genvalidity-sydtest-hashable.cabal b/genvalidity-sydtest-hashable.cabal
--- a/genvalidity-sydtest-hashable.cabal
+++ b/genvalidity-sydtest-hashable.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           genvalidity-sydtest-hashable
-version:        0.0.0.0
+version:        1.0.0.0
 synopsis:       Standard spec's for Hashable instances for sydtest
 description:    Standard spec's for Hashable instances for sydtest
 category:       Testing
@@ -13,10 +13,13 @@
 bug-reports:    https://github.com/NorfairKing/validity/issues
 author:         Tom Sydney Kerckhove
 maintainer:     syd@cs-syd.eu
-copyright:      2020 Tom Sydney Kerckhove
+copyright:      Copyright: (c) 2016-2021 Tom Sydney Kerckhove
 license:        MIT
 license-file:   LICENSE
 build-type:     Simple
+extra-source-files:
+    LICENSE
+    CHANGELOG.md
 
 source-repository head
   type: git
@@ -32,7 +35,7 @@
   build-depends:
       QuickCheck
     , base >=4.9 && <5
-    , genvalidity >=0.5
+    , genvalidity >=1.0
     , genvalidity-sydtest
     , hashable >=1.2
     , sydtest
@@ -53,7 +56,7 @@
   build-depends:
       QuickCheck
     , base >=4.9 && <5
-    , genvalidity >=0.7
+    , genvalidity
     , genvalidity-sydtest
     , genvalidity-sydtest-hashable
     , hashable
diff --git a/src/Test/Syd/Validity/Hashable.hs b/src/Test/Syd/Validity/Hashable.hs
--- a/src/Test/Syd/Validity/Hashable.hs
+++ b/src/Test/Syd/Validity/Hashable.hs
@@ -7,9 +7,7 @@
 --
 -- You will need @TypeApplications@ to use these.
 module Test.Syd.Validity.Hashable
-  ( hashableSpecOnValid,
-    hashableSpecOnInvalid,
-    hashableSpec,
+  ( hashableSpec,
     hashableSpecOnArbitrary,
     hashableSpecOnGen,
   )
@@ -28,34 +26,12 @@
 --
 -- Example usage:
 --
--- > hashableSpecOnValid @Double
-hashableSpecOnValid ::
-  forall a.
-  (Show a, Eq a, Typeable a, GenValid a, Hashable a) =>
-  Spec
-hashableSpecOnValid = hashableSpecOnGen @a genValid "valid" shrinkValid
-
--- | Standard test spec for properties of Hashable instances for invalid values
---
--- Example usage:
---
--- > hashableSpecOnInvalid @Double
-hashableSpecOnInvalid ::
-  forall a.
-  (Show a, Eq a, Typeable a, GenInvalid a, Hashable a) =>
-  Spec
-hashableSpecOnInvalid = hashableSpecOnGen @a genInvalid "invalid" shrinkInvalid
-
--- | Standard test spec for properties of Hashable instances for unchecked values
---
--- Example usage:
---
 -- > hashableSpec @Int
 hashableSpec ::
   forall a.
-  (Show a, Eq a, Typeable a, GenUnchecked a, Hashable a) =>
+  (Show a, Eq a, Typeable a, GenValid a, Hashable a) =>
   Spec
-hashableSpec = hashableSpecOnGen @a genUnchecked "unchecked" shrinkUnchecked
+hashableSpec = hashableSpecOnGen @a genValid "valid" shrinkValid
 
 -- | Standard test spec for properties of Hashable instances for arbitrary values
 --
diff --git a/test/Test/Syd/Validity/HashableSpec.hs b/test/Test/Syd/Validity/HashableSpec.hs
--- a/test/Test/Syd/Validity/HashableSpec.hs
+++ b/test/Test/Syd/Validity/HashableSpec.hs
@@ -1,4 +1,3 @@
-{-# LANGUAGE CPP #-}
 {-# LANGUAGE DeriveGeneric #-}
 {-# LANGUAGE TypeApplications #-}
 
@@ -12,10 +11,8 @@
 
 spec :: Spec
 spec = do
-  hashableSpecOnValid @Rational
-#if MIN_VERSION_hashable(1,3,0)
-  hashableSpecOnValid @Double
-#endif
+  hashableSpec @Rational
+  hashableSpec @Double
   hashableSpec @Int
   hashableSpecOnArbitrary @Int
   hashableSpec @HashableValid
@@ -40,8 +37,6 @@
 
 instance GenValid HashableValid
 
-instance GenUnchecked HashableValid
-
 newtype HashableInvalid
   = HashableInvalid Int
   deriving (Show, Generic)
@@ -64,5 +59,3 @@
 instance Validity HashableInvalid
 
 instance GenValid HashableInvalid
-
-instance GenUnchecked HashableInvalid