mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-10-23 09:24:35 +00:00
Code Activity
sby/docs/examples/puzzles
History
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
..
.gitignore Improvements in "make test" 2020-07-24 14:58:23 +02:00
djb2hash.sby Add djb2hash example 2020-04-09 19:46:19 +02:00
djb2hash.sv Add djb2hash example 2020-04-09 19:46:19 +02:00
Makefile Use the test Makefile for all examples 2022-06-13 13:42:58 +02:00
pour_853_to_4.sby Add "pour_853_4" puzzle to examples 2018-08-25 18:21:34 +02:00
pour_853_to_4.sv Add "pour_853_4" puzzle to examples 2018-08-25 18:21:34 +02:00
primegen.sby Add "Unexpected response" handling to smtbmc engine 2020-07-20 19:42:10 +02:00
primegen.sv Update examples 2018-06-29 19:32:03 +02:00
wolf_goat_cabbage.sby Update examples 2018-06-29 19:32:03 +02:00
wolf_goat_cabbage.sv Update wolf_goat_cabbage.sv 2020-04-22 19:21:15 +02:00