issues
search
YosysHQ
/
mcy
Mutation Cover with Yosys (MCY)
ISC License
77
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add PR template
#42
mmicko
closed
6 months ago
0
master -> main
#41
RCoeurjoly
closed
6 months ago
1
Error when printing mutation with 'mcy list --details'
#40
punzik
closed
7 months ago
1
Update for Furo
#39
KrystalDelusion
closed
1 year ago
0
fix bad c&p on % to f-string conversion
#38
nakengelhardt
closed
2 years ago
0
move tutorial to appnote 400
#37
nakengelhardt
closed
2 years ago
0
move to click library
#36
mmicko
closed
1 year ago
0
mutation export: use -sv for .sv files
#35
nakengelhardt
closed
2 years ago
0
various improvements
#34
nakengelhardt
closed
2 years ago
0
add task regex for examples
#33
nakengelhardt
closed
2 years ago
0
picorv32_primes example bitrotted
#32
nakengelhardt
closed
2 years ago
1
How to build documentation?
#31
DaveDavenport
closed
2 years ago
1
mention tabby+oss cad suite in readme
#30
nakengelhardt
closed
2 years ago
0
update docs logo
#29
nakengelhardt
closed
3 years ago
0
Fix e-mail address
#28
olofk
closed
3 years ago
0
Update logo and text
#27
mmicko
closed
3 years ago
0
add embed of youtube tutorial for html version
#26
nakengelhardt
closed
4 years ago
0
Various visual improvements
#25
mmicko
closed
4 years ago
5
Fixed typo in 'mutations.html'
#24
christian-krieg
closed
4 years ago
0
add database existence check
#23
nakengelhardt
closed
4 years ago
0
Various improvements
#22
mmicko
closed
4 years ago
3
Sort source lines in tree
#21
mmicko
closed
4 years ago
0
Open new instance of find dialog only when needed
#20
mmicko
closed
4 years ago
3
mcy gui: small inconveniences
#19
nakengelhardt
opened
4 years ago
0
docs: add test setup section
#18
nakengelhardt
closed
4 years ago
1
docs: add methodology
#17
nakengelhardt
closed
4 years ago
0
run setup inside database dir; add init -f option so --nosetup still works
#16
nakengelhardt
closed
4 years ago
0
add a [setup] section to execute an arbitrary script at init
#15
nakengelhardt
closed
4 years ago
4
More docs
#14
nakengelhardt
closed
4 years ago
0
Add command reference to docs
#13
nakengelhardt
closed
4 years ago
0
Workflow improvements
#12
mmicko
closed
4 years ago
0
add script for exporting mutated modules
#11
nakengelhardt
closed
4 years ago
8
Update bitcnt tutorial to include optional formal testbench
#10
nakengelhardt
closed
4 years ago
0
Docs
#9
nakengelhardt
closed
4 years ago
0
if iverilog isn't installed, fails with cryptic error
#8
mattvenn
closed
4 years ago
3
Add tag filtering
#7
mmicko
closed
4 years ago
0
Fix for signal handling on Windows
#6
mmicko
closed
4 years ago
0
Fix for non-posix systems
#5
mmicko
closed
4 years ago
0
Make display source same
#4
mmicko
closed
5 years ago
0
Support for 3-level-tree for sources
#3
mmicko
closed
5 years ago
0
Support for source directory
#2
mmicko
closed
5 years ago
0
Added lcov export of mcy data
#1
mmicko
closed
5 years ago
0