Turn .format() strings into f-strings

Allow to set a working directory even when having multiple tasks

Fixes #125.

Print paths as absolute

This generally makes debugging path issues easier.

Update docs conf.py

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>

New docs conf.py

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>

Make readme of abstraction example more tutorial-like

Merge pull request #121 from YosysHQ/windows_fix

Windows specific fixes

Windows specific fixes

Update conf.py

Delete symbiotic_logo.png

Update conf.py

Fix syntax errors

Extract installation procedure to separate file

copyright

logo and links

Merge pull request #116 from nakengelhardt/sed_mac

make install: mac OS compatible sed usage

sed -i option is not posix, and argument syntax is incompatible between mac and linux. use redirects instead

Merge pull request #115 from nakengelhardt/rename_test

rename make test to make ci

rename make test to make ci

Merge pull request #101 from YosysHQ/program-prefix

Add a PROGRAM_PREFIX= Makefile option for packages with prefixed Yosys

Add a PROGRAM_PREFIX= Makefile option for packages with prefixed Yosys.

Run dffunmap before writing the design with aiger/btor/smt2 backends.

fix test rule

Remove redundant copy of picorv32

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Improvements in "make test"

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Merge pull request #104 from nakengelhardt/more_tests

add tests directory with additional tests

add tests directory with additional tests

fix error message formatting

Include verilog source files for demo1.sby

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Merge pull request #102 from YosysHQ/claire/maketest

Add "make test"

Add "Unexpected response" handling to smtbmc engine

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Add "make test"

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Merge pull request #99 from whitequark/patch-1

Inject executable dependencies from the environment

Merge pull request #100 from edbordin/master

Use latest windows python launcher from yosys

use latest win python launcher from yosys

Inject executable dependencies from the environment

Merge pull request #98 from YosysHQ/cosa2_to_pono

cosa2 -> pono rename

cosa2 -> pono rename

Merge pull request #97 from nakengelhardt/seed_arg

add --seed option to smtbmc and btor engines

Merge pull request #94 from nakengelhardt/fix_93

ignore race condition in killing already-terminated process

add --seed option to smtbmc and btor engines

Merge pull request #96 from YosysHQ/claire/btorscript

Be more conservative in btor ys script

Merge pull request #95 from adumont/patch-1

Typo: missing * in Global Clock example

Tipo missing * in Global Clock example

Be more conservative in btor ys script

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

ignore race condition in killing already-terminated process

Merge pull request #88 from YosysHQ/claire/cosa2

Add support for cosa2 BTOR solver

Add support for cosa2 BTOR solver

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

btor engine: handle models with 0 properties

Merge pull request #87 from nakengelhardt/cover_trace_summary

Trace generation improvements

fix trace summary printing

call job.terminate at end of btor engine run to kill other engines in case of whoever-gets-there-first runs

start btorsim as soon as a witness is ready, print summary when multiple traces are produced

Add silent mode to SbyTask

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

fix return code check in btor engine

Merge pull request #85 from nakengelhardt/new_btorsim

Note that the btor engine now requires changes not upstreamed to btor2tools yet, see btor2tools/pull/4

Update wolf_goat_cabbage.sv

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Merge pull request #86 from mattvenn/master

make wolf goat cabbage puzzle gender neutral

consistent naming and put person moving line at the top

Merge branch 'master' of https://github.com/YosysHQ/SymbiYosys

change order of statements and make gender neutral

Add task pattern matching, closes #76

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Add a status message when one or more tasks returned a non-zero return code, closes #78

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Add djb2hash example

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

merge master

use info file for btorsim

Get rid of verific warning in abstraction example

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Fix typo

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Merge pull request #74 from mattvenn/master

add --init-config option

and another

fix formatting error

Merge pull request #73 from nakengelhardt/str_format

Use .format() instead of %

fix callback functions

add btor cover mode; use btorsim for vcd generation

Signed-off-by: N. Engelhardt <nak@symbioticeda.com>

remove stray braces

use argument for name of .sby and .sv files

add --init-config option

Use .format() instead of %

Signed-off-by: N. Engelhardt <nak@symbioticeda.com>

Fix primegen example

Signed-off-by: Claire Wolf <claire@symbioticeda.com>

Improve BTOR and AIG yosys scripts

Signed-off-by: Claire Wolf <clifford@clifford.at>

Merge pull request #70 from dh73/master

Fix typo in log message

Fix typo in log message

Add special handling for command not found errors

Signed-off-by: Claire Wolf <clifford@clifford.at>

Merge pull request #67 from mmicko/mmicko/windows_fix

Fix sby execution on Windows

Added sleep for non-posix, allow supported signals

Fix sby execution on Windows

Use lowercase for non-final smtbmc status, treat PREUNSAT as ERROR

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Fix YosysHQ links

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #55 from YosysHQ/q3k/fix-bash

sby_core: fix hardcoded /bin/bash path

sby_core: fix hardcoded /bin/bash path

Not all systems (eg. BSDs, NixOS) have a /bin/bash. The de-facto standard for maximum compatibility
these days is using /usr/bin/env bash.

Documentation update: Boolector is using the MIT license now

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Cleanup some command line option oddities

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge branch 'feature_file_paths' of https://github.com/gs-jgj/SymbiYosys into staging

Fix default argument for tasknames

Switch from getopt to argparse

Add docs/examples/abstract/.gitignore

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Fix quickstart demo to work with verific

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Merge pull request #49 from ZipCPU/verilog-doc

Updated Verilog documentation

Updated Verilog documentation

Add dumpfiles command line argument.

Signed-off-by: Jeppe Johansen <jgj@gomspace.com>