hashirama/ajattix
hashirama/ajattix
Watch
2
1
Fork
You've already forked ajattix
 1
Code Issues 1 Pull requests Projects Releases Wiki Activity

pre-liquidhaskell: liquid-fixpoint works

Browse source
This commit is contained in:
千住柱間 2025-10-26 19:40:57 -04:00
commit d2ea817ad1
Signed by: hashirama
GPG key ID: 53E62470A86BC185
1 changed files with 46 additions and 88 deletions
Download patch file Download diff file Expand all files Collapse all files

134
ajatt/packages/haskell.scm
View file

@ -2249,6 +2249,42 @@ time-domain programming with streaming * Unifies binary serialization and
unboxed arrays * Interworks with other streaming libraries.")
(license license:bsd-3)))
(define-public ghc-time
(package
(name "ghc-time")
(version "1.12")
(source
(origin
(method url-fetch)
(uri (hackage-uri "time" version))
(sha256
(base32 "0xavlg1lsq0fip6mwvphr4xz2iykys4wsn468hr8qdg6xqab0x0b"))))
(build-system haskell-build-system)
(properties '((upstream-name . "time")))
(native-inputs (list ghc-random
ghc-quickcheck
ghc-tasty
ghc-tasty-hunit
ghc-tasty-quickcheck
ghc-random
ghc-quickcheck
ghc-tasty
ghc-tasty-hunit
ghc-tasty-quickcheck
ghc-random
ghc-quickcheck
ghc-tasty
ghc-tasty-hunit
ghc-tasty-quickcheck))
(home-page "https://github.com/haskell/time")
(synopsis "A time library")
(description "Time, clocks and calendars.")
(license #f)))
(define-public ghc-hint
(package
(name "ghc-hint")
@ -2280,13 +2316,13 @@ GHC API wrapped in a simpler API.")
(define-public ghc-quickcheck
(package
(name "ghc-quickcheck")
(version "2.17.1.0")
(version "2.16.0.0")
(source
(origin
(method url-fetch)
(uri (hackage-uri "QuickCheck" version))
(sha256
(base32 "0dvrgc666jik35x6linmzn03k6sgr5b9a1ai8wplv7b2ai7l6c08"))))
(base32 "1h02m26hvhfcs82rrfmfznwh4vj799gn55kysmv3sr8ixak3ymhb"))))
(build-system haskell-build-system)
(properties '((upstream-name . "QuickCheck")))
(inputs (list ghc-random ghc-splitmix ghc-data-array-byte))
@ -2321,13 +2357,13 @@ the cost of additional dependencies.")
(define-public ghc-primitive
(package
(name "ghc-primitive")
(version "0.9.1.0")
(version "0.7.3.0")
(source
(origin
(method url-fetch)
(uri (hackage-uri "primitive" version))
(sha256
(base32 "0xixplp2b5sh2sx6hqllhr8bcsd028v7ry2pibdwayrwh50xxd24"))))
(base32 "1p01fmw8yi578rvwicrlpbfkbfsv7fbnzb88a7vggrhygykgs31w"))))
(build-system haskell-build-system)
(properties '((upstream-name . "primitive")))
(inputs (list ghc-data-array-byte))
@ -2645,83 +2681,6 @@ Haskell.")
(license license:isc)))
(define-public ghc-time
(package
(name "ghc-time")
(version "1.9.3")
(source
(origin
(method url-fetch)
(uri (hackage-uri "time" version))
(sha256
(base32 "0632fg4n4psg4b756fhs6cq0yspyb6k5n3nvpql6bycsbj7i78jg"))))
(build-system haskell-build-system)
(properties '((upstream-name . "time")))
(native-inputs (list ghc-random
ghc-quickcheck
ghc-tasty
ghc-tasty-hunit
ghc-tasty-quickcheck
ghc-random
ghc-quickcheck
ghc-tasty
ghc-tasty-hunit
ghc-tasty-quickcheck
ghc-random
ghc-quickcheck
ghc-tasty
ghc-tasty-hunit
ghc-tasty-quickcheck))
(home-page "https://github.com/haskell/time")
(synopsis "A time library")
(description "Time, clocks and calendars.")
(license #f)))
(define-public ghc-hashable
(package
(name "ghc-hashable")
(version "1.3.3.0")
(source
(origin
(method url-fetch)
(uri (hackage-uri "hashable" version))
(sha256
(base32 "1p45rck6avm0ng963mmhphhwjljv9wcb7r2171cnka5nizjpi9cr"))))
(build-system haskell-build-system)
(properties '((upstream-name . "hashable")))
(inputs (list ghc-os-string))
(native-inputs (list ghc-hunit
ghc-quickcheck
ghc-random
ghc-tasty
ghc-tasty-hunit
ghc-tasty-quickcheck
ghc-primitive
ghc-tasty
ghc-tasty-hunit
ghc-tasty-quickcheck
ghc-data-array-byte))
(arguments
`(#:cabal-revision ("1"
"1vsq3wv397lp208p7zs8fplxdix4jmv688dj4ych4983prn188rg")))
(home-page "http://github.com/haskell-unordered-containers/hashable")
(synopsis "A class for types that can be converted to a hash value")
(description
"This package defines a class, Hashable', for types that can be converted to a
hash value. This class exists for the benefit of hashing-based data structures.
The package provides instances for basic types and a way to combine hash
values. . Hashable is intended exclusively for use in in-memory data
structures. . Hashable does /not/ have a fixed standard. This allows it to
improve over time. . Because it does not have a fixed standard, different
computers or computers on different versions of the code will observe different
hash values. As such, hashable is not recommended for use other than in-memory
datastructures. Specifically, hashable is not intended for network use or in
applications which persist hashed values. For stable hashing use named hashes:
sha256, crc32, xxhash etc.")
(license license:bsd-3)))
(define-public ghc-th-orphans
(package
(name "ghc-th-orphans")
@ -2903,13 +2862,13 @@ borrows from TJ Holowaychuk's Node.JS project
(define-public ghc-rest-rewrite
(package
(name "ghc-rest-rewrite")
(version "0.1.1") ;; needs to be like this
(version "0.4.5") ;; needs to be like this
(source
(origin
(method url-fetch)
(uri (hackage-uri "rest-rewrite" version))
(sha256
(base32 "0absln2c3ia5bj473wr6lahms9x9xj6szk9lgpb9382px038wxrn"))))
(base32 "0yxg3wfwxcrg036cxqcf601vfc5472vx9zwl21y23kpx031h7ny4"))))
(build-system haskell-build-system)
(properties '((upstream-name . "rest-rewrite")))
(inputs (list ghc-hashable
@ -2923,7 +2882,7 @@ borrows from TJ Holowaychuk's Node.JS project
graphviz))
(arguments
`(#:cabal-revision ("1"
"0nzzqg9m7b01g574mm37yiqaqkff4p7hskgj98nb4v7cdp46nypb")
"15n4xgrrcxrm8wkxhi9vw1imdx1y7wifbm8l6p0b5sqp995h86fb")
#:haddock? #f))
(home-page "http://hackage.haskell.org/package/rest-rewrite")
(synopsis "Rewriting library with online termination checking")
@ -3153,8 +3112,7 @@ backend that uses inlined calls to Z3's C API.")
ghc-tasty-quickcheck
ghc-tasty-hunit))
(arguments
`(#:cabal-revision ("1"
"0ddqrx1ffihwmfw1jy9cycj253zq0f9f7n7xvwl6k07q58nadaf4")))
`(#:tests? #f))
(home-page "https://github.com/ucsd-progsys/liquid-fixpoint")
(synopsis
"Predicate Abstraction-based Horn-Clause/Implication Constraint Solver")
@ -3222,5 +3180,5 @@ rexports this plugin together with necessary specifications for definitions in
the boot libraries.")
(license license:bsd-3)))
;;ghc-liquid-fixpoint
ghc-megaparsec
ghc-liquid-fixpoint