110 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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
Clifford Wolf	3f1cbb0706	Update quickstart.rst	2017-09-14 03:29:12 +02:00