dev-haskell/sbv
SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
Screenshots
View
Download
BrowseChangeLog
commit c1d1ab135e7d4c3de68869388ff96abf77f868e5
Author: hololeap <hololeap@protonmail.com>
Date: Tue Mar 5 19:25:37 2024 -0700
*/*: Switch to EAPI 8
Signed-off-by: hololeap <hololeap@protonmail.com>
commit 22e5b8686be42adb5f21c274d9ca885a0f36a696
Author: hololeap <hololeap@protonmail.com>
Date: Tue Nov 21 09:30:31 2023 -0700
*/*: un-slot dep on dev-haskell/quickcheck
Fixup for 570c8a553a60a54456b3fdeb56b746b4fd1ab329
Signed-off-by: hololeap <hololeap@protonmail.com>
commit db98782e890b3cebf75a19b2da3a1bdcbee17fa4
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 12 06:28:08 2023 -0600
*/*: Remove [profile?] from ghc RDEPEND
This reverts commit b2f01bbf1333c88785109bebf75d49a3bd623727.
Adding [profile?] universally causes issues with exe-only packages with
no profile USE flag. This is better handled in the eclass.
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit a2f524e74d7e5e5000c1d057a74dcd7f4af7b43c
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sat May 6 17:04:20 2023 -0600
*/*: Remove ~x86 (and related) from KEYWORDS
x86 is mostly untested, and even building a subset of ::haskell
revealed failing tests which pass on amd64.
With the new behavior of hackport to only add ARCH to KEYWORDS, there
will be CI failures if a package has ~x86 removed but not from its
revdep tree as well. The only sensible mitigation is to remove ~x86
tree-wide until we have a dedicated tester willing to fix current bugs.
See: https://github.com/snoyberg/mono-traversable/issues/210
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit b2f01bbf1333c88785109bebf75d49a3bd623727
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 5 15:53:40 2023 -0600
*/*: Add [profile?] to ghc RDEPEND
Any package that depends on 'base' will require the 'base' profiling
libs when profiling is enabled. Because virtually every package depends
on 'base', it makes sense to add [profile?] universally to
'dev-lang/ghc' in RDEPEND.
Reported-by: Filip Kszczot <filip@kszczot.pl>
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 9672ee12c9c489f9e5bfdee329a4e6aed692fe4d
Author: Sam James <sam@gentoo.org>
Date: Sat Jul 30 06:55:18 2022 +0100
*/*: fix https->https in metadatd dtd
Newer hackport fixes this (in git, not tagged yet).
Signed-off-by: Sam James <sam@gentoo.org>
commit f8b4083d663a96ddfb2de688e4e2e9b3a970dafc
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Sep 8 23:25:02 2020 +0100
dev-haskell/sbv: RESTRICT=test
Tests seem to fail consistently:
SBVConnections: Unable to locate executable for ABC
Perhaps a missing dependency.
Package-Manager: Portage-3.0.5, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 8d586ef5cb9c646e3e810d27a993f3cf7e5ce8a0
Author: Jack Todaro <solpeth@posteo.org>
Date: Sun Sep 6 10:12:42 2020 +1000
dev-haskell/sbv: remove old
Package-Manager: Portage-3.0.5, Repoman-3.0.1
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit e98dbd538df62be00e7189e5248a1a1695d0ae3f
Author: Jack Todaro <solpeth@posteo.org>
Date: Sun Sep 6 10:11:36 2020 +1000
dev-haskell/sbv: bump up to 8.8
Package-Manager: Portage-3.0.5, Repoman-3.0.1
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit 1ba3370da0890d630bdcaaf9119941b2e63a8358
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Fri Feb 21 16:47:32 2020 -0330
dev-haskell/sbv: bump up to 8.6
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit 14d80cabfd2741059139f77f68396a82c3532d59
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Fri Jan 24 23:47:45 2020 -0500
dev-haskell/sbv: bump up to 8.5
Package-Manager: Portage-2.3.79, Repoman-2.3.16
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit 3d16013c65cc8986c7537d76ed3a2855e978d057
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Nov 23 15:39:53 2019 +0000
*/*: Inline mirror://hackage and update URIs
Follow ::gentoo commit 2a2e66a9407205f18
("*/*: Inline mirror://hackage and update URIs ")
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 3262e5932757751d5c492bf59f79f56ec1c712e4
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Sat Nov 16 14:49:40 2019 -0500
dev-haskell/sbv: drop old
Keep last: 8.1
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit f4e3fcde11b22be71acaa39bb13990c2d9fbed23
Author: Jack Todaro <jackmtodaro@gmail.com>
Date: Mon Mar 11 20:50:25 2019 +1100
dev-haskell/sbv: bump up to 8.1
Package-Manager: Portage-2.3.62, Repoman-2.3.12
Signed-off-by: Jack Todaro <jackmtodaro@gmail.com>
commit 491a3df52eee187f1864dc2a379a63820ef9e1b7
Author: Jack Todaro <jackmtodaro@gmail.com>
Date: Mon Sep 24 22:55:44 2018 +1000
dev-haskell/sbv: bump up to 7.12
Package-Manager: Portage-2.3.50, Repoman-2.3.11
commit 6f72db699f92eec2620723cf3eed99021383f657
Author: Jack Todaro <jackmtodaro@gmail.com>
Date: Sat Sep 22 10:54:15 2018 +1000
dev-haskell/sbv: bump up to 7.11
Package-Manager: Portage-2.3.49, Repoman-2.3.10
commit 0b57b92425c17fca28c8f261b614d0e782a1b3d4
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Aug 27 16:50:34 2018 +0100
dev-haskell/sbv: tweak for ghc-8.4
Package-Manager: Portage-2.3.48, Repoman-2.3.10
commit 2a94f64d40e69b69ddfa1b5da7906d17009e5e6f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Nov 24 09:25:20 2017 +0000
refresh Manifests
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 1a6ba469382ab24f8b77b4ff3b043b6e2ed68306
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 28 21:38:05 2017 +0000
follow ::gentoo in removing '# $Id$' headers
Done as
$ sed -i */*/*.ebuild -e '/^# \$Id\$$/d'
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 14bc779641a5faf906ca16e52c829cd1d50470c6
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Nov 13 22:38:38 2016 +0000
dev-haskell/sbv: bump up to 5.13
Package-Manager: portage-2.3.2
commit e52aba6e72a93c0bc36b54f5e9d8c18feea0932a
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jun 26 13:51:24 2016 +0100
dev-haskell/sbv: bump up to 5.12
Package-Manager: portage-2.3.0
commit 9071ff6466b25948ff69cbcf6c65952e8884281e
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Mar 6 15:50:46 2016 +0000
dev-haskell/sbv: added missing HUnit depend (noticed by longteng)
sbv.cabal is able to trick hackport:
Executable SBVUnitTests
if impl(ghc >= 7.10.1)
Build-depends : base >= 4.8 && < 5
, HUnit, directory, filepath, process, syb, sbv, data-binary-ieee754
else
Buildable : False
We pick ghc-7.4 as a starting point and end up in a second branch.
Package-Manager: portage-2.2.27
commit 13b3947e72d43e651c45faf5095ee6d7910ab6f4
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Feb 14 14:30:09 2016 +0000
dev-haskell/sbv: bump up to 5.11
Package-Manager: portage-2.2.27
commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500
Update metadata.xml for GLEP 67
commit bfb81841c31549519def308a0dee00ec0d0c999c
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jan 10 12:13:21 2016 +0000
dev-haskell/sbv: bump up to 5.9
Package-Manager: portage-2.2.26
commit 71b0bea31aa508a16dcfd54ccc435a28537d7400
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Oct 9 20:19:04 2015 +0100
Revert "dev-haskell/sbv: bump up to 5.0"
This reverts commit ae5b84253549d8bb66c6db62ecf6dd9f53b1bf54.
Current cruptol does not support sbv-5.0.
commit ae5b84253549d8bb66c6db62ecf6dd9f53b1bf54
Author: Sergei Trofimovich <siarheit@google.com>
Date: Wed Sep 30 22:13:16 2015 +0100
dev-haskell/sbv: bump up to 5.0
Package-Manager: portage-2.2.22
commit b9c11d9d44644f6a277de1f7af562de56e786675
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Aug 9 10:37:52 2015 +0100
convert '# $Header: ' lines to '# $Id$'
The change was adopted when ::gentoo switched to git.
https://github.com/trofi/gentoo-qa/blob/master/check_header.sh
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 3badb7cea4998bd2eb85271aa99fa0a35df57a1f
Author: Alexander Vershilov <qnikst@gentoo.org>
Date: Tue Apr 28 18:32:57 2015 +0300
dev-haskell/sbv: bump up to 4.4
Package-Manager: portage-2.2.18
commit 0d68f741e9bbd27d72c01c7719b415fd8b49447a
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Mar 29 20:15:45 2015 +0100
dev-haskell/sbv: new package (dep for cryptol-2.2)
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
Author: hololeap <hololeap@protonmail.com>
Date: Tue Mar 5 19:25:37 2024 -0700
*/*: Switch to EAPI 8
Signed-off-by: hololeap <hololeap@protonmail.com>
commit 22e5b8686be42adb5f21c274d9ca885a0f36a696
Author: hololeap <hololeap@protonmail.com>
Date: Tue Nov 21 09:30:31 2023 -0700
*/*: un-slot dep on dev-haskell/quickcheck
Fixup for 570c8a553a60a54456b3fdeb56b746b4fd1ab329
Signed-off-by: hololeap <hololeap@protonmail.com>
commit db98782e890b3cebf75a19b2da3a1bdcbee17fa4
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 12 06:28:08 2023 -0600
*/*: Remove [profile?] from ghc RDEPEND
This reverts commit b2f01bbf1333c88785109bebf75d49a3bd623727.
Adding [profile?] universally causes issues with exe-only packages with
no profile USE flag. This is better handled in the eclass.
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit a2f524e74d7e5e5000c1d057a74dcd7f4af7b43c
Author: hololeap <hololeap@users.noreply.github.com>
Date: Sat May 6 17:04:20 2023 -0600
*/*: Remove ~x86 (and related) from KEYWORDS
x86 is mostly untested, and even building a subset of ::haskell
revealed failing tests which pass on amd64.
With the new behavior of hackport to only add ARCH to KEYWORDS, there
will be CI failures if a package has ~x86 removed but not from its
revdep tree as well. The only sensible mitigation is to remove ~x86
tree-wide until we have a dedicated tester willing to fix current bugs.
See: https://github.com/snoyberg/mono-traversable/issues/210
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit b2f01bbf1333c88785109bebf75d49a3bd623727
Author: hololeap <hololeap@users.noreply.github.com>
Date: Fri May 5 15:53:40 2023 -0600
*/*: Add [profile?] to ghc RDEPEND
Any package that depends on 'base' will require the 'base' profiling
libs when profiling is enabled. Because virtually every package depends
on 'base', it makes sense to add [profile?] universally to
'dev-lang/ghc' in RDEPEND.
Reported-by: Filip Kszczot <filip@kszczot.pl>
Signed-off-by: hololeap <hololeap@users.noreply.github.com>
commit 9672ee12c9c489f9e5bfdee329a4e6aed692fe4d
Author: Sam James <sam@gentoo.org>
Date: Sat Jul 30 06:55:18 2022 +0100
*/*: fix https->https in metadatd dtd
Newer hackport fixes this (in git, not tagged yet).
Signed-off-by: Sam James <sam@gentoo.org>
commit f8b4083d663a96ddfb2de688e4e2e9b3a970dafc
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Sep 8 23:25:02 2020 +0100
dev-haskell/sbv: RESTRICT=test
Tests seem to fail consistently:
SBVConnections: Unable to locate executable for ABC
Perhaps a missing dependency.
Package-Manager: Portage-3.0.5, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 8d586ef5cb9c646e3e810d27a993f3cf7e5ce8a0
Author: Jack Todaro <solpeth@posteo.org>
Date: Sun Sep 6 10:12:42 2020 +1000
dev-haskell/sbv: remove old
Package-Manager: Portage-3.0.5, Repoman-3.0.1
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit e98dbd538df62be00e7189e5248a1a1695d0ae3f
Author: Jack Todaro <solpeth@posteo.org>
Date: Sun Sep 6 10:11:36 2020 +1000
dev-haskell/sbv: bump up to 8.8
Package-Manager: Portage-3.0.5, Repoman-3.0.1
Signed-off-by: Jack Todaro <solpeth@posteo.org>
commit 1ba3370da0890d630bdcaaf9119941b2e63a8358
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Fri Feb 21 16:47:32 2020 -0330
dev-haskell/sbv: bump up to 8.6
Package-Manager: Portage-2.3.84, Repoman-2.3.20
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit 14d80cabfd2741059139f77f68396a82c3532d59
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Fri Jan 24 23:47:45 2020 -0500
dev-haskell/sbv: bump up to 8.5
Package-Manager: Portage-2.3.79, Repoman-2.3.16
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit 3d16013c65cc8986c7537d76ed3a2855e978d057
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Sat Nov 23 15:39:53 2019 +0000
*/*: Inline mirror://hackage and update URIs
Follow ::gentoo commit 2a2e66a9407205f18
("*/*: Inline mirror://hackage and update URIs ")
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 3262e5932757751d5c492bf59f79f56ec1c712e4
Author: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
Date: Sat Nov 16 14:49:40 2019 -0500
dev-haskell/sbv: drop old
Keep last: 8.1
Signed-off-by: Philippe Baril Lecavalier <pbl.ltx@gmail.com>
commit f4e3fcde11b22be71acaa39bb13990c2d9fbed23
Author: Jack Todaro <jackmtodaro@gmail.com>
Date: Mon Mar 11 20:50:25 2019 +1100
dev-haskell/sbv: bump up to 8.1
Package-Manager: Portage-2.3.62, Repoman-2.3.12
Signed-off-by: Jack Todaro <jackmtodaro@gmail.com>
commit 491a3df52eee187f1864dc2a379a63820ef9e1b7
Author: Jack Todaro <jackmtodaro@gmail.com>
Date: Mon Sep 24 22:55:44 2018 +1000
dev-haskell/sbv: bump up to 7.12
Package-Manager: Portage-2.3.50, Repoman-2.3.11
commit 6f72db699f92eec2620723cf3eed99021383f657
Author: Jack Todaro <jackmtodaro@gmail.com>
Date: Sat Sep 22 10:54:15 2018 +1000
dev-haskell/sbv: bump up to 7.11
Package-Manager: Portage-2.3.49, Repoman-2.3.10
commit 0b57b92425c17fca28c8f261b614d0e782a1b3d4
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Mon Aug 27 16:50:34 2018 +0100
dev-haskell/sbv: tweak for ghc-8.4
Package-Manager: Portage-2.3.48, Repoman-2.3.10
commit 2a94f64d40e69b69ddfa1b5da7906d17009e5e6f
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Fri Nov 24 09:25:20 2017 +0000
refresh Manifests
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 1a6ba469382ab24f8b77b4ff3b043b6e2ed68306
Author: Sergei Trofimovich <slyfox@gentoo.org>
Date: Tue Feb 28 21:38:05 2017 +0000
follow ::gentoo in removing '# $Id$' headers
Done as
$ sed -i */*/*.ebuild -e '/^# \$Id\$$/d'
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
commit 14bc779641a5faf906ca16e52c829cd1d50470c6
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Nov 13 22:38:38 2016 +0000
dev-haskell/sbv: bump up to 5.13
Package-Manager: portage-2.3.2
commit e52aba6e72a93c0bc36b54f5e9d8c18feea0932a
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jun 26 13:51:24 2016 +0100
dev-haskell/sbv: bump up to 5.12
Package-Manager: portage-2.3.0
commit 9071ff6466b25948ff69cbcf6c65952e8884281e
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Mar 6 15:50:46 2016 +0000
dev-haskell/sbv: added missing HUnit depend (noticed by longteng)
sbv.cabal is able to trick hackport:
Executable SBVUnitTests
if impl(ghc >= 7.10.1)
Build-depends : base >= 4.8 && < 5
, HUnit, directory, filepath, process, syb, sbv, data-binary-ieee754
else
Buildable : False
We pick ghc-7.4 as a starting point and end up in a second branch.
Package-Manager: portage-2.2.27
commit 13b3947e72d43e651c45faf5095ee6d7910ab6f4
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Feb 14 14:30:09 2016 +0000
dev-haskell/sbv: bump up to 5.11
Package-Manager: portage-2.2.27
commit aa19eeb10bc2eb3e09f93fa8a102c322742943e4
Author: Vikraman Choudhury <vikraman@gentoo.org>
Date: Tue Jan 26 14:19:48 2016 -0500
Update metadata.xml for GLEP 67
commit bfb81841c31549519def308a0dee00ec0d0c999c
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Jan 10 12:13:21 2016 +0000
dev-haskell/sbv: bump up to 5.9
Package-Manager: portage-2.2.26
commit 71b0bea31aa508a16dcfd54ccc435a28537d7400
Author: Sergei Trofimovich <siarheit@google.com>
Date: Fri Oct 9 20:19:04 2015 +0100
Revert "dev-haskell/sbv: bump up to 5.0"
This reverts commit ae5b84253549d8bb66c6db62ecf6dd9f53b1bf54.
Current cruptol does not support sbv-5.0.
commit ae5b84253549d8bb66c6db62ecf6dd9f53b1bf54
Author: Sergei Trofimovich <siarheit@google.com>
Date: Wed Sep 30 22:13:16 2015 +0100
dev-haskell/sbv: bump up to 5.0
Package-Manager: portage-2.2.22
commit b9c11d9d44644f6a277de1f7af562de56e786675
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Aug 9 10:37:52 2015 +0100
convert '# $Header: ' lines to '# $Id$'
The change was adopted when ::gentoo switched to git.
https://github.com/trofi/gentoo-qa/blob/master/check_header.sh
Signed-off-by: Sergei Trofimovich <siarheit@google.com>
commit 3badb7cea4998bd2eb85271aa99fa0a35df57a1f
Author: Alexander Vershilov <qnikst@gentoo.org>
Date: Tue Apr 28 18:32:57 2015 +0300
dev-haskell/sbv: bump up to 4.4
Package-Manager: portage-2.2.18
commit 0d68f741e9bbd27d72c01c7719b415fd8b49447a
Author: Sergei Trofimovich <siarheit@google.com>
Date: Sun Mar 29 20:15:45 2015 +0100
dev-haskell/sbv: new package (dep for cryptol-2.2)
Signed-off-by: Sergei Trofimovich <siarheit@google.com>