projects
/
SymbiYosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge pull request #195 from jix/sbyproc-truncated-output
2022-06-01
N. Engelhardt
update install instructions for btorsim
commit
|
commitdiff
|
tree
2022-05-24
N. Engelhardt
docs: add instructions for newer btorsim version required
commit
|
commitdiff
|
tree
2022-04-06
N. Engelhardt
junit: use write_jny instead of write_json
commit
|
commitdiff
|
tree
2022-03-30
N. Engelhardt
Merge pull request #150 from nakengelhardt/fix_junit_type_as...
commit
|
commitdiff
|
tree
2022-03-29
N. Engelhardt
note unexpected return statuses in junit
commit
|
commitdiff
|
tree
2022-03-28
N. Engelhardt
Merge pull request #148 from nakengelhardt/docs_updates
commit
|
commitdiff
|
tree
2022-03-28
N. Engelhardt
Merge pull request #145 from nakengelhardt/fix_junit_tracefile
commit
|
commitdiff
|
tree
2022-03-28
N. Engelhardt
Merge pull request #142 from nakengelhardt/fix_backslash_smt2
commit
|
commitdiff
|
tree
2022-03-25
N. Engelhardt
document btor engine, add overview of mode/engine/solver...
commit
|
commitdiff
|
tree
2022-03-22
N. Engelhardt
junit: handle multiple asserts failing with the same...
commit
|
commitdiff
|
tree
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-12
N. Engelhardt
create only a single bad when using pono solver; workaround...
commit
|
commitdiff
|
tree
2022-01-12
N. Engelhardt
add testcase exposing #137
commit
|
commitdiff
|
tree
2022-01-12
N. Engelhardt
use --witness option when calling pono
commit
|
commitdiff
|
tree
2022-01-12
N. Engelhardt
Merge pull request #135 from nakengelhardt/rename_task
commit
|
commitdiff
|
tree
2022-01-11
N. Engelhardt
Merge pull request #134 from nakengelhardt/advertise_suite_i...
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
2020-10-12
N. Engelhardt
Merge pull request #116 from nakengelhardt/sed_mac
commit
|
commitdiff
|
tree
2020-10-09
N. Engelhardt
sed -i option is not posix, and argument syntax is...
commit
|
commitdiff
|
tree
2020-09-11
N. Engelhardt
rename make test to make ci
commit
|
commitdiff
|
tree
2020-07-24
N. Engelhardt
fix test rule
commit
|
commitdiff
|
tree
2020-07-24
N. Engelhardt
add tests directory with additional tests
commit
|
commitdiff
|
tree
2020-07-21
N. Engelhardt
fix error message formatting
commit
|
commitdiff
|
tree
2020-07-01
N. Engelhardt
add --seed option to smtbmc and btor engines
commit
|
commitdiff
|
tree
2020-06-30
N. Engelhardt
Merge pull request #95 from adumont/patch-1
commit
|
commitdiff
|
tree
2020-06-16
N. Engelhardt
ignore race condition in killing already-terminated...
commit
|
commitdiff
|
tree
2020-05-18
N. Engelhardt
btor engine: handle models with 0 properties
commit
|
commitdiff
|
tree
2020-05-13
N. Engelhardt
Merge pull request #87 from nakengelhardt/cover_trace_summary
commit
|
commitdiff
|
tree
2020-05-13
N. Engelhardt
fix trace summary printing
commit
|
commitdiff
|
tree
2020-05-13
N. Engelhardt
call job.terminate at end of btor engine run to kill...
commit
|
commitdiff
|
tree
2020-05-12
N. Engelhardt
start btorsim as soon as a witness is ready, print...
commit
|
commitdiff
|
tree
2020-04-29
N. Engelhardt
fix return code check in btor engine
commit
|
commitdiff
|
tree
2020-04-29
N. Engelhardt
Merge pull request #85 from nakengelhardt/new_btorsim
commit
|
commitdiff
|
tree
2020-04-08
N. Engelhardt
merge master
commit
|
commitdiff
|
tree
2020-04-08
N. Engelhardt
use info file for btorsim
commit
|
commitdiff
|
tree
2020-04-02
N. Engelhardt
and another
commit
|
commitdiff
|
tree
2020-04-02
N. Engelhardt
fix formatting error
commit
|
commitdiff
|
tree
2020-03-30
N. Engelhardt
fix callback functions
commit
|
commitdiff
|
tree
2020-03-30
N. Engelhardt
add btor cover mode; use btorsim for vcd generation
Signed-off-by:
N. Engelhardt
<nak@symbioticeda.com>
commit
|
commitdiff
|
tree
2020-03-30
N. Engelhardt
remove stray braces
commit
|
commitdiff
|
tree
2020-03-25
N. Engelhardt
Use .format() instead of %
Signed-off-by:
N. Engelhardt
<nak@symbioticeda.com>
commit
|
commitdiff
|
tree