Eddie Hung
|
ba629e6a28
|
Merge remote-tracking branch 'origin/master' into xaig_arrival
|
2019-09-04 15:36:07 -07:00 |
Eddie Hung
|
0ca0706630
|
Expand test with `hierarchy' without -auto-top
|
2019-09-03 12:17:26 -07:00 |
Eddie Hung
|
8124716830
|
Add `read -noverific` before read
|
2019-09-03 10:52:34 -07:00 |
Eddie Hung
|
d6a84a78a7
|
Merge remote-tracking branch 'origin/master' into eddie/deferred_top
|
2019-09-03 10:49:21 -07:00 |
Eddie Hung
|
4290548de3
|
Make abc9 test a bit more interesting
|
2019-08-30 20:31:53 -07:00 |
Eddie Hung
|
67587bad7f
|
Add constant expression attribute to test
|
2019-08-29 09:10:20 -07:00 |
Eddie Hung
|
1fdb3fc98c
|
Add failing test
|
2019-08-28 19:58:58 -07:00 |
Eddie Hung
|
78b7d8f531
|
Merge remote-tracking branch 'origin/master' into eddie/xilinx_srl
|
2019-08-23 11:32:44 -07:00 |
Eddie Hung
|
fe1b2337fd
|
Do not propagate mem2reg attribute through to result
|
2019-08-22 16:57:59 -07:00 |
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 |