mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-06 14:24:08 +00:00
Code Activity
111 commits 7 branches 26 tags 1.3 MiB
Commit graph

111 commits

This branch
This branch
All branches
Author SHA1 Message Date
Clifford Wolf 162bdc9a3b Fix bug in handling of chained tasks 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-05-01 14:58:18 +02:00
Clifford Wolf 21d9e5d66f Add comment support in [tasks] section 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-04-19 17:28:18 +02:00
Clifford Wolf 437a401739 Add [script] documentation, add some paragraphs on "verific" command 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-04-18 19:32:58 +02:00
Clifford Wolf f0bf0c155a Typo fix 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-04-13 18:10:22 +02:00
Clifford Wolf 836d54d4c7 Add check for malformed dst filename in [files] section 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-04-13 18:03:35 +02:00
Clifford Wolf 9beb469ad9 Add documentation on [files] and [file ..] sections 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-04-13 16:52:56 +02:00
Clifford Wolf fc7ace7884 Add JUnit XML output file and .stamp files 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-28 13:31:50 +02:00
Clifford Wolf 36c7185393 More improvements in sby error handling 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-27 16:23:57 +02:00
Clifford Wolf 9edc65874c Drastically improve sby error handling 2018-03-27 16:11:43 +02:00
Clifford Wolf 76a624a363 Improve handling of nomem models 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-15 19:11:42 +01:00
Clifford Wolf c003a1b078 Add localtime also to early log messages 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-11 01:26:40 +01:00
Clifford Wolf 93752c6fce Add localtime to log file 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-11 01:06:09 +01: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 ec38b0b841 Add "smtbmc --basecase/--induction" 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-07 22:23:50 +01:00
Clifford Wolf 47729cd61c Add smtbmc --progress option 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-07 22:16:24 +01:00
Clifford Wolf 4d4a9b2e4f Add "mkdir -p" to "make install" 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-07 12:31:56 +01:00
Clifford Wolf 055b305c81 Update verific.rst 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-06 23:46:52 +01:00
Clifford Wolf cfff7095e4 Merge branch 'master' of github.com:cliffordwolf/SymbiYosys 2018-03-06 23:42:09 +01:00
Clifford Wolf 2efa7c2b90 Use memory_nordff in postprocess script 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-06 23:40:08 +01:00
Clifford Wolf f6ab848797 Improvements in [tasks] handling 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-06 18:05:51 +01:00
Clifford Wolf fd0fd88e22 Update verific.rst 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-06 15:41:57 +01:00
Clifford Wolf f151ea733a Update verific.rst 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-06 11:19:27 +01:00
Clifford Wolf fbd5ddb615 Minor format fix in documentation 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-06 01:18:19 +01:00
Clifford Wolf 9e35d16e95 Add more documentation 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-06 01:12:03 +01:00
Clifford Wolf 951211856d Add fib example using tasks 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-06 00:03:54 +01:00
Clifford Wolf d736fb14f9 Slightly change tasks syntax 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-06 00:01:55 +01:00
Clifford Wolf 231d06b7c5 Add documentation for [tasks] section 2018-03-05 13:09:40 +01:00
Clifford Wolf 92b247260a Add tasks in .sby files 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-05 13:09:20 +01:00
Clifford Wolf a94f21abab Add multiclock option 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-04 14:09:16 +01:00
Clifford Wolf e966f3dca4 Add smtbmc --stdt option 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-04 14:08:55 +01:00
Clifford Wolf 4eed5ec8bb Fix --dump-smt2 trace name in cover mode 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-03 19:59:06 +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 23a369e16d Add engines documentation 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
 2018-03-03 15:54:00 +01:00
Clifford Wolf 236f6412c1
Merge pull request #4 from daveshah1/fix_filetop 
Ignore whitespace at top of file
 2018-01-22 14:46:25 +01:00
David Shah c6d25f0045 Ignore whitespace at top of file 
Signed-off-by: David Shah <davey1576@gmail.com>
 2018-01-22 13:00:32 +00:00
Clifford Wolf 221c8d24d7 Improve handling of comments in .sby files 2018-01-19 14:26:42 +01:00
Clifford Wolf 6b730e7779 Add DESTDIR and PREFIX to Makefile 2018-01-17 14:35:46 +01:00
Clifford Wolf 25936009bb Disable unrolling per default for z3 2017-12-14 02:12:08 +01:00
Clifford Wolf 770c6441d8 Add dpmem multiclk example 2017-12-13 19:17:32 +01:00
Clifford Wolf 82f394260a Make --presat and --unroll the default for smtbmc 2017-12-05 17:16:38 +01:00
Clifford Wolf 20b8b8fe9f Add "sby -t", improve handling of stdin 2017-11-24 20:12:58 +01:00
Clifford Wolf bb5e134164
Merge pull request #2 from awygle/scriptability 
Support parsing sby file from stdin
 2017-11-24 19:58:39 +01:00
Andrew Wygle b7c33a72e9 Minimum-modification change for stdin support 2017-11-24 09:57:23 -08:00
Clifford Wolf db9c7e97b8 Add missing prerequisites to quickstart guide 2017-10-28 14:01:42 +02:00
Clifford Wolf 78efd64985 Add "smtbmc --dumpsmt2" 2017-10-23 02:17:39 +02:00
Clifford Wolf b690221f99 Add "smtbmc --unroll" 2017-10-22 10:07:26 +02:00
Clifford Wolf f403b99fae Add wolf_goat_cabbage.v puzzle solver 2017-09-26 19:17:16 +02:00
Clifford Wolf 27da852e38 Remove AIGER from install section 2017-09-21 02:02:31 +02:00
Clifford Wolf 6d0183f6c6 Add gperf to prerequisites 2017-09-21 01:49:18 +02:00