projects
/
SymbiYosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
translate backslashes in cell names the same way as smt2 backend does
2022-03-22
N. Engelhardt
translate backslashes in cell names the same way as...
commit
|
commitdiff
|
tree
2022-03-15
N. Engelhardt
Merge pull request #139 from nakengelhardt/housekeeping
commit
|
commitdiff
|
tree
2022-03-15
N. Engelhardt
ci housekeeping
commit
|
commitdiff
|
tree
2022-03-07
N. Engelhardt
Merge pull request #133 from nakengelhardt/sby_junit
commit
|
commitdiff
|
tree
2022-03-07
N. Engelhardt
fix ci
commit
|
commitdiff
|
tree
2022-02-24
N. Engelhardt
add testcase for overall run result
commit
|
commitdiff
|
tree
2022-02-22
N. Engelhardt
validate junit files (with extra attributes added to...
commit
|
commitdiff
|
tree
2022-02-07
N. Engelhardt
fix induction
commit
|
commitdiff
|
tree
2022-02-07
N. Engelhardt
fix junit error/failure/skipped count
commit
|
commitdiff
|
tree
2022-02-07
N. Engelhardt
handle unreached cover properties
commit
|
commitdiff
|
tree
2022-02-07
N. Engelhardt
refactor junit print into own function
commit
|
commitdiff
|
tree
2022-02-06
N. Engelhardt
handle status of cover properties
commit
|
commitdiff
|
tree
2022-01-31
N. Engelhardt
refactor model to have single base
commit
|
commitdiff
|
tree
2022-01-27
N. Engelhardt
parse solver location output for assert failures (cover...
commit
|
commitdiff
|
tree
2022-01-21
N. Engelhardt
add fallback if solver can't tell which property fails
commit
|
commitdiff
|
tree
2022-01-19
N. Engelhardt
create json export and read in properties
commit
|
commitdiff
|
tree
2022-01-13
N. Engelhardt
WIP change junit print to conform to schema; needs...
Signed-off-by: N. Engelhardt <
nak@yosyshq.com
>
commit
|
commitdiff
|
tree
2022-01-13
N. Engelhardt
add JUnit schema and validator
Signed-off-by: N. Engelhardt <
nak@yosyshq.com
>
commit
|
commitdiff
|
tree
2022-01-11
N. Engelhardt
Rename SbyJob to SbyTask and SbyTask to SbyProc to...
commit
|
commitdiff
|
tree
2022-01-04
N. Engelhardt
mention tabby+oss cad suite in readme
commit
|
commitdiff
|
tree
2021-04-16
N. Engelhardt
Make readme of abstraction example more tutorial-like
commit
|
commitdiff
|
tree