Skip to content

Commit

Permalink
bump tasty revision
Browse files Browse the repository at this point in the history
  • Loading branch information
@danmatichuk
danmatichuk committed Nov 10, 2023
1 parent c404577 commit 42fa601
Show file tree
Hide file tree
Showing 4 changed files with 42 additions and 17 deletions.
25 changes: 17 additions & 8 deletions cabal.GHC-9.0.2.freeze
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,10 +15,10 @@ constraints: any.BoundedChan ==1.0.3.0,
any.aeson ==2.1.2.1,
aeson -cffi +ordered-keymap,
any.alex ==3.4.0.1,
any.ansi-terminal ==1.0,
ansi-terminal -example,
any.ansi-terminal ==0.11.5,
ansi-terminal -example +win32-2-13-1,
any.ansi-terminal-types ==0.11.5,
any.ansi-wl-pprint ==1.0.2,
any.ansi-wl-pprint ==0.6.9,
ansi-wl-pprint -example,
any.array ==0.5.4.0,
asl-translator -asl-lite +unsafe-operations,
Expand Down Expand Up @@ -106,6 +106,8 @@ constraints: any.BoundedChan ==1.0.3.0,
any.foldable1-classes-compat ==0.1,
foldable1-classes-compat +tagged,
any.free ==5.2,
any.generic-deriving ==1.14.5,
generic-deriving +base-4-9,
any.generically ==0.1.1,
any.ghc ==9.0.2,
any.ghc-bignum ==1.1,
Expand All @@ -122,7 +124,9 @@ constraints: any.BoundedChan ==1.0.3.0,
any.hashtables ==1.2.4.2,
hashtables -bounds-checking -debug -detailed-profiling -portable -sse42 +unsafe-tricks,
any.haskell-lexer ==1.1.1,
any.hedgehog ==1.4,
any.hedgehog ==1.2,
any.hedgehog-classes ==0.2.5.4,
hedgehog-classes +aeson +comonad +primitive +semirings +vector,
any.hpc ==0.6.1.0,
any.hsc2hs ==0.68.10,
hsc2hs -in-ghc-tree,
Expand All @@ -146,6 +150,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.json ==0.11,
json +generic -mapdict +parsec +pretty +split-base,
any.kan-extensions ==5.2.5,
any.kvitable ==1.0.2.1,
any.language-c ==0.9.2,
language-c -allwarnings +iecfpextension +usebytestrings,
any.lens ==5.1.1,
Expand All @@ -158,6 +163,7 @@ constraints: any.BoundedChan ==1.0.3.0,
llvm-pretty-bc-parser -fuzz,
any.located-base ==0.1.1.1,
any.logict ==0.7.0.3,
any.lucid ==2.11.20230408,
any.lumberjack ==1.0.3.0,
any.math-functions ==0.3.4.3,
math-functions +system-erf +system-expm1,
Expand All @@ -174,7 +180,7 @@ constraints: any.BoundedChan ==1.0.3.0,
network -devel,
any.network-uri ==2.6.4.2,
any.old-locale ==1.0.0.7,
any.optparse-applicative ==0.18.1.0,
any.optparse-applicative ==0.16.1.0,
optparse-applicative +process,
any.ordered-containers ==0.2.3,
any.panic ==0.4.0.1,
Expand All @@ -189,7 +195,6 @@ constraints: any.BoundedChan ==1.0.3.0,
any.prettyprinter ==1.7.1,
prettyprinter -buildreadme +text,
any.prettyprinter-ansi-terminal ==1.1.3,
any.prettyprinter-compat-ansi-wl-pprint ==1.0.2,
any.primitive ==0.8.0.0,
any.process ==1.6.13.2,
any.profunctors ==5.6.2,
Expand Down Expand Up @@ -220,6 +225,9 @@ constraints: any.BoundedChan ==1.0.3.0,
semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
any.semigroups ==0.20,
semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
any.semirings ==0.6,
semirings +containers +unordered-containers,
any.silently ==1.2.5.3,
any.smallcheck ==1.2.1.1,
any.snap-core ==1.0.5.1,
snap-core -debug +network-uri -portable,
Expand All @@ -239,14 +247,15 @@ constraints: any.BoundedChan ==1.0.3.0,
tagged +deepseq +transformers,
any.tasty ==1.5,
tasty +unix,
any.tasty-ant-xml ==1.1.9,
any.tasty-checklist ==1.0.6.0,
any.tasty-expected-failure ==0.12.3,
any.tasty-hedgehog ==1.4.0.2,
any.tasty-hedgehog ==1.4.0.1,
any.tasty-hspec ==1.2.0.4,
any.tasty-hunit ==0.10.1,
any.tasty-quickcheck ==0.10.3,
any.tasty-smallcheck ==0.8.2,
any.tasty-sugar ==1.1.0.0,
any.tasty-sugar ==1.1.1.0,
any.template-haskell ==2.17.0.0,
any.temporary ==1.3,
any.terminal-size ==0.3.4,
Expand Down
25 changes: 17 additions & 8 deletions cabal.GHC-9.2.8.freeze
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,10 +15,10 @@ constraints: any.BoundedChan ==1.0.3.0,
any.aeson ==2.1.2.1,
aeson -cffi +ordered-keymap,
any.alex ==3.4.0.1,
any.ansi-terminal ==1.0,
ansi-terminal -example,
any.ansi-terminal ==0.11.5,
ansi-terminal -example +win32-2-13-1,
any.ansi-terminal-types ==0.11.5,
any.ansi-wl-pprint ==1.0.2,
any.ansi-wl-pprint ==0.6.9,
ansi-wl-pprint -example,
any.array ==0.5.4.0,
asl-translator -asl-lite +unsafe-operations,
Expand Down Expand Up @@ -106,6 +106,8 @@ constraints: any.BoundedChan ==1.0.3.0,
any.foldable1-classes-compat ==0.1,
foldable1-classes-compat +tagged,
any.free ==5.2,
any.generic-deriving ==1.14.5,
generic-deriving +base-4-9,
any.generically ==0.1.1,
any.ghc ==9.2.8,
any.ghc-bignum ==1.2,
Expand All @@ -122,7 +124,9 @@ constraints: any.BoundedChan ==1.0.3.0,
any.hashtables ==1.2.4.2,
hashtables -bounds-checking -debug -detailed-profiling -portable -sse42 +unsafe-tricks,
any.haskell-lexer ==1.1.1,
any.hedgehog ==1.4,
any.hedgehog ==1.2,
any.hedgehog-classes ==0.2.5.4,
hedgehog-classes +aeson +comonad +primitive +semirings +vector,
any.hpc ==0.6.1.0,
any.hsc2hs ==0.68.10,
hsc2hs -in-ghc-tree,
Expand All @@ -146,6 +150,7 @@ constraints: any.BoundedChan ==1.0.3.0,
any.json ==0.11,
json +generic -mapdict +parsec +pretty +split-base,
any.kan-extensions ==5.2.5,
any.kvitable ==1.0.2.1,
any.language-c ==0.9.2,
language-c -allwarnings +iecfpextension +usebytestrings,
any.lens ==5.1.1,
Expand All @@ -158,6 +163,7 @@ constraints: any.BoundedChan ==1.0.3.0,
llvm-pretty-bc-parser -fuzz,
any.located-base ==0.1.1.1,
any.logict ==0.7.0.3,
any.lucid ==2.11.20230408,
any.lumberjack ==1.0.3.0,
any.math-functions ==0.3.4.3,
math-functions +system-erf +system-expm1,
Expand All @@ -174,7 +180,7 @@ constraints: any.BoundedChan ==1.0.3.0,
network -devel,
any.network-uri ==2.6.4.2,
any.old-locale ==1.0.0.7,
any.optparse-applicative ==0.18.1.0,
any.optparse-applicative ==0.16.1.0,
optparse-applicative +process,
any.ordered-containers ==0.2.3,
any.panic ==0.4.0.1,
Expand All @@ -189,7 +195,6 @@ constraints: any.BoundedChan ==1.0.3.0,
any.prettyprinter ==1.7.1,
prettyprinter -buildreadme +text,
any.prettyprinter-ansi-terminal ==1.1.3,
any.prettyprinter-compat-ansi-wl-pprint ==1.0.2,
any.primitive ==0.8.0.0,
any.process ==1.6.16.0,
any.profunctors ==5.6.2,
Expand Down Expand Up @@ -220,6 +225,9 @@ constraints: any.BoundedChan ==1.0.3.0,
semigroupoids +comonad +containers +contravariant +distributive +tagged +unordered-containers,
any.semigroups ==0.20,
semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +template-haskell +text +transformers +unordered-containers,
any.semirings ==0.6,
semirings +containers +unordered-containers,
any.silently ==1.2.5.3,
any.smallcheck ==1.2.1.1,
any.snap-core ==1.0.5.1,
snap-core -debug +network-uri -portable,
Expand All @@ -239,14 +247,15 @@ constraints: any.BoundedChan ==1.0.3.0,
tagged +deepseq +transformers,
any.tasty ==1.5,
tasty +unix,
any.tasty-ant-xml ==1.1.9,
any.tasty-checklist ==1.0.6.0,
any.tasty-expected-failure ==0.12.3,
any.tasty-hedgehog ==1.4.0.2,
any.tasty-hedgehog ==1.4.0.1,
any.tasty-hspec ==1.2.0.4,
any.tasty-hunit ==0.10.1,
any.tasty-quickcheck ==0.10.3,
any.tasty-smallcheck ==0.8.2,
any.tasty-sugar ==1.1.0.0,
any.tasty-sugar ==1.1.1.0,
any.template-haskell ==2.18.0.0,
any.temporary ==1.3,
any.terminal-size ==0.3.4,
Expand Down
4 changes: 4 additions & 0 deletions cabal.project.dist
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@ packages: .
submodules/dwarf
submodules/flexdis86
submodules/flexdis86/binary-symbols
submodules/demangler
submodules/dismantle/dismantle-tablegen
submodules/dismantle/dismantle-ppc
submodules/dismantle/dismantle-arm-xml
Expand All @@ -33,3 +34,6 @@ packages: .
submodules/macaw-loader/macaw-loader-x86
submodules/macaw-loader/macaw-loader-ppc
submodules/macaw-loader/macaw-loader-aarch32

allow-newer: what4, IntervalMap, aeson, tasty
constraints: IntervalMap >= 0.6.2.1
5 changes: 4 additions & 1 deletion pate.cabal
View file
Original file line number Diff line number Diff line change
Expand Up @@ -55,6 +55,7 @@ common shared
split >= 0.2,
parameterized-utils,
what4 >= 1 && < 2,
what4-serialize,
crucible,
crucible-llvm,
macaw-base,
Expand All @@ -63,6 +64,8 @@ common shared
unliftio-core >= 0.2 && < 0.3,
unliftio >= 0.2 && < 0.3,
unordered-containers,
ordered-containers,
itanium-abi,
semmc,
text >= 1 && < 1.3,
tomland >= 1.3 && < 1.4,
Expand Down Expand Up @@ -188,7 +191,7 @@ common shared-test
crucible-llvm,
mtl,
parameterized-utils,
tasty < 1.3.1,
tasty >= 1.5 && < 1.6,
tasty-hunit,
tasty-expected-failure >= 0.12,
text,
Expand Down

0 comments on commit 42fa601

Please sign in to comment.