359 commits

Author	SHA1	Message	Date
Eddie Hung	66607845ec	Remove Xilinx test	2019-08-22 16:18:07 -07:00
Eddie Hung	e7a8cdbccf	Add shregmap -tech xilinx test	2019-08-22 16:16:54 -07:00
Eddie Hung	a6776ee35e	mem2reg to preserve user attributes and src	2019-08-21 13:36:01 -07:00
Clifford Wolf	1e3dd0a2da	Merge branch 'master' of github.com:YosysHQ/yosys into clifford/pmgen	2019-08-19 13:04:06 +02:00
Eddie Hung	e34f2de55d	Merge remote-tracking branch 'origin/master' into clifford/testfast	2019-08-18 21:29:15 -07:00
Eddie Hung	f5170a7eda	Removal of more stat calls from tests	2019-08-18 21:28:45 -07:00
whitequark	101235400c	Merge branch 'master' into eddie/pr1266_again	2019-08-18 08:04:10 +00:00
Clifford Wolf	9e940f1276	Speed up "make test" and related cleanups ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-08-17 14:37:07 +02:00
Clifford Wolf	f20be90436	Add test for pmtest_test "reduce" demo pattern ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-08-17 14:05:10 +02:00
Clifford Wolf	40c40d9f5d	Do not use Verific in tests/various/write_gzip.ys ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-08-16 14:22:46 +02:00
Eddie Hung	12c692f6ed	Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_adder" ... This reverts commit c851dc1310, reversing changes made to f54bf1631f.	2019-08-12 12:06:45 -07:00
Eddie Hung	88d5185596	Merge remote-tracking branch 'origin/master' into eddie/fix_1262	2019-08-11 21:13:40 -07:00
David Shah	f9020ce2b3	Revert "Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER"	2019-08-10 17:14:48 +01:00
Eddie Hung	8bf45f34c4	Remove dump call	2019-08-07 21:36:02 -07:00
Eddie Hung	2b6cdfb39f	Move tests/various/opt* into tests/opt/	2019-08-07 21:35:48 -07:00
Eddie Hung	35bf509603	Add testcase from removed opt_ff.{v,ys}	2019-08-07 21:31:32 -07:00
Eddie Hung	2d1b517b01	Add signed opt_expr tests	2019-08-06 15:40:30 -07:00
Eddie Hung	769c750c22	Add signed test	2019-08-06 15:38:43 -07:00
Eddie Hung	51b39219cd	Move LSB tests from wreduce to opt_expr	2019-08-06 15:24:49 -07:00
Eddie Hung	26cb3e7afc	Merge remote-tracking branch 'origin/master' into eddie/wreduce_add	2019-08-06 14:50:00 -07:00
David Shah	3a3da678ad	Add test for writing gzip-compressed files ... Signed-off-by: David Shah <dave@ds0.me>	2019-08-06 17:43:04 +01:00
David Shah	933db0410e	Add support for reading gzip'd input files ... Signed-off-by: David Shah <dave@ds0.me>	2019-07-26 10:23:58 +01:00
Eddie Hung	c926eeb43a	Add another test	2019-07-19 14:02:46 -07:00
Eddie Hung	5bd088a686	Add one more test with trimming Y_WIDTH of $sub	2019-07-19 13:11:30 -07:00
Eddie Hung	415a2716df	Be more explicit	2019-07-19 12:53:18 -07:00
Eddie Hung	4e9b1d36fa	Add tests for sub too	2019-07-19 12:50:11 -07:00
Eddie Hung	3839bd50f2	Add test	2019-07-19 12:43:02 -07:00
Eddie Hung	41243a53b3	Update test with more accurate LUT mask	2019-07-12 21:00:59 -07:00
Clifford Wolf	9546ccdbd3	Fix tests/various/async FFL test ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-07-09 22:44:39 +02:00
Clifford Wolf	5138621482	Improve tests/various/async, disable failing ffl test ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-07-09 22:21:25 +02:00
Clifford Wolf	c18b23f055	Add tests/various/async.{sh,v} ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-07-09 20:58:59 +02:00
Clifford Wolf	3dd92fcd15	Improve tests/various/run-test.sh ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-07-09 20:58:28 +02:00
Eddie Hung	de26328130	Merge pull request #1156 from YosysHQ/eddie/fix_abc9_unknown_cell ... write_xaiger to treat unknown cell connections as keep-s	2019-07-03 09:43:00 -07:00
Clifford Wolf	e38b2ac648	Merge pull request #1147 from YosysHQ/clifford/fix1144 ... Improve specify dummy parser	2019-07-03 12:30:37 +02:00
Clifford Wolf	1f173210eb	Fix tests/various/specify.v ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-07-03 11:25:05 +02:00
Clifford Wolf	ba36567908	Some cleanups in "ignore specify parser" ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-07-03 11:22:10 +02:00
Eddie Hung	9c556e3c02	Add test	2019-07-02 19:13:40 -07:00
Eddie Hung	81a717e9b7	Update test for Pass::call_on_module()	2019-07-02 08:22:31 -07:00
Eddie Hung	90382a0f6d	Update test too	2019-07-02 08:19:23 -07:00
Eddie Hung	04459cb30a	Comment out invalid syntax	2019-06-30 11:48:01 -07:00
Eddie Hung	64f6b0c747	Try command in another module	2019-06-28 13:41:32 -07:00
Eddie Hung	2c6aaef3db	Add test	2019-06-28 13:32:09 -07:00
Eddie Hung	dc677c791d	Add test from #1144, and try reading without '-specify' flag	2019-06-28 10:12:48 -07:00
Eddie Hung	440f173aef	Merge remote-tracking branch 'origin/master' into xaig	2019-06-27 11:54:34 -07:00
Eddie Hung	6c210e5813	Merge pull request #1143 from YosysHQ/clifford/fix1135 ... Add "pmux2shiftx -norange"	2019-06-27 11:48:48 -07:00
Eddie Hung	6c256b8cda	Merge origin/master	2019-06-27 11:20:15 -07:00
Eddie Hung	18acb72c05	Add #1135 testcase	2019-06-27 11:02:52 -07:00
Eddie Hung	3910bc2ea6	Copy tests from eddie/fix1132	2019-06-27 06:01:50 -07:00
Eddie Hung	6f36ec8ecf	Merge remote-tracking branch 'origin/master' into xaig	2019-06-25 09:33:11 -07:00
Eddie Hung	9dca024a30	Add tests/various/abc9.{v,ys} with SCC test	2019-06-24 21:52:53 -07:00