Ecosyste.ms: Issues

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

GitHub / SRI-CSL/yices2 issues and pull requests

#454 - To do: upgrade per-thread-state

Issue - State: open - Opened by disteph about 1 year ago

#452 - MCSAT support push and pop

Pull Request - State: closed - Opened by bobot about 1 year ago - 1 comment

#451 - Bug in model construction from API, in Yices/CDCL(T)

Issue - State: open - Opened by disteph over 1 year ago - 1 comment

#450 - Update html doc

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

#449 - Fix windows binaries exiting with code 24

Pull Request - State: open - Opened by isanych over 1 year ago

#448 - assert_blocking_clause return the blocking clause

Pull Request - State: open - Opened by ahmed-irfan over 1 year ago

#447 - filter select terms according to array terms

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

#446 - fix assertion violation in uf_plugin model

Pull Request - State: open - Opened by ahmed-irfan over 1 year ago - 1 comment

#445 - use array const-like model for arrays

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

#444 - Qf eq bv arith

Pull Request - State: open - Opened by ahmed-irfan over 1 year ago - 1 comment

#443 - sort array and read terms according to the score

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

#442 - mcsat arrays finite

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

#441 - fixes #440

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

#440 - Obviously incorrect model

Issue - State: closed - Opened by nafur over 1 year ago
Labels: bug

#439 - fix array check

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

#438 - Mcsat imp reducedb

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

#437 - MCSAT Bool Plugin -- Bool bump factor

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

#436 - Mcsat -- keep binary clauses

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

#435 - Symbol table remove records fix

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

#434 - Array tests

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

#433 - Bug in check-sat-assuming

Issue - State: open - Opened by georgerennie over 1 year ago - 1 comment
Labels: bug

#431 - iterative make_rep

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

#430 - MCSAT: Array + Nonlinear

Pull Request - State: closed - Opened by ahmed-irfan over 1 year ago - 1 comment
Labels: mcsat

#429 - Update weq term rep

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

#428 - mcsat-array: fresh decision values for functions

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

#427 - mcSAT arrays

Pull Request - State: closed - Opened by ahmed-irfan over 1 year ago - 1 comment
Labels: mcsat

#426 - allow function decisions in the uf plugin

Pull Request - State: closed - Opened by ahmed-irfan over 1 year ago - 1 comment
Labels: mcsat

#425 - Makefile: add PPC support for Darwin

Pull Request - State: closed - Opened by barracuda156 almost 2 years ago - 1 comment

#424 - Poor test results on PowerPC: how to improve/fix?

Issue - State: open - Opened by barracuda156 almost 2 years ago - 6 comments

#423 - fatal: remote end hung up unexpectedly

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

#422 - Ci coverage

Pull Request - State: closed - Opened by ahmed-irfan almost 2 years ago - 2 comments

#421 - enable clang in ci

Pull Request - State: closed - Opened by ahmed-irfan almost 2 years ago

#420 - use python3-pip in ci

Pull Request - State: closed - Opened by ahmed-irfan almost 2 years ago - 1 comment

#419 - Fix CI

Pull Request - State: closed - Opened by ahmed-irfan almost 2 years ago - 3 comments

#418 - Cannot build per-thread-state branch with mingw64

Issue - State: open - Opened by isanych almost 2 years ago - 1 comment

#417 - "" escape sequence not supported in strings

Issue - State: open - Opened by stevenmeker almost 2 years ago

#416 - Double quotes omitted in echo command response

Issue - State: open - Opened by stevenmeker almost 2 years ago

#415 - Doesn't always exit immediately on error

Issue - State: open - Opened by stevenmeker almost 2 years ago

#414 - yices_new_uninterpreted_term does not produce an uninterpreted term

Issue - State: open - Opened by disteph almost 2 years ago - 1 comment

#413 - mcsat: Fix comments

Pull Request - State: closed - Opened by ahmed-irfan about 2 years ago

#412 - fix logic classification of regress tests for mcsat uf

Pull Request - State: closed - Opened by ahmed-irfan about 2 years ago

#411 - smtlib-model-format default for yices-smt2

Pull Request - State: closed - Opened by ahmed-irfan about 2 years ago - 2 comments

#410 - QF_LIA performance issue with mod/div

Issue - State: open - Opened by unosalt about 2 years ago

#409 - fix for autoconf 2.71

Pull Request - State: closed - Opened by ahmed-irfan about 2 years ago - 2 comments

#409 - fix for autoconf 2.71

Pull Request - State: closed - Opened by ahmed-irfan about 2 years ago - 2 comments

#408 - E: Unable to locate package yices2

Issue - State: open - Opened by abc767234318 about 2 years ago - 3 comments

#408 - E: Unable to locate package yices2

Issue - State: open - Opened by abc767234318 about 2 years ago - 3 comments

#407 - Is there any C API for me to extract value of a function?

Issue - State: closed - Opened by MrWater98 about 2 years ago - 2 comments

#406 - (get-value (0.0)) gives ((0.0 0)) , missing decimal point

Issue - State: open - Opened by jwaldmann about 2 years ago

#405 - Context cloning

Issue - State: open - Opened by degrigis about 2 years ago - 2 comments

#404 - Internal Yices Bug

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

#403 - Segmentation Fault when calling get-value

Issue - State: open - Opened by ekiwi about 2 years ago

#403 - Segmentation Fault when calling get-value

Issue - State: open - Opened by ekiwi about 2 years ago

#402 - `get-value` on array does not inline function

Issue - State: closed - Opened by ekiwi about 2 years ago - 2 comments

#400 - Segment fault in mcsat_process_registeration_queue

Issue - State: open - Opened by merlinsun over 2 years ago - 2 comments

#399 - debian apt instruction fail

Issue - State: open - Opened by Matafou over 2 years ago - 4 comments

#399 - debian apt instruction fail

Issue - State: open - Opened by Matafou over 2 years ago - 4 comments

#397 - The Source Code link is broken

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

#396 - Assertion failure at solvers/simplex/simplex.c:10349

Issue - State: open - Opened by mpreiner almost 3 years ago

#396 - Assertion failure at solvers/simplex/simplex.c:10349

Issue - State: open - Opened by mpreiner almost 3 years ago

#395 - Invalid term with get-value on array constant.

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

#394 - Website Certificate Expiry

Issue - State: closed - Opened by DominicDams almost 3 years ago - 1 comment

#393 - API: Could yices_assert_blocking_clause return the clause?

Issue - State: open - Opened by disteph almost 3 years ago

#392 - yices_model_set_<type> api in 2.6.4

Issue - State: open - Opened by ianamason almost 3 years ago - 2 comments

#391 - SMT2 frontend does not flush output after responding to some commands

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

#390 - Requesting improved smt2 array support

Issue - State: closed - Opened by GreenBeard almost 3 years ago - 5 comments
Labels: enhancement

#389 - Makefile.build: avoid ldconfig on linux

Pull Request - State: closed - Opened by trofi about 3 years ago - 3 comments

#388 - Assertion error at mcsat/solver.c:1133

Issue - State: closed - Opened by rainoftime about 3 years ago - 1 comment

#387 - Clarified the use of variable in API comments.

Pull Request - State: closed - Opened by disteph about 3 years ago

#387 - Clarified the use of variable in API comments.

Pull Request - State: closed - Opened by disteph about 3 years ago

#386 - Missing API implementation.

Issue - State: closed - Opened by ianamason about 3 years ago - 2 comments

#385 - yices_garbage_collect: thread safety

Issue - State: closed - Opened by ptr1120 about 3 years ago - 25 comments

#384 - yices_incref_term: segmentation fault

Issue - State: closed - Opened by ptr1120 about 3 years ago - 2 comments

#383 - Question about distributions.

Issue - State: open - Opened by ianamason about 3 years ago - 16 comments

#382 - Calculate boolean sum

Issue - State: closed - Opened by ptr1120 about 3 years ago - 6 comments

#381 - Add new API coverage test

Pull Request - State: closed - Opened by 0152la about 3 years ago

#380 - Add new API coverage test

Pull Request - State: closed - Opened by 0152la about 3 years ago

#380 - Add new API coverage test

Pull Request - State: closed - Opened by 0152la about 3 years ago

#379 - Add new API coverage test

Pull Request - State: closed - Opened by 0152la about 3 years ago

#378 - Add new API coverage test

Pull Request - State: closed - Opened by 0152la about 3 years ago - 1 comment

#378 - Add new API coverage test

Pull Request - State: closed - Opened by 0152la about 3 years ago - 1 comment

#377 - Add additional coverage API test

Pull Request - State: closed - Opened by 0152la about 3 years ago

#376 - Add additional coverage API test

Pull Request - State: closed - Opened by 0152la about 3 years ago

#376 - Add additional coverage API test

Pull Request - State: closed - Opened by 0152la about 3 years ago

#375 - Add coverage API test - nra_plugin_explain_2

Pull Request - State: closed - Opened by 0152la about 3 years ago

#375 - Add coverage API test - nra_plugin_explain_2

Pull Request - State: closed - Opened by 0152la about 3 years ago

#374 - Add coverage API test - uf_plugin

Pull Request - State: closed - Opened by 0152la about 3 years ago

#374 - Add coverage API test - uf_plugin

Pull Request - State: closed - Opened by 0152la about 3 years ago

#373 - Support for Dotnet bindings

Issue - State: closed - Opened by ptr1120 about 3 years ago - 1 comment

#372 - Fix for FreeBSD

Pull Request - State: closed - Opened by hliebel over 3 years ago - 1 comment

#372 - Fix for FreeBSD

Pull Request - State: closed - Opened by hliebel over 3 years ago - 1 comment

#371 - Failing to parse Array constructor in QF_UFBV

Issue - State: closed - Opened by strikef over 3 years ago - 1 comment

#371 - Failing to parse Array constructor in QF_UFBV

Issue - State: closed - Opened by strikef over 3 years ago - 1 comment

#370 - get-interpolant interface for SMT-LIB2 frontend

Issue - State: open - Opened by rainoftime over 3 years ago - 1 comment
Labels: enhancement

#370 - get-interpolant interface for SMT-LIB2 frontend

Issue - State: open - Opened by rainoftime over 3 years ago - 1 comment
Labels: enhancement