Ecosyste.ms: Issues

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

GitHub / upscale-project/pono issues and pull requests

#316 - Unwanted skbuild printouts

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

#315 - Using old version of smt-switch

Issue - State: closed - Opened by cterrill26 about 2 years ago - 1 comment

#314 - Update smt switch

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

#313 - Allow out-of-tree dependencies

Issue - State: open - Opened by CyanoKobalamyne over 2 years ago

#312 - K-induction: one-time base case check and interval unrolling

Pull Request - State: closed - Opened by lonsing over 2 years ago

#311 - README update

Pull Request - State: closed - Opened by lonsing over 2 years ago

#310 - Allow using cvc5 in IC3 variants

Pull Request - State: closed - Opened by lonsing over 2 years ago

#309 - Failure for a small btor2 case

Issue - State: open - Opened by CoriolisSP over 2 years ago - 1 comment

#308 - Fix CoreIR installation

Pull Request - State: closed - Opened by lonsing over 2 years ago

#307 - Update to use cvc5

Pull Request - State: closed - Opened by lonsing over 2 years ago
Labels: enhancement

#306 - Fix installation of IC3ia and update MathSAT

Pull Request - State: closed - Opened by lonsing over 2 years ago - 1 comment
Labels: bugfix

#305 - K-induction refactoring

Pull Request - State: closed - Opened by lonsing over 2 years ago

#304 - BMC: fix printing

Pull Request - State: closed - Opened by lonsing over 2 years ago
Labels: simple

#303 - BMC option: allow non-minimal cex

Pull Request - State: closed - Opened by lonsing over 2 years ago

#302 - Fix: CI flow on MacOS

Pull Request - State: closed - Opened by lonsing over 2 years ago

#301 - BMC options for improved bug hunting

Pull Request - State: closed - Opened by lonsing over 2 years ago - 1 comment

#300 - update smt-switch-version

Pull Request - State: closed - Opened by lonsing almost 3 years ago

#299 - Update CI workflow: build CVC4 from scratch rather than download

Pull Request - State: closed - Opened by lonsing almost 3 years ago

#298 - update coreir version in setup script

Pull Request - State: closed - Opened by lonsing almost 3 years ago

#297 - tests/CMakeLists.txt.in: the default branch of google/googletest is 'main'

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

#296 - Time stamping

Pull Request - State: closed - Opened by lonsing over 3 years ago

#295 - Explicitly find python library

Pull Request - State: closed - Opened by makaimann over 3 years ago

#294 - Update python-api simple_alu.py example

Pull Request - State: closed - Opened by makaimann over 3 years ago

#293 - Enable witness printing when using static COI

Pull Request - State: closed - Opened by lonsing over 3 years ago

#292 - IC3IA: Continue even if predicate reduction fails

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

#291 - CEGP: Fixes for indices with next vars in them

Pull Request - State: closed - Opened by makaimann over 3 years ago

#289 - Improvements to CEGP

Pull Request - State: closed - Opened by makaimann over 3 years ago

#288 - Add VMT frontend

Pull Request - State: closed - Opened by makaimann over 3 years ago - 1 comment
Labels: enhancement

#287 - Fix BMC/K-Induction printing for repeated check_until calls

Pull Request - State: closed - Opened by makaimann over 3 years ago

#286 - Add strong abstraction option for CEGP-arrays

Pull Request - State: closed - Opened by makaimann over 3 years ago

#285 - Fix edge case in logger string formatting

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

#284 - Fix non-consecutive axiom reduction in CEGP

Pull Request - State: closed - Opened by makaimann over 3 years ago - 2 comments

#283 - Stream printing for ProverResult and engines

Pull Request - State: closed - Opened by makaimann over 3 years ago

#282 - Do a single iteration when reducing predicates in ic3ia

Pull Request - State: closed - Opened by makaimann over 3 years ago

#281 - Add option to disable reducing predicates in ic3ia

Pull Request - State: closed - Opened by makaimann over 3 years ago

#280 - Update smt-switch

Pull Request - State: closed - Opened by makaimann over 3 years ago

#279 - Cleanup in repository

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

#278 - Add IC3Bits and IC3SA to Python API

Pull Request - State: closed - Opened by makaimann over 3 years ago

#277 - Expose unroller time ID in Python API

Pull Request - State: closed - Opened by makaimann over 3 years ago

#276 - Minor fix in CEGP index check code

Pull Request - State: closed - Opened by makaimann over 3 years ago

#275 - Update Smt-Switch

Pull Request - State: closed - Opened by makaimann over 3 years ago

#274 - Throw exception if attempting to use cvc4 with a multi-solver engine

Pull Request - State: closed - Opened by makaimann over 3 years ago

#273 - Improve infrastructure for transferring between solvers

Issue - State: open - Opened by makaimann over 3 years ago
Labels: enhancement

#271 - Disable support for finite domain indices in CEGP

Pull Request - State: closed - Opened by makaimann over 3 years ago

#270 - Hack so that cegp restarts model checker even if ic3ia

Pull Request - State: closed - Opened by makaimann over 3 years ago

#269 - Align reached_k

Pull Request - State: closed - Opened by makaimann over 3 years ago

#268 - Cegp fixes restart

Pull Request - State: closed - Opened by makaimann over 3 years ago

#267 - Switch back to FindPythonInterp for now

Pull Request - State: closed - Opened by makaimann over 3 years ago

#266 - Various Python bindings features

Pull Request - State: closed - Opened by makaimann over 3 years ago
Labels: enhancement

#265 - Update smt switch version

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

#264 - Keep reference to TS in encoders at python level

Pull Request - State: closed - Opened by makaimann over 3 years ago - 1 comment
Labels: simple

#263 - Add UF support to SMV frontend

Pull Request - State: closed - Opened by makaimann almost 4 years ago - 1 comment
Labels: enhancement

#262 - Revisit input formalism

Issue - State: open - Opened by makaimann almost 4 years ago

#261 - Automatically promote input variables in BTOR2 constraints

Pull Request - State: closed - Opened by makaimann almost 4 years ago

#260 - Don't break early if searching subterms in get_predicates

Pull Request - State: closed - Opened by makaimann almost 4 years ago - 1 comment

#259 - Try cheap-ish check of known predicates before going to sygus

Pull Request - State: closed - Opened by makaimann almost 4 years ago - 1 comment

#258 - Seed grammar with maxterms + other fixes

Pull Request - State: closed - Opened by makaimann almost 4 years ago - 1 comment

#257 - Add multi-sort operator and arithmetic support

Pull Request - State: closed - Opened by makaimann almost 4 years ago

#256 - Improve interface with original TS

Issue - State: open - Opened by makaimann almost 4 years ago

#255 - Various fixes for using Pono as a library or through Python

Pull Request - State: closed - Opened by makaimann almost 4 years ago

#254 - Cegp fixes

Pull Request - State: closed - Opened by makaimann almost 4 years ago

#253 - Allow quoted symbol names in SMV

Pull Request - State: closed - Opened by makaimann almost 4 years ago
Labels: simple

#252 - Remove unused ic3_reset_interval option

Pull Request - State: closed - Opened by makaimann almost 4 years ago

#251 - Switch CI to GitHub Actions

Pull Request - State: closed - Opened by makaimann almost 4 years ago - 2 comments

#250 - Clean up in reset_solver of IC3IA

Pull Request - State: closed - Opened by makaimann almost 4 years ago - 3 comments
Labels: do not merge, simple

#249 - Ic3ia cvc4 pred update

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

#248 - Add test for modifiers in python interface

Pull Request - State: closed - Opened by makaimann almost 4 years ago - 1 comment
Labels: simple

#247 - Mark witness_length as overridden

Pull Request - State: closed - Opened by makaimann almost 4 years ago
Labels: simple

#246 - Ceg proph uf abs

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

#245 - IC3SA: traverse formula iteratively as DAG in justify_coi

Pull Request - State: closed - Opened by makaimann about 4 years ago
Labels: simple

#244 - SyGuS-PDR option

Pull Request - State: closed - Opened by zhanghongce about 4 years ago

#243 - SyGuS-PDR Bug Fix

Pull Request - State: closed - Opened by zhanghongce about 4 years ago - 13 comments

#242 - Add flag for approximate predecessor generalization and "fix if intersects" support

Pull Request - State: closed - Opened by makaimann about 4 years ago - 2 comments

#241 - Limit cegar bv width

Pull Request - State: closed - Opened by ahmed-irfan about 4 years ago - 1 comment
Labels: enhancement, simple

#240 - Various improvements to IC3SA

Pull Request - State: closed - Opened by makaimann about 4 years ago - 4 comments
Labels: enhancement

#239 - Adjust error vs unknown result

Pull Request - State: closed - Opened by makaimann about 4 years ago - 1 comment
Labels: simple

#238 - Fixes in IC3SA

Pull Request - State: closed - Opened by makaimann about 4 years ago - 1 comment

#237 - Update UNSAT Core Reducing in SyGuS-PDR

Pull Request - State: closed - Opened by zhanghongce about 4 years ago - 2 comments

#236 - Update smt-switch version

Pull Request - State: closed - Opened by makaimann about 4 years ago

#235 - Exception in ic3ia::refactor-ts

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

#234 - IC3SA lemma learning and fallback refinement

Pull Request - State: closed - Opened by makaimann about 4 years ago

#233 - CEG-PROPH : Tighter integration of ic3ia

Pull Request - State: open - Opened by ahmed-irfan about 4 years ago
Labels: enhancement, do not merge

#232 - Refactor CEG_PROPH

Pull Request - State: closed - Opened by ahmed-irfan about 4 years ago
Labels: simple, refactor

#231 - UF operator abstraction

Pull Request - State: closed - Opened by ahmed-irfan about 4 years ago
Labels: enhancement

#230 - Ic3ia reset solver

Pull Request - State: closed - Opened by ahmed-irfan about 4 years ago - 6 comments
Labels: enhancement, simple, refactor

#229 - Add polarity axioms in CegarValues

Pull Request - State: closed - Opened by makaimann about 4 years ago

#228 - Maintain contract that witness length refers to number of transitions

Pull Request - State: closed - Opened by makaimann about 4 years ago
Labels: simple, bugfix

#227 - Ic3 split bits

Pull Request - State: closed - Opened by makaimann about 4 years ago - 1 comment
Labels: enhancement, simple

#226 - Use default inductive_generalization for option 0 in mbic3

Pull Request - State: closed - Opened by makaimann about 4 years ago - 3 comments
Labels: bugfix

#225 - MBIC3 issue

Issue - State: closed - Opened by zhanghongce about 4 years ago - 3 comments

#223 - Remove set from SMV grammar

Pull Request - State: closed - Opened by makaimann about 4 years ago
Labels: simple

#222 - Allow f and F as variable names in SMV frontend

Pull Request - State: closed - Opened by makaimann about 4 years ago
Labels: simple

#220 - Ic3sa functional

Pull Request - State: closed - Opened by makaimann about 4 years ago

#145 - WIP: SyGuS PDR

Pull Request - State: closed - Opened by zhanghongce about 4 years ago - 33 comments
Labels: enhancement

#141 - Add basic IC3SA implementation

Pull Request - State: closed - Opened by makaimann about 4 years ago - 9 comments
Labels: enhancement

#55 - Look into infrequent errors in interpolation

Issue - State: open - Opened by makaimann over 4 years ago - 1 comment

#29 - Look into performance issues with large unrolls

Issue - State: closed - Opened by makaimann almost 5 years ago - 8 comments

#20 - support for Arithmetic Theories

Issue - State: closed - Opened by ahmed-irfan almost 5 years ago