feat: more async protocol experiments

spex-lang · Dec 12, 2024 · 9ab7f07 · 9ab7f07
1 parent b61095b
commit 9ab7f07
Show file tree

Hide file tree

Showing 3 changed files with 485 additions and 20 deletions.
diff --git a/spex.cabal b/spex.cabal
@@ -41,6 +41,7 @@ library
     Spex.Experiment.LinearTemporalLogic
     Spex.Experiment.Protocol
     Spex.Experiment.Protocol2
+    Spex.Experiment.Protocol3
     Spex.Generator.Arbitrary
     Spex.Generator.Combinator
     Spex.Generator.Prng
@@ -91,7 +92,6 @@ library
     , prettyprinter
     , random
     , template-haskell
-    , time
     , utf8-string
     , vector
     , wai
@@ -105,7 +105,9 @@ library
     , bytestring
     , containers
     , process
+    , stm
     , text
+    , time
     , transformers
 
   -- pkgconfig-depends:  zlib