Miodrag Milanović
02a5b71982
Merge pull request #138 from YosysHQ/mmicko/ci
...
Added CI
2022-01-12 14:24:51 +01:00
Miodrag Milanovic
ab5ff32b31
Added CI
2022-01-12 14:18:17 +01:00
Miodrag Milanović
f878a0e517
Merge pull request #136 from nakengelhardt/fix_pono
...
use --witness option when calling pono
2022-01-12 13:46:25 +01:00
N. Engelhardt
257a57d8ed
create only a single bad when using pono solver; workaround for #137
2022-01-12 13:18:54 +01:00
N. Engelhardt
ad07ea0e85
add testcase exposing #137
2022-01-12 11:06:05 +01:00
N. Engelhardt
5a04ac3fcc
use --witness option when calling pono
2022-01-12 10:55:08 +01:00
N. Engelhardt
f5a41e5ab1
Merge pull request #135 from nakengelhardt/rename_task
...
Rename SbyJob to SbyTask and SbyTask to SbyProc to reduce confusion
2022-01-12 10:52:42 +01:00
N. Engelhardt
63bf8457d7
Merge pull request #134 from nakengelhardt/advertise_suite_in_readme
...
mention tabby+oss cad suite in readme
2022-01-11 17:34:35 +01:00
N. Engelhardt
7c9e5b026b
Rename SbyJob to SbyTask and SbyTask to SbyProc to reduce confusion. Config file tasks now correspond to SbyTasks.
2022-01-11 17:08:56 +01:00
N. Engelhardt
9af6e220f9
mention tabby+oss cad suite in readme
2022-01-04 16:32:59 +01:00
Claire Xenia Wolf
ac9001b22c
Improvements and cleanups in tasks handling
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-12-18 11:36:34 +01:00
Claire Xenia Wolf
f1d3be3914
Fixed [tasks] section parsing
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-12-17 20:57:19 +01:00
Claire Xen
f7f5135508
Update README.md
2021-12-17 15:50:57 +01:00
Claire Xen
7f2c4189dc
Update README.md
2021-12-17 15:48:01 +01:00
Claire Xenia Wolf
4a07e026dd
Add inductive invariants example
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-12-17 15:42:04 +01:00
Claire Xenia Wolf
ab9d4fd3cf
Add ":"-syntax for [tasks] section
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-12-17 15:36:35 +01:00
Claire Xenia Wolf
b409b1179e
Update docs theme
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-11-30 10:47:43 +01:00
Claire Xenia Wolf
38562a5bb9
Update docs theme
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-11-29 16:51:54 +01:00
Claire Xenia Wolf
882d5b3a96
update docs theme
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-11-26 20:34:55 +01:00
Claire Xenia Wolf
5d19e4641a
Add support for directories in [files] section
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-10-31 14:43:02 +01:00
Claire Xenia Wolf
1b3832cf92
Fixed names and links
2021-10-31 14:42:39 +01:00
Miodrag Milanović
15278f1346
Merge pull request #127 from christian-krieg/feat/update-docs_super-prove
...
Updated install instructions for super_prove
2021-09-13 16:21:18 +02:00
Miodrag Milanovic
863a53b312
Fix regression
2021-08-25 12:10:18 +02:00
Miodrag Milanovic
156cc5d8c9
Initialize variable
2021-08-25 11:38:24 +02:00
Claire Xen
dd60141f0d
Merge pull request #126 from piegamesde/master
...
Various improvements and fixes
2021-08-23 16:03:03 +02:00
Christian Krieg
21371fb7ac
Updated install instructions for super_prove
...
* Links were dead
* No binaries to download
* Updated with install information from super_prove github repository
* Augmented with additional commands to ease installation
2021-07-20 22:33:28 +02:00
piegames
bb19bca77c
fixup! Allow to set a working directory even when having multiple tasks
2021-07-12 16:14:48 +02:00
piegames
874d13ff89
Better error message when tasks failed
2021-06-26 19:46:30 +02:00
piegames
2d7d48885b
Turn .format() strings into f-strings
2021-06-26 19:46:30 +02:00
piegames
1f6700f21d
Allow to set a working directory even when having multiple tasks
...
Fixes #125 .
2021-06-21 22:32:29 +02:00
piegames
99aca04638
Print paths as absolute
...
This generally makes debugging path issues easier.
2021-06-21 22:31:53 +02:00
Claire Xenia Wolf
66a458958d
Update docs conf.py
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-05-21 03:36:11 +02:00
Claire Xenia Wolf
dac0e1b69b
New docs conf.py
...
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
2021-05-21 03:31:50 +02:00
N. Engelhardt
f5f1d9936f
Make readme of abstraction example more tutorial-like
2021-04-16 15:54:51 +02:00
Miodrag Milanović
4db5d70c34
Merge pull request #121 from YosysHQ/windows_fix
...
Windows specific fixes
2021-03-22 16:51:11 +01:00
Miodrag Milanovic
ecf7b8f1b0
Windows specific fixes
2021-03-22 16:48:33 +01:00
Claire Xen
1ffef12cf1
Update conf.py
2021-03-04 16:49:31 +01:00
Claire Xen
ddd44fc30b
Delete symbiotic_logo.png
2021-02-24 17:52:54 +01:00
Claire Xen
9aa0963f26
Update conf.py
2021-02-24 17:48:13 +01:00
Miodrag Milanovic
605db98382
Fix syntax errors
2021-01-26 09:09:43 +01:00
Miodrag Milanovic
091222b87f
Extract installation procedure to separate file
2020-10-23 14:03:55 +02:00
Matt Venn
37a1fec120
copyright
2020-10-15 18:02:03 +02:00
Matt Venn
81258745eb
logo and links
2020-10-15 17:02:52 +02:00
N. Engelhardt
cc1becc1bf
Merge pull request #116 from nakengelhardt/sed_mac
...
make install: mac OS compatible sed usage
2020-10-12 13:01:15 +02:00
N. Engelhardt
7148bdd785
sed -i option is not posix, and argument syntax is incompatible between mac and linux. use redirects instead
2020-10-09 12:04:19 +02:00
Miodrag Milanović
93d65cc865
Merge pull request #115 from nakengelhardt/rename_test
...
rename make test to make ci
2020-09-11 16:28:32 +02:00
N. Engelhardt
9f77a4a5f1
rename make test to make ci
2020-09-11 13:22:07 +02:00
whitequark
33b0bb7d83
Merge pull request #101 from YosysHQ/program-prefix
...
Add a PROGRAM_PREFIX= Makefile option for packages with prefixed Yosys
2020-08-22 14:49:25 +00:00
whitequark
287e33a47f
Add a PROGRAM_PREFIX= Makefile option for packages with prefixed Yosys.
2020-08-22 14:45:47 +00:00
Marcelina Kościelnicka
b172357161
Run dffunmap before writing the design with aiger/btor/smt2 backends.
2020-07-31 16:37:25 +02:00
