projects
/
SymbiYosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
test uninited FFs with const clks and fix btor script for this
[SymbiYosys.git]
/
sbysrc
/
sby_core.py
2022-07-04
Jannis Harder
test uninited FFs with const clks and fix btor script...
blob
|
commitdiff
|
raw
2022-07-03
Jannis Harder
Merge pull request #170 from programmerjake/add-simchec...
blob
|
commitdiff
|
raw
|
diff to current
2022-06-29
Jannis Harder
Merge pull request #158 from jix/autotune
blob
|
commitdiff
|
raw
|
diff to current
2022-06-27
Jannis Harder
Automatic engine selection
blob
|
commitdiff
|
raw
|
diff to current
2022-06-24
Jannis Harder
sby_design: Extract total memory size and forall usage
blob
|
commitdiff
|
raw
|
diff to current
2022-06-23
Jacob Lifshay
switch to using hierarchy -smtcheck for smtlib2 solvers...
add-simcheck-option
blob
|
commitdiff
|
raw
|
diff to current
2022-06-15
Jannis Harder
Merge pull request #182 from jix/taskloop
blob
|
commitdiff
|
raw
|
diff to current
2022-06-15
Jannis Harder
Decouple taskloop from task
blob
|
commitdiff
|
raw
|
diff to current
2022-06-15
Jannis Harder
Merge pull request #181 from jix/monotonic
blob
|
commitdiff
|
raw
|
diff to current
2022-06-15
Jannis Harder
Use monotonic clock for timeouts
blob
|
commitdiff
|
raw
|
diff to current
2022-06-15
Jannis Harder
Merge pull request #180 from jix/sby-fewer-asserts
blob
|
commitdiff
|
raw
|
diff to current
2022-06-15
Jannis Harder
Don't use python asserts to handle unexpected solver...
blob
|
commitdiff
|
raw
|
diff to current
2022-06-15
Jannis Harder
SbyProc: New error_callback instead of exit_callback...
blob
|
commitdiff
|
raw
|
diff to current
2022-04-25
Jannis Harder
Merge pull request #156 from jix/refactor-tests
blob
|
commitdiff
|
raw
|
diff to current
2022-04-11
Jannis Harder
Add --dumptaskinfo option to output some .sby metadata...
blob
|
commitdiff
|
raw
|
diff to current
2022-04-08
Miodrag Milanović
Merge pull request #140 from nakengelhardt/junit_jny
blob
|
commitdiff
|
raw
|
diff to current
2022-04-06
N. Engelhardt
junit: use write_jny instead of write_json
blob
|
commitdiff
|
raw
|
diff to current
2022-03-30
N. Engelhardt
Merge pull request #150 from nakengelhardt/fix_junit_ty...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-30
Jannis Harder
Merge pull request #147 from jix/smtbmc-keepgoing
blob
|
commitdiff
|
raw
|
diff to current
2022-03-29
N. Engelhardt
note unexpected return statuses in junit
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
N. Engelhardt
Merge pull request #148 from nakengelhardt/docs_updates
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
N. Engelhardt
Merge pull request #145 from nakengelhardt/fix_junit_tr...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-28
N. Engelhardt
Merge pull request #142 from nakengelhardt/fix_backslas...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-26
Miodrag Milanović
Merge pull request #146 from jix/aim_vs_smt2_nonzero_st...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-25
Jannis Harder
Use `-no-startoffset`, avoiding index mismatch between...
blob
|
commitdiff
|
raw
|
diff to current
2022-03-15
Claire Xen
Merge pull request #120 from ythoma/patch-1
blob
|
commitdiff
|
raw
|
diff to current
2022-03-07
N. Engelhardt
Merge pull request #133 from nakengelhardt/sby_junit
blob
|
commitdiff
|
raw
|
diff to current
2022-02-24
N. Engelhardt
add testcase for overall run result
blob
|
commitdiff
|
raw
|
diff to current
2022-02-22
N. Engelhardt
validate junit files (with extra attributes added to...
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
N. Engelhardt
fix induction
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
N. Engelhardt
fix junit error/failure/skipped count
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
N. Engelhardt
handle unreached cover properties
blob
|
commitdiff
|
raw
|
diff to current
2022-02-07
N. Engelhardt
refactor junit print into own function
blob
|
commitdiff
|
raw
|
diff to current
2022-01-31
N. Engelhardt
refactor model to have single base
blob
|
commitdiff
|
raw
|
diff to current
2022-01-27
N. Engelhardt
parse solver location output for assert failures (cover...
blob
|
commitdiff
|
raw
|
diff to current
2022-01-19
N. Engelhardt
create json export and read in properties
blob
|
commitdiff
|
raw
|
diff to current
2022-01-12
Miodrag Milanović
Merge pull request #136 from nakengelhardt/fix_pono
blob
|
commitdiff
|
raw
|
diff to current
2022-01-12
N. Engelhardt
create only a single bad when using pono solver; workar...
blob
|
commitdiff
|
raw
|
diff to current
2022-01-12
N. Engelhardt
Merge pull request #135 from nakengelhardt/rename_task
blob
|
commitdiff
|
raw
|
diff to current
2022-01-11
N. Engelhardt
Rename SbyJob to SbyTask and SbyTask to SbyProc to...
blob
|
commitdiff
|
raw
|
diff to current
2021-10-31
Claire Xenia Wolf
Add support for directories in [files] section
blob
|
commitdiff
|
raw
|
diff to current
2021-10-31
Claire Xenia Wolf
Fixed names and links
blob
|
commitdiff
|
raw
|
diff to current
2021-09-13
Miodrag Milanović
Merge pull request #127 from christian-krieg/feat/updat...
blob
|
commitdiff
|
raw
|
diff to current
2021-08-23
Claire Xen
Merge pull request #126 from piegamesde/master
blob
|
commitdiff
|
raw
|
diff to current
2021-06-26
piegames
Turn .format() strings into f-strings
blob
|
commitdiff
|
raw
|
diff to current
2021-06-21
piegames
Print paths as absolute
blob
|
commitdiff
|
raw
|
diff to current
2021-03-22
Miodrag Milanović
Merge pull request #121 from YosysHQ/windows_fix
blob
|
commitdiff
|
raw
|
diff to current
2021-03-22
Miodrag Milanovic
Windows specific fixes
blob
|
commitdiff
|
raw
|
diff to current
2020-08-22
whitequark
Merge pull request #101 from YosysHQ/program-prefix
blob
|
commitdiff
|
raw
|
diff to current
2020-08-22
whitequark
Add a PROGRAM_PREFIX= Makefile option for packages...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-31
Marcelina Kościelnicka
Run dffunmap before writing the design with aiger/btor...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-09
clairexen
Merge pull request #99 from whitequark/patch-1
blob
|
commitdiff
|
raw
|
diff to current
2020-07-05
whitequark
Inject executable dependencies from the environment
blob
|
commitdiff
|
raw
|
diff to current
2020-07-03
clairexen
Merge pull request #98 from YosysHQ/cosa2_to_pono
blob
|
commitdiff
|
raw
|
diff to current
2020-07-03
Miodrag Milanovic
cosa2 -> pono rename
blob
|
commitdiff
|
raw
|
diff to current
2020-07-01
clairexen
Merge pull request #97 from nakengelhardt/seed_arg
blob
|
commitdiff
|
raw
|
diff to current
2020-07-01
clairexen
Merge pull request #94 from nakengelhardt/fix_93
blob
|
commitdiff
|
raw
|
diff to current
2020-07-01
clairexen
Merge pull request #96 from YosysHQ/claire/btorscript
blob
|
commitdiff
|
raw
|
diff to current
2020-06-23
Claire Wolf
Be more conservative in btor ys script
blob
|
commitdiff
|
raw
|
diff to current
2020-06-16
N. Engelhardt
ignore race condition in killing already-terminated...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-18
clairexen
Merge pull request #88 from YosysHQ/claire/cosa2
blob
|
commitdiff
|
raw
|
diff to current
2020-05-18
Claire Wolf
Add support for cosa2 BTOR solver
blob
|
commitdiff
|
raw
|
diff to current
2020-05-13
N. Engelhardt
Merge pull request #87 from nakengelhardt/cover_trace_s...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-08
Claire Wolf
Add silent mode to SbyTask
blob
|
commitdiff
|
raw
|
diff to current
2020-04-29
N. Engelhardt
Merge pull request #85 from nakengelhardt/new_btorsim
blob
|
commitdiff
|
raw
|
diff to current
2020-04-08
N. Engelhardt
merge master
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Claire Wolf
Merge pull request #74 from mattvenn/master
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Claire Wolf
Merge pull request #73 from nakengelhardt/str_format
blob
|
commitdiff
|
raw
|
diff to current
2020-03-30
N. Engelhardt
add btor cover mode; use btorsim for vcd generation
blob
|
commitdiff
|
raw
|
diff to current
2020-03-25
N. Engelhardt
Use .format() instead of %
blob
|
commitdiff
|
raw
|
diff to current
2020-02-11
Claire Wolf
Improve BTOR and AIG yosys scripts
blob
|
commitdiff
|
raw
|
diff to current
2020-01-27
Claire Wolf
Add special handling for command not found errors
blob
|
commitdiff
|
raw
|
diff to current
2020-01-21
Claire Wolf
Merge pull request #67 from mmicko/mmicko/windows_fix
blob
|
commitdiff
|
raw
|
diff to current
2020-01-15
Miodrag Milanovic
Added sleep for non-posix, allow supported signals
blob
|
commitdiff
|
raw
|
diff to current
2019-11-17
Miodrag Milanovic
Fix sby execution on Windows
blob
|
commitdiff
|
raw
|
diff to current
2019-08-01
Clifford Wolf
Merge pull request #55 from YosysHQ/q3k/fix-bash
blob
|
commitdiff
|
raw
|
diff to current
2019-07-24
Serge Bazanski
sby_core: fix hardcoded /bin/bash path
blob
|
commitdiff
|
raw
|
diff to current
2019-06-27
Clifford Wolf
Merge branch 'feature_file_paths' of https://github...
blob
|
commitdiff
|
raw
|
diff to current
2019-05-08
Jeppe Johansen
Add support for expanding environment variables.
blob
|
commitdiff
|
raw
|
diff to current
2019-05-01
Clifford Wolf
Check if config contains any engines, fixes #38
blob
|
commitdiff
|
raw
|
diff to current
2019-04-30
Clifford Wolf
Fix re-run in same directory feature
blob
|
commitdiff
|
raw
|
diff to current
2019-03-22
Clifford Wolf
Add extra "setundef -anyseq" to aiger script
blob
|
commitdiff
|
raw
|
diff to current
2019-03-21
Clifford Wolf
Backward compatibility with Python 3.4 API
blob
|
commitdiff
|
raw
|
diff to current
2019-03-21
Clifford Wolf
Significantly improve management of child processes
blob
|
commitdiff
|
raw
|
diff to current
2019-03-20
Clifford Wolf
Improve logfile/output flushing
blob
|
commitdiff
|
raw
|
diff to current
2019-03-20
Clifford Wolf
Do not overwrite config.sby in reusedir mode
blob
|
commitdiff
|
raw
|
diff to current
2019-03-19
Clifford Wolf
Merge pull request #33 from cr1901/no-resource
blob
|
commitdiff
|
raw
|
diff to current
2019-03-18
William D. Jones
Annotate cmdline comment, summary string, and output...
blob
|
commitdiff
|
raw
|
diff to current
2019-03-18
William D. Jones
Choose command separator for tasks based on OS.
blob
|
commitdiff
|
raw
|
diff to current
2019-03-12
William D. Jones
Merge branch 'master' into no-resource
blob
|
commitdiff
|
raw
|
diff to current
2019-03-12
Clifford Wolf
Merge pull request #32 from cr1901/win-shell
blob
|
commitdiff
|
raw
|
diff to current
2019-03-10
William D. Jones
Gate Unix-specific functionality from resources and...
blob
|
commitdiff
|
raw
|
diff to current
2019-03-09
Clifford Wolf
Add support for (re-)running in existing workdir
blob
|
commitdiff
|
raw
|
diff to current
2018-12-08
Clifford Wolf
Fixes and improvements in BTOR engine
blob
|
commitdiff
|
raw
|
diff to current
2018-12-08
Clifford Wolf
Merge pull request #22 from YosysHQ/btor
blob
|
commitdiff
|
raw
|
diff to current
2018-12-08
Clifford Wolf
Working BTOR BMC engine
blob
|
commitdiff
|
raw
|
diff to current
2018-12-08
Clifford Wolf
Add btor engine
blob
|
commitdiff
|
raw
|
diff to current
2018-11-12
Clifford Wolf
Generate AIGERs with -I -B
blob
|
commitdiff
|
raw
|
diff to current
2018-09-12
Clifford Wolf
Add "skip" options (smtbmc only)
blob
|
commitdiff
|
raw
|
diff to current
2018-07-19
Clifford Wolf
Use async2sync for "multiclock off" mode
blob
|
commitdiff
|
raw
|
diff to current
next