Rename quickcheck model project to peras-quickcheck

input-output-hk · Feb 11, 2024 · 961c87a · 961c87a
1 parent 32b993f
commit 961c87a
Show file tree

Hide file tree

Showing 11 changed files with 3 additions and 3 deletions.
diff --git a/cabal.project b/cabal.project
@@ -17,7 +17,7 @@ index-state:
 packages:
   .
   peras-iosim
-  quickcheck-model
+  peras-quickcheck
   random-forks
   sketch
 

diff --git a/quickcheck-model/CHANGELOG.md → peras-quickcheck/CHANGELOG.md b/quickcheck-model/CHANGELOG.md → peras-quickcheck/CHANGELOG.md
diff --git a/quickcheck-model/LICENSE → peras-quickcheck/LICENSE b/quickcheck-model/LICENSE → peras-quickcheck/LICENSE
diff --git a/quickcheck-model/quickcheck-model.cabal → peras-quickcheck/peras-quickcheck.cabal b/quickcheck-model/quickcheck-model.cabal → peras-quickcheck/peras-quickcheck.cabal
@@ -11,7 +11,7 @@ cabal-version:      3.4
 --   http://haskell.org/cabal/users-guide/
 --
 -- The name of the package.
-name:               quickcheck-model
+name:               peras-quickcheck
 
 -- The package version.
 -- See the Haskell package versioning policy (PVP) for standards
@@ -120,7 +120,7 @@ test-suite quickcheck-model-test
                   , io-sim
                   , mtl
                   , quickcheck-dynamic
-                  , quickcheck-model
+                  , peras-quickcheck
                   , si-timers
 
     build-tool-depends:

diff --git a/quickcheck-model/src/Peras/Block.hs → peras-quickcheck/src/Peras/Block.hs b/quickcheck-model/src/Peras/Block.hs → peras-quickcheck/src/Peras/Block.hs
diff --git a/quickcheck-model/src/Peras/Chain.hs → peras-quickcheck/src/Peras/Chain.hs b/quickcheck-model/src/Peras/Chain.hs → peras-quickcheck/src/Peras/Chain.hs
diff --git a/quickcheck-model/src/Peras/Crypto.hs → peras-quickcheck/src/Peras/Crypto.hs b/quickcheck-model/src/Peras/Crypto.hs → peras-quickcheck/src/Peras/Crypto.hs
diff --git a/quickcheck-model/src/Peras/Message.hs → peras-quickcheck/src/Peras/Message.hs b/quickcheck-model/src/Peras/Message.hs → peras-quickcheck/src/Peras/Message.hs
diff --git a/quickcheck-model/src/Peras/Model.hs → peras-quickcheck/src/Peras/Model.hs b/quickcheck-model/src/Peras/Model.hs → peras-quickcheck/src/Peras/Model.hs
diff --git a/quickcheck-model/test/Main.hs → peras-quickcheck/test/Main.hs b/quickcheck-model/test/Main.hs → peras-quickcheck/test/Main.hs
diff --git a/quickcheck-model/test/Peras/ModelSpec.hs → peras-quickcheck/test/Peras/ModelSpec.hs b/quickcheck-model/test/Peras/ModelSpec.hs → peras-quickcheck/test/Peras/ModelSpec.hs