issues
search
YosysHQ
/
sby
SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows
Other
388
stars
73
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Make SbyProc hide Windows differences in retcode handling
#192
jix
closed
2 years ago
0
Read config before creating a workdir
#191
jix
closed
2 years ago
0
tests: Windows fixes
#190
jix
closed
2 years ago
0
docs: add missing autotune.rst
#189
jix
closed
2 years ago
0
Tags persist across section boundaries
#188
KrystalDelusion
closed
4 months ago
1
Test uninitialized FFs with constant clocks and fix btor script for this
#187
jix
closed
2 years ago
0
tests: Test for invalid x-value FF init optimizations
#186
jix
closed
2 years ago
0
Use default prefix directory when no task is specified
#185
georgerennie
closed
2 years ago
0
smtbmc: Fix induction trace filename with --keep-going for the basecase
#184
jix
closed
2 years ago
0
Reflect recent engine updates in the reference docs
#183
jix
closed
2 years ago
0
Decouple taskloop from task
#182
jix
closed
2 years ago
0
Use monotonic clock for timeouts
#181
jix
closed
2 years ago
0
Don't use python asserts to handle unexpected solver output
#180
jix
closed
2 years ago
0
btor pono: improve option handling
#179
jix
closed
2 years ago
0
aiger: check supported modes and aigbmc fixes
#178
jix
closed
2 years ago
0
Tristate example
#177
mattvenn
closed
2 years ago
0
tristate example
#176
mattvenn
closed
2 years ago
0
Use the test Makefile for all examples
#175
jix
closed
2 years ago
0
Fifo example and new quickstart guide
#174
KrystalDelusion
closed
1 year ago
0
Test that cvc4 and cvc5 can be used
#173
jix
closed
2 years ago
0
Regression test for smtbmc --unroll --noincr
#172
jix
closed
2 years ago
0
tests: Remove unused tool list in test Makefile
#171
jix
closed
2 years ago
0
switch to using hierarchy -smtcheck for smtlib2 solvers, allowing smtlib2_module modules
#170
programmerjake
closed
2 years ago
4
Test designs using $allconst
#169
jix
closed
2 years ago
0
allow removing -simcheck
#168
programmerjake
closed
2 years ago
0
just checking some things about the CI environment
#166
jix
closed
2 years ago
0
Yices 2 default solver despite being 'optional'
#165
KrystalDelusion
opened
2 years ago
3
Suggest -f when the workdir already exists
#164
jix
closed
2 years ago
0
Makefile improvements
#163
jix
closed
2 years ago
2
Absolute paths in Windows
#162
KrystalDelusion
opened
2 years ago
0
add test for yosys's $divfloor and $modfloor cells
#161
programmerjake
closed
2 years ago
2
tests require super_prove, which requires python-pip, which isn't available on ubuntu 20.04
#160
programmerjake
opened
2 years ago
5
examples: Fix use of SVA value change expressions
#159
jix
closed
2 years ago
0
Autotune: Automatic engine selection
#158
jix
closed
2 years ago
1
SymbiYosys tags and known working version of Yosys
#157
vmunoz82
closed
2 years ago
2
Refactor tests
#156
jix
closed
2 years ago
0
Regression test: do not merge FFs with unconstrained initvals
#155
jix
closed
2 years ago
0
sby_design fixes
#154
jix
closed
2 years ago
0
SBY fails on AXI formal testing repo
#153
andrew-research
closed
2 years ago
0
Error references non-existing variable
#152
DaveDavenport
closed
2 years ago
0
Prefer the first tracefile for each failing assertion
#151
jix
closed
2 years ago
0
note unexpected return statuses in junit
#150
nakengelhardt
closed
2 years ago
2
fix 'junit_type' referenced before assignment error
#149
jix
closed
2 years ago
6
documentation updates
#148
nakengelhardt
closed
2 years ago
0
Support and tests for smtbmc `--keep-going`
#147
jix
closed
2 years ago
0
Test and fix signals with nonzero start offsets in aim files with smtbmc
#146
jix
closed
2 years ago
1
junit: handle multiple asserts failing with the same trace
#145
nakengelhardt
closed
2 years ago
1
add testcase with escaped identifier using all allowed non-alphanumerical characters
#144
nakengelhardt
opened
2 years ago
0
UnboundLocalError: local variable 'junit_type' referenced before assignment
#143
stffrdhrn
closed
2 years ago
1
translate backslashes in cell names the same way as smt2 backend does
#142
nakengelhardt
closed
2 years ago
1
Previous
Next