Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / LeventErkok/sbv issues and pull requests

#728 - Unknown constant seq.foldl when using SBV.List.all

Issue - State: open - Opened by amigalemming 10 days ago - 1 comment

#727 - Interaction performance overhead

Issue - State: open - Opened by johnbender about 1 month ago - 27 comments

#726 - Versions 10.11 and 10.12 don't build with GHC 9.4.8

Issue - State: closed - Opened by eddywestbrook about 2 months ago - 8 comments

#724 - Question: WP: `BadPrecondition` "can only happen in traceExecution"

Issue - State: closed - Opened by ocramz 3 months ago - 4 comments

#723 - Better parsing for bitwuzla output

Issue - State: closed - Opened by LeventErkok 3 months ago - 1 comment

#722 - Experimenting with data-types

Issue - State: open - Opened by LeventErkok 3 months ago
Labels: Design exploration

#721 - potential bug in wpProveWith

Issue - State: closed - Opened by ocramz 3 months ago - 2 comments

#720 - Citing sbv

Issue - State: closed - Opened by ocramz 3 months ago - 1 comment

#719 - Overlapping instance `Queriable m (t (SBV a))`

Issue - State: closed - Opened by ocramz 4 months ago - 4 comments

#718 - Fix toSFloatingPoint simplification for AlgReal.

Pull Request - State: closed - Opened by lsrcz 4 months ago - 1 comment
Labels: Bug

#717 - Fix the precisions when converting a literal FP to another precision

Pull Request - State: closed - Opened by lsrcz 4 months ago - 1 comment
Labels: Bug

#715 - `checkSatWith` in analogy to `satWith`

Issue - State: closed - Opened by andreasabel 4 months ago - 3 comments

#714 - Soft Question: Best approach for fixed size symbolic arrays

Issue - State: closed - Opened by patrickaldis 4 months ago - 13 comments

#712 - Document the known issue of the registration uninterpreted functions

Pull Request - State: closed - Opened by lsrcz 4 months ago - 1 comment

#711 - Using uninterpreted functions in a quantified formula will not declare it in the top-level

Issue - State: closed - Opened by lsrcz 4 months ago - 10 comments
Labels: Bug

#710 - Let 'optimize' return variable values

Issue - State: closed - Opened by amigalemming 5 months ago - 2 comments

#709 - OptimizeStyle: add type parameter for the optimize result type

Pull Request - State: closed - Opened by thielema 5 months ago - 2 comments

#708 - Ranges over SIntegers

Issue - State: closed - Opened by Torrencem 5 months ago - 4 comments

#707 - Make OptimizeResult type dependent on OptimizeStyle

Issue - State: closed - Opened by amigalemming 5 months ago - 3 comments

#706 - Consider removing `Num a => Num (SBV a)` instance

Issue - State: closed - Opened by LeventErkok 6 months ago
Labels: Design exploration

#705 - Explore `Iso` instances

Issue - State: closed - Opened by LeventErkok 6 months ago - 4 comments
Labels: Design exploration

#704 - FAQ: best practices for records?

Issue - State: closed - Opened by andreasabel 6 months ago - 4 comments

#703 - Fix the total order comparison for arbitrary floating point

Pull Request - State: closed - Opened by lsrcz 6 months ago
Labels: Bug

#702 - Unsound term simplification for ite with SFloatingPoint

Issue - State: closed - Opened by lsrcz 6 months ago - 2 comments
Labels: Bug

#701 - Fix the Ord instance for FP and FloatingPoint

Pull Request - State: closed - Opened by lsrcz 6 months ago - 2 comments
Labels: Bug

#700 - Fix mkConstCV which uses fromInteger for FP.

Pull Request - State: closed - Opened by lsrcz 6 months ago - 1 comment
Labels: Bug

#699 - CFP case missing in the Eq instance for CVal

Issue - State: closed - Opened by lsrcz 6 months ago - 5 comments
Labels: Bug

#698 - Generating `Num (SBV a)` instances "generically"

Issue - State: closed - Opened by andreasabel 6 months ago - 10 comments

#697 - Q: Results of 'wpProveWith'

Issue - State: closed - Opened by ocramz 6 months ago - 2 comments

#696 - Tower example

Issue - State: closed - Opened by LeventErkok 6 months ago

#695 - Try to fix the zombie solver processes, don't hide the exceptions

Pull Request - State: closed - Opened by lsrcz 6 months ago

#694 - Zombie process fixes

Issue - State: closed - Opened by LeventErkok 7 months ago - 5 comments

#693 - Revert "Fix the zombie solver processes mentioned in #477"

Pull Request - State: closed - Opened by LeventErkok 7 months ago

#692 - ExtractIO

Issue - State: closed - Opened by LeventErkok 7 months ago - 1 comment

#691 - Fix the zombie solver processes mentioned in #477

Pull Request - State: closed - Opened by lsrcz 7 months ago - 2 comments

#690 - Set support for cvc5

Issue - State: closed - Opened by paulbrauner-da 7 months ago - 1 comment

#689 - Adding useful type-class instances for NonEmpty

Pull Request - State: closed - Opened by recursion-ninja 7 months ago - 1 comment

#687 - SBV->C: Support arbitrary size bit-vectors, and in general all(?) SBV types

Issue - State: open - Opened by yav 8 months ago - 10 comments

#686 - GH pages link leads to 404

Issue - State: closed - Opened by fabeulous 8 months ago - 1 comment

#685 - CrackNum decimal printing

Issue - State: closed - Opened by LeventErkok 8 months ago - 3 comments

#684 - Fix SMTDefinable instances for 8-arg through 12-arg uninterpreted functions

Pull Request - State: closed - Opened by octalsrc 8 months ago - 1 comment

#683 - Fix CVC5 list parsing

Issue - State: closed - Opened by LeventErkok 9 months ago - 2 comments

#681 - Issue with initializing state with multiple symbolic arrays

Issue - State: closed - Opened by lucaspena 10 months ago - 5 comments

#680 - Re-enable sbv on stackage

Issue - State: closed - Opened by lsrcz 11 months ago - 4 comments

#679 - SArray scoping issue / weird SMT error

Issue - State: closed - Opened by Torrencem 11 months ago - 6 comments

#678 - SBV 10.3 release

Issue - State: closed - Opened by LeventErkok 12 months ago - 1 comment

#677 - C: Code-generation for bvExtract

Issue - State: closed - Opened by LeventErkok about 1 year ago

#676 - Create dedicated cabal target for examples

Issue - State: closed - Opened by 414owen about 1 year ago - 3 comments

#675 - Tables/arrays in lambdas

Issue - State: closed - Opened by LeventErkok about 1 year ago

#674 - Build fails on GHC 9.8.1

Issue - State: closed - Opened by noughtmare about 1 year ago - 12 comments

#673 - sRotateRight and sRotateLeft are broken on SInt 1 or SInt 2

Issue - State: closed - Opened by lsrcz about 1 year ago - 6 comments
Labels: Bug

#672 - allSat/skolemize incompatibility

Issue - State: closed - Opened by LeventErkok about 1 year ago
Labels: Bug

#671 - Partition example

Issue - State: closed - Opened by LeventErkok about 1 year ago

#670 - SMTDefinable for functions beyond 7 arguments?

Issue - State: closed - Opened by octalsrc over 1 year ago - 1 comment

#669 - Update Newspaper.hs

Pull Request - State: closed - Opened by HugoPeters1024 over 1 year ago - 1 comment

#668 - New example

Issue - State: closed - Opened by LeventErkok over 1 year ago

#667 - Bizarre output from observe

Issue - State: closed - Opened by LeventErkok over 1 year ago - 1 comment

#666 - Tables in smtFunction

Issue - State: closed - Opened by LeventErkok over 1 year ago

#665 - Arrays in lambda functions

Issue - State: closed - Opened by LeventErkok over 1 year ago

#664 - Tables in lambda functions?

Issue - State: closed - Opened by LeventErkok over 1 year ago - 2 comments

#663 - Improve renderSMTFunction

Issue - State: closed - Opened by LeventErkok over 1 year ago

#662 - Feature: Partitioning all-sat results

Issue - State: closed - Opened by LeventErkok over 1 year ago - 2 comments

#661 - Future-proof against potential Prelude.foldl'

Pull Request - State: closed - Opened by Bodigrim over 1 year ago - 1 comment

#660 - Use new-style HLint comments

Pull Request - State: closed - Opened by georgefst over 1 year ago - 3 comments

#659 - Consider splitting examples in to separate package

Issue - State: closed - Opened by georgefst over 1 year ago - 2 comments

#658 - Mourning for sbvExists/sbvForall

Issue - State: closed - Opened by arrowd over 1 year ago - 9 comments

#657 - New overflow predicates

Issue - State: closed - Opened by LeventErkok over 1 year ago - 1 comment

#656 - Update minimum base dependency to 4.16

Pull Request - State: closed - Opened by lsrcz over 1 year ago - 5 comments

#655 - Version 10.0+ does not build with GHC 9.0

Issue - State: closed - Opened by lsrcz over 1 year ago - 5 comments

#654 - Internal variables and lambdas don't work together

Issue - State: closed - Opened by LeventErkok over 1 year ago - 1 comment
Labels: Bug

#653 - Quantification over user-defined types

Issue - State: closed - Opened by LeventErkok over 1 year ago - 2 comments

#652 - Tactics and probes

Issue - State: closed - Opened by LeventErkok over 1 year ago - 1 comment
Labels: Design exploration

#651 - Support building with mtl-2.3 (GHC 9.6)

Pull Request - State: closed - Opened by RyanGlScott over 1 year ago - 1 comment

#650 - benchsuite: compile with MProvable and MSatisfiable

Pull Request - State: closed - Opened by doyougnu over 1 year ago - 8 comments

#649 - Can't compile SBVBench

Issue - State: closed - Opened by LeventErkok over 1 year ago - 2 comments

#648 - Can we separate Provable from Satisfiable

Issue - State: closed - Opened by LeventErkok over 1 year ago
Labels: Design exploration

#647 - support building with ghc-9.6 / base >=4.18.0.0

Pull Request - State: closed - Opened by larskuhtz over 1 year ago - 2 comments

#646 - Add support for special-relations

Issue - State: closed - Opened by LeventErkok over 1 year ago - 1 comment
Labels: Nice "New contributor" project, Design exploration

#645 - Unify addAxiom and constraint, possibly?

Issue - State: closed - Opened by LeventErkok over 1 year ago - 1 comment
Labels: Design exploration

#644 - Using `cvc5` on Windows goes into an infinite loop

Issue - State: closed - Opened by RyanGlScott over 1 year ago - 32 comments
Labels: Windows issue

#643 - Support abduction in CVC5

Issue - State: closed - Opened by LeventErkok over 1 year ago - 2 comments
Labels: Design exploration

#642 - Bizarre performance issue

Issue - State: closed - Opened by LeventErkok over 1 year ago - 27 comments
Labels: Performance, Help needed

#641 - Make folds easier to use?

Issue - State: closed - Opened by LeventErkok almost 2 years ago - 3 comments
Labels: Design exploration

#640 - Add an implementation of SHA3/Keccak

Issue - State: closed - Opened by LeventErkok almost 2 years ago - 1 comment

#639 - Add an implementation of Prince

Issue - State: closed - Opened by LeventErkok almost 2 years ago - 2 comments

#638 - AES improvements

Issue - State: closed - Opened by LeventErkok almost 2 years ago - 2 comments

#637 - Puzzle example

Issue - State: closed - Opened by LeventErkok almost 2 years ago

#636 - Make EqSymbolic derivable

Issue - State: closed - Opened by LeventErkok almost 2 years ago

#635 - Add support for fold

Issue - State: closed - Opened by LeventErkok almost 2 years ago
Labels: New feature

#633 - Program synthesis with sbv

Issue - State: closed - Opened by arrowd almost 2 years ago - 1 comment

#632 - Fix of minor typo

Pull Request - State: closed - Opened by richardfergie about 2 years ago - 1 comment

#630 - Consistently export solvers from `Data.SBV.{Dynamic,Trans}`

Pull Request - State: closed - Opened by RyanGlScott about 2 years ago - 1 comment

#629 - compile with GHC 9.4.2

Issue - State: closed - Opened by LeventErkok about 2 years ago