projects
/
SymbiYosys.git
/ history
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
[SymbiYosys.git]
/
sbysrc
/
2022-07-13
Jannis Harder
Merge pull request #195 from jix/sbyproc-truncated...
master
tree
|
commitdiff
2022-07-13
Jannis Harder
Merge pull request #193 from jix/abc_pdr_v
tree
|
commitdiff
2022-07-13
Jannis Harder
Fix a race-condition SbyProc that could truncate output
tree
|
commitdiff
2022-07-08
Jannis Harder
abc pdr: Enable log output by default
tree
|
commitdiff
2022-07-06
Jannis Harder
Merge pull request #191 from jix/early-readconfig
tree
|
commitdiff
2022-07-06
Jannis Harder
Merge pull request #192 from jix/win_retcode
tree
|
commitdiff
2022-07-06
Jannis Harder
Make SbyProc hide Windows differences in retcode handling
tree
|
commitdiff
2022-07-05
Jannis Harder
Read config before creating a workdir
tree
|
commitdiff
2022-07-04
Jannis Harder
Merge pull request #187 from jix/const_clocks
tree
|
commitdiff
2022-07-04
Jannis Harder
test uninited FFs with const clks and fix btor script...
tree
|
commitdiff
2022-07-03
Jannis Harder
Merge pull request #170 from programmerjake/add-simchec...
tree
|
commitdiff
2022-06-29
Jannis Harder
Merge pull request #158 from jix/autotune
tree
|
commitdiff
2022-06-27
Jannis Harder
Automatic engine selection
tree
|
commitdiff
2022-06-24
Jannis Harder
sby_design: Extract total memory size and forall usage
tree
|
commitdiff
2022-06-24
Jannis Harder
Merge pull request #185 from georgerennie/prefix_empty_...
tree
|
commitdiff
2022-06-23
Jannis Harder
Merge pull request #183 from jix/engine-option-docs
tree
|
commitdiff
2022-06-23
Jannis Harder
Merge pull request #184 from jix/smtbmc-keepgoing-induc...
tree
|
commitdiff
2022-06-23
Jannis Harder
smtbmc: Fix induction trace filename with --keep-going...
tree
|
commitdiff
2022-06-23
Jacob Lifshay
switch to using hierarchy -smtcheck for smtlib2 solvers...
add-simcheck-option
tree
|
commitdiff
2022-06-18
George Rennie
Use default prefix directory when no task is specified
tree
|
commitdiff
2022-06-15
Jannis Harder
Merge pull request #182 from jix/taskloop
tree
|
commitdiff
2022-06-15
Jannis Harder
Decouple taskloop from task
tree
|
commitdiff
2022-06-15
Jannis Harder
Merge pull request #181 from jix/monotonic
tree
|
commitdiff
2022-06-15
Jannis Harder
Use monotonic clock for timeouts
tree
|
commitdiff
2022-06-15
Jannis Harder
Merge pull request #180 from jix/sby-fewer-asserts
tree
|
commitdiff
2022-06-15
Jannis Harder
Don't use python asserts to handle unexpected solver...
tree
|
commitdiff
2022-06-15
Jannis Harder
SbyProc: New error_callback instead of exit_callback...
tree
|
commitdiff
2022-06-15
Jannis Harder
Merge pull request #179 from jix/btor-option-handling
tree
|
commitdiff
2022-06-15
Jannis Harder
btor pono: improve option handling
tree
|
commitdiff
2022-06-14
Jannis Harder
Merge pull request #178 from jix/aiger-aigbmc-fixes
tree
|
commitdiff
2022-06-14
Jannis Harder
aiger: check supported modes and aigbmc fixes
tree
|
commitdiff
2022-06-13
Jannis Harder
Merge pull request #172 from jix/smtbmc-unroll-noincr...
tree
|
commitdiff
2022-06-13
Jannis Harder
Merge pull request #175 from jix/more-test-improvements
tree
|
commitdiff
2022-06-13
Jannis Harder
Use the test Makefile for all examples
tree
|
commitdiff
2022-06-10
Jannis Harder
Merge pull request #173 from jix/test-cvc
tree
|
commitdiff
2022-06-10
Jannis Harder
Merge pull request #164 from jix/suggest_f_flag
tree
|
commitdiff
2022-05-30
Jannis Harder
Suggest -f when the workdir already exists
tree
|
commitdiff
2022-04-25
Jannis Harder
Merge pull request #156 from jix/refactor-tests
tree
|
commitdiff
2022-04-11
Jannis Harder
Add --dumptaskinfo option to output some .sby metadata...
tree
|
commitdiff
2022-04-11
Jannis Harder
Add envvar to enable automatic .gitignore creation...
tree
|
commitdiff
2022-04-08
Miodrag Milanović
Merge pull request #140 from nakengelhardt/junit_jny
tree
|
commitdiff
2022-04-06
N. Engelhardt
junit: use write_jny instead of write_json
tree
|
commitdiff
2022-03-31
Jannis Harder
Merge pull request #154 from jix/sby_design-fixes
tree
|
commitdiff
2022-03-31
Jannis Harder
Fix design_hierarchy handling of $paramod cells
tree
|
commitdiff
2022-03-31
Jannis Harder
Fix variable name in find_property_by_cellname's error...
tree
|
commitdiff
2022-03-30
Jannis Harder
Merge pull request #151 from jix/prefer-first-trace
tree
|
commitdiff
2022-03-30
Jannis Harder
Prefer the first tracefile for each failing assertion
tree
|
commitdiff
2022-03-30
N. Engelhardt
Merge pull request #150 from nakengelhardt/fix_junit_ty...
tree
|
commitdiff
2022-03-30
Jannis Harder
Merge pull request #147 from jix/smtbmc-keepgoing
tree
|
commitdiff
2022-03-29
N. Engelhardt
note unexpected return statuses in junit
tree
|
commitdiff
2022-03-28
N. Engelhardt
Merge pull request #148 from nakengelhardt/docs_updates
tree
|
commitdiff
2022-03-28
N. Engelhardt
Merge pull request #145 from nakengelhardt/fix_junit_tr...
tree
|
commitdiff
2022-03-28
N. Engelhardt
Merge pull request #142 from nakengelhardt/fix_backslas...
tree
|
commitdiff
2022-03-26
Miodrag Milanović
Merge pull request #146 from jix/aim_vs_smt2_nonzero_st...
tree
|
commitdiff
2022-03-25
Jannis Harder
Use `-no-startoffset`, avoiding index mismatch between...
tree
|
commitdiff
2022-03-24
Jannis Harder
Initial support for the new smtbmc --keep-going option
tree
|
commitdiff
2022-03-22
N. Engelhardt
junit: handle multiple asserts failing with the same...
tree
|
commitdiff
2022-03-22
N. Engelhardt
translate backslashes in cell names the same way as...
tree
|
commitdiff
2022-03-15
Claire Xen
Merge pull request #120 from ythoma/patch-1
tree
|
commitdiff
2022-03-07
N. Engelhardt
Merge pull request #133 from nakengelhardt/sby_junit
tree
|
commitdiff
2022-02-24
N. Engelhardt
add testcase for overall run result
tree
|
commitdiff
2022-02-22
N. Engelhardt
validate junit files (with extra attributes added to...
tree
|
commitdiff
2022-02-07
N. Engelhardt
fix induction
tree
|
commitdiff
2022-02-07
N. Engelhardt
fix junit error/failure/skipped count
tree
|
commitdiff
2022-02-07
N. Engelhardt
handle unreached cover properties
tree
|
commitdiff
2022-02-07
N. Engelhardt
refactor junit print into own function
tree
|
commitdiff
2022-02-06
N. Engelhardt
handle status of cover properties
tree
|
commitdiff
2022-01-31
N. Engelhardt
refactor model to have single base
tree
|
commitdiff
2022-01-27
N. Engelhardt
parse solver location output for assert failures (cover...
tree
|
commitdiff
2022-01-21
N. Engelhardt
add fallback if solver can't tell which property fails
tree
|
commitdiff
2022-01-19
N. Engelhardt
create json export and read in properties
tree
|
commitdiff
2022-01-13
N. Engelhardt
WIP change junit print to conform to schema; needs...
tree
|
commitdiff
2022-01-12
Miodrag Milanović
Merge pull request #136 from nakengelhardt/fix_pono
tree
|
commitdiff
2022-01-12
N. Engelhardt
create only a single bad when using pono solver; workar...
tree
|
commitdiff
2022-01-12
N. Engelhardt
use --witness option when calling pono
tree
|
commitdiff
2022-01-12
N. Engelhardt
Merge pull request #135 from nakengelhardt/rename_task
tree
|
commitdiff
2022-01-11
N. Engelhardt
Rename SbyJob to SbyTask and SbyTask to SbyProc to...
tree
|
commitdiff
2021-12-18
Claire Xenia Wolf
Improvements and cleanups in tasks handling
tree
|
commitdiff
2021-12-17
Claire Xenia Wolf
Fixed [tasks] section parsing
tree
|
commitdiff
2021-12-17
Claire Xenia Wolf
Add ":"-syntax for [tasks] section
tree
|
commitdiff
2021-10-31
Claire Xenia Wolf
Add support for directories in [files] section
tree
|
commitdiff
2021-10-31
Claire Xenia Wolf
Fixed names and links
tree
|
commitdiff
2021-09-13
Miodrag Milanović
Merge pull request #127 from christian-krieg/feat/updat...
tree
|
commitdiff
2021-08-25
Miodrag Milanovic
Fix regression
tree
|
commitdiff
2021-08-25
Miodrag Milanovic
Initialize variable
tree
|
commitdiff
2021-08-23
Claire Xen
Merge pull request #126 from piegamesde/master
tree
|
commitdiff
2021-07-12
piegames
fixup! Allow to set a working directory even when havin...
tree
|
commitdiff
2021-06-26
piegames
Better error message when tasks failed
tree
|
commitdiff
2021-06-26
piegames
Turn .format() strings into f-strings
tree
|
commitdiff
2021-06-21
piegames
Allow to set a working directory even when having multi...
tree
|
commitdiff
2021-06-21
piegames
Print paths as absolute
tree
|
commitdiff
2021-03-22
Miodrag Milanović
Merge pull request #121 from YosysHQ/windows_fix
tree
|
commitdiff
2021-03-22
Miodrag Milanovic
Windows specific fixes
tree
|
commitdiff
2021-01-26
Miodrag Milanovic
Fix syntax errors
tree
|
commitdiff
2020-08-22
whitequark
Merge pull request #101 from YosysHQ/program-prefix
tree
|
commitdiff
2020-08-22
whitequark
Add a PROGRAM_PREFIX= Makefile option for packages...
tree
|
commitdiff
2020-07-31
Marcelina Kościelnicka
Run dffunmap before writing the design with aiger/btor...
tree
|
commitdiff
2020-07-24
clairexen
Merge pull request #104 from nakengelhardt/more_tests
tree
|
commitdiff
2020-07-24
N. Engelhardt
add tests directory with additional tests
tree
|
commitdiff
2020-07-21
N. Engelhardt
fix error message formatting
tree
|
commitdiff
next