input-output-hk · ch1bo · Mar 12, 2025 · Mar 12, 2025
diff --git a/README.md b/README.md
@@ -7,10 +7,6 @@
 
 A library for testing stateful programs using [QuickCheck](https://hackage.haskell.org/package/QuickCheck) and [dynamic logic](https://en.wikipedia.org/wiki/Dynamic_logic_(modal_logic)).
 
-This repository hosts:
-* The core [quickcheck-dynamic](./quickcheck-dynamic) library providing tools for quickchecking stateful models,
-* Example of integrating [io-sim](https://github.com/input-output-hk/io-sim)'s Haskell runtime simulator and _quickcheck-dynamic_ to model and test complex multi-threaded application.
-
 ## Documentation
 
 * The original stateful testing approach is described in John Hughes' research paper: [https://www.cs.tufts.edu/~nr/cs257/archive/john-hughes/quviq-testing.pdf ](https://publications.lib.chalmers.se/records/fulltext/232550/local_232550.pdf)

diff --git a/cabal.project b/cabal.project
@@ -1,10 +1,6 @@
 packages:
   quickcheck-dynamic
-  quickcheck-dynamic-iosim
 
 tests: true
 
 test-show-details: direct
-
-allow-newer:
-  text
diff --git a/quickcheck-dynamic-iosim/LICENSE b/quickcheck-dynamic-iosim/LICENSE
diff --git a/quickcheck-dynamic-iosim/NOTICE b/quickcheck-dynamic-iosim/NOTICE
diff --git a/quickcheck-dynamic-iosim/README.md b/quickcheck-dynamic-iosim/README.md
diff --git a/quickcheck-dynamic-iosim/quickcheck-dynamic-iosim.cabal b/quickcheck-dynamic-iosim/quickcheck-dynamic-iosim.cabal
diff --git a/quickcheck-dynamic-iosim/src/Test/QuickCheck/StateModel/IOSim.hs b/quickcheck-dynamic-iosim/src/Test/QuickCheck/StateModel/IOSim.hs