Jannis Harder
499371fd39
Use the test Makefile for all examples
...
* Rename and move sbysrc/demo[123].sby to docs/examples/demos
* Make them use multiple tasks for multiple engines
* Scan docs/examples for sby files for make test
* `make ci` is now `NOSKIP` by default
* Skip scripts using `verific` w/o yosys verific support
* This does not fail even with NOSKIP set
2022-06-13 13:42:58 +02:00
Claire Wolf
5a9efba584
Improvements in "make test"
...
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
2020-07-24 14:58:23 +02:00
Claire Wolf
0d98201dc7
Add "Unexpected response" handling to smtbmc engine
...
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
2020-07-20 19:42:10 +02:00
Claire Wolf
b26d4e6362
Update wolf_goat_cabbage.sv
...
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
2020-04-22 19:21:15 +02:00
matt venn
68127a3706
consistent naming and put person moving line at the top
2020-04-22 19:11:23 +02:00
matt venn
94ce8e1288
Merge branch 'master' of https://github.com/YosysHQ/SymbiYosys
2020-04-22 17:54:53 +02:00
matt venn
9d69f8a518
change order of statements and make gender neutral
2020-04-22 17:54:39 +02:00
Claire Wolf
3ec2b6b4e4
Add djb2hash example
...
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
2020-04-09 19:46:19 +02:00
Claire Wolf
8a62780b9d
Fix primegen example
...
Signed-off-by: Claire Wolf <claire@symbioticeda.com>
2020-03-24 17:12:12 +01:00
Clifford Wolf
6e53db0a66
Add "pour_853_4" puzzle to examples
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-08-25 18:21:34 +02:00
Clifford Wolf
c5e5f5dcbb
Update examples
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-06-29 19:32:03 +02:00
Clifford Wolf
2c13fbefe6
Extend primegen example
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-07 23:10:53 +01:00
Clifford Wolf
0f21d01460
Add primegen example
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-03 19:58:35 +01:00
Clifford Wolf
35a5fb94f1
Add wolf_goat_cabbage.sby
...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
2018-03-03 19:28:26 +01:00
Clifford Wolf
f403b99fae
Add wolf_goat_cabbage.v puzzle solver
2017-09-26 19:17:16 +02:00
