mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-10-30 12:32:28 +00:00
Code Activity
465 commits 9 branches 33 tags 2.7 MiB
Commit graph

57 commits

Author SHA1 Message Date
N. Engelhardt
53eb25fcae handle unreached cover properties 2022-02-07 15:29:36 +01:00
N. Engelhardt
1cf27e7c31 parse solver location output for assert failures (cover not functional yet) 2022-01-27 13:41:07 +01:00
N. Engelhardt
cdf5650c12 add JUnit schema and validator 
Signed-off-by: N. Engelhardt <nak@yosyshq.com>
 2022-01-13 13:43:38 +01:00
N. Engelhardt
ad07ea0e85 add testcase exposing #137 2022-01-12 11:06:05 +01:00
N. Engelhardt
b6dc1c9da3 fix test rule 2020-07-24 16:06:44 +02:00
Claire Wolf
a23c76a169 Remove redundant copy of picorv32 
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
 2020-07-24 15:13:45 +02:00
N. Engelhardt
8c5b65cf97 add tests directory with additional tests 2020-07-24 13:51:39 +02:00