Ecosyste.ms: Issues

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

GitHub / fvutils/pyvsc issues and pull requests

#230 - Unix Signal SIGABRT raised from user application code

Issue - State: open - Opened by penguali 2 months ago - 2 comments

#229 - Unable to write coverage via UCIS API (Cadence)

Issue - State: open - Opened by penguali 2 months ago - 2 comments

#226 - vsc.if_then Constraint Not Support AND/OR Operation

Issue - State: open - Opened by hcube123 4 months ago - 1 comment

#224 - Cannot constrain attribute inside a rand_attr inside a rand_list

Issue - State: closed - Opened by felixdube 7 months ago - 12 comments

#223 - Solve-order fixes

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

#222 - Make list solve_order predictable

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

#220 - Improve Performance of source_info.mk()

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

#219 - Unexpected behavior with unique rand_list_t

Issue - State: closed - Opened by felixdube 8 months ago - 4 comments

#217 - constraint for one hot encoding.

Issue - State: open - Opened by jahagirdar 9 months ago - 1 comment

#215 - Key Error in adding constraints in the for loop

Issue - State: closed - Opened by kangshuo1 11 months ago

#214 - Is there a way to construct a logarithm constraint?

Issue - State: closed - Opened by kangshuo1 11 months ago - 2 comments

#210 - Set values on randobj and check if it satisfies the constraints

Issue - State: closed - Opened by sbhutada 12 months ago - 2 comments

#209 - doc: fix intro and other examples, update feature list

Pull Request - State: closed - Opened by alwilson 12 months ago - 1 comment

#208 - PyVSC to give exhaustive list of stimulus

Issue - State: open - Opened by sbhutada 12 months ago

#207 - Can't see vsc after installing pyvsc

Issue - State: closed - Opened by sbhutada 12 months ago

#206 - solve before is solve_order, but document marks it as not supported

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

#202 - Is there an example of pyvsc integrated with cocotb and SV RTL with a simulator?

Issue - State: closed - Opened by sbhutada about 1 year ago - 2 comments

#199 - not_inside constraint unexpectedly reducing output set significantly

Issue - State: closed - Opened by apaiva about 1 year ago - 1 comment

#198 - I can't install pyvsc for pypy3.10！

Issue - State: closed - Opened by see01995 over 1 year ago - 4 comments

#194 - Remove high-priority, soft weight constraint from distributions

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

#193 - Fix deprecation and Enum issues for python 3.11; minordoc string fix

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

#191 - Distributions have higher priority than soft constraints

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

#190 - Installing pyvsc fails on pyboolector for python 3.11.5 on Linux (Arch)

Issue - State: closed - Opened by alwilson over 1 year ago - 3 comments

#189 - constraint solver error

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

#188 - support for function incur in constraint functions

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

#187 - install error for latest version macos

Issue - State: open - Opened by hanfeng0114 over 1 year ago - 3 comments

#186 - Enh: Support Default bin (How to write "default" in vsc.coverpoint ?)

Issue - State: open - Opened by mballance over 1 year ago
Labels: enhancement

#184 - import error _boolector_add

Issue - State: open - Opened by ajayvreddy over 1 year ago

#183 - pyvsc performance dominated by stack frame operations in inspect module

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

#181 - how to print coverage model

Issue - State: open - Opened by songzenghui over 1 year ago - 3 comments

#180 - What is the relation between pyvsc and portable stimulus (pss)?

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

#179 - PicklingError when trying to pickle a VSC randobj

Issue - State: open - Opened by smccans over 1 year ago - 2 comments

#178 - Nested soft constraint support

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

#177 - Cannot use random value as list index in a constraint

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

#176 - Cannot make constraint under if_then soft

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

#175 - Cache randomization calls

Pull Request - State: open - Opened by alwilson almost 2 years ago - 4 comments

#174 - Skip disabled constraints when visiting model; Fixes #173

Pull Request - State: closed - Opened by alwilson about 2 years ago - 5 comments

#172 - Selecting a list element from a list of bit-vectors returns an int

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

#170 - ModuleNotFoundError: No module named 'pyboolector'

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

#166 - Can't have a randsz_list_t of randobj

Issue - State: closed - Opened by fdrichardson over 2 years ago - 1 comment

#165 - windows10 install pyboolector failed

Issue - State: closed - Opened by songzenghui over 2 years ago - 4 comments

#164 - Dynamic constraints combined with 'soft' constraining

Issue - State: closed - Opened by mballance over 2 years ago - 1 comment

#163 - Sampling spams unhelpful messages

Issue - State: closed - Opened by miserva over 2 years ago - 1 comment

#161 - Random distribution of 2-variable constraints not uniform

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

#160 - Performance impart using wilcard bins

Issue - State: closed - Opened by walido78 over 2 years ago - 4 comments

#159 - Supporting inheritance in PyVSC

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

#158 - Add init of super class as suggested in the issue #99

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

#156 - rand_int8_t with negative maximum can not be randomized

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

#154 - Note:variable bounds model failed to converge in 100 iterations

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

#153 - Adding riscv-dv PyFlow to the PyVSC regression list.

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

#148 - raise Exception("internal error: system should solve")

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

#147 - vsc.model.solve_failure.SolveFailure: solve failure

Issue - State: closed - Opened by kkmonk almost 3 years ago - 9 comments

#146 - VSC internal TypeError due to if_then constraint with Enum.

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

#145 - vsc.unique constraint on list with 1 item raises Boolector Exception

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

#143 - Problem using pyvsc with cython pyx testcase file

Issue - State: closed - Opened by walt3k about 3 years ago - 8 comments

#142 - Random stability issues when using distributions

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

#141 - python3.9 error in finding the pyboolector module in constraint model

Issue - State: open - Opened by EngRaff92 about 3 years ago - 17 comments

#140 - Add more documentation for Enums

Issue - State: open - Opened by qzcx about 3 years ago - 1 comment

#136 - set attributes' rand_mode in pre_randomize does not work

Issue - State: open - Opened by qijiuliushisan about 3 years ago - 1 comment

#133 - RandState update for random stability

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

#132 - Errors solving constraints in foreach loop

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

#128 - Support updating the definition of rangelists

Issue - State: open - Opened by mballance about 3 years ago - 2 comments
Labels: enhancement

#127 - Skewed distribution for constraints using vsc.rng()

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

#122 - incorrect UCIS coverage report format ?

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

#121 - Skewed random distribution for lists of random size

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

#120 - Part-Select issue

Issue - State: closed - Opened by aneels3 over 3 years ago - 2 comments

#119 - Coverage flow broken

Issue - State: closed - Opened by aneels3 over 3 years ago - 4 comments

#118 - Fix required pyucis version

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

#117 - Random stability features needed

Issue - State: closed - Opened by msmftc over 3 years ago - 10 comments

#116 - Skewed random distribution when upper-bit constraints unlikely to succeed

Issue - State: closed - Opened by mballance over 3 years ago - 3 comments

#115 - @vsc.covergroup doesn't work in Jupyter

Issue - State: closed - Opened by qzcx over 3 years ago - 4 comments

#114 - Multiplication constraints use overflow to solve

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

#111 - Support for illegal_bins and ignore_bins

Issue - State: closed - Opened by aneels3 over 3 years ago - 7 comments
Labels: enhancement

#110 - Error when creating randomized register consisting of randomized bits

Issue - State: closed - Opened by pmassolino over 3 years ago - 2 comments

#109 - Pip installation dependency pyboolector fails

Issue - State: closed - Opened by ben-marshall over 3 years ago - 2 comments

#108 - Coverpoints incorrectly assign all samples to a single bin

Issue - State: closed - Opened by msmftc over 3 years ago - 4 comments

#107 - Loss of random distribution in if/then/else constraint

Issue - State: closed - Opened by msmftc over 3 years ago - 6 comments

#106 - Issue with randselect

Issue - State: closed - Opened by aneels3 over 3 years ago - 3 comments

#105 - Issue with wildcard_bin_array

Issue - State: closed - Opened by aneels3 over 3 years ago - 4 comments

#104 - Issue with wildcardbin array

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

#103 - solve_order() example hitting exception

Issue - State: closed - Opened by qzcx over 3 years ago - 2 comments

#101 - Incorrect covergroup percentage

Issue - State: closed - Opened by shrujal20 over 3 years ago - 2 comments

#100 - Fix srcinfo Attribute error

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

#99 - object has no attribute 'srcinfo'

Issue - State: closed - Opened by aneels3 over 3 years ago - 2 comments

#98 - Cannot retrieve model if input formula is not SAT

Issue - State: closed - Opened by aneels3 over 3 years ago - 5 comments

#97 - Issue with Part-select in coverpoints

Issue - State: closed - Opened by ishitashah-sifive over 3 years ago - 2 comments

#95 - [Medium] Nested foreach

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

#94 - PyVSC should make better use of inexact domain bounds

Issue - State: closed - Opened by mballance over 3 years ago - 2 comments
Labels: enhancement

#93 - Issue with Part-select in coverpoints

Issue - State: closed - Opened by ishitashah-sifive over 3 years ago - 4 comments
Labels: enhancement