index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
tests
/
various
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff
Eddie Hung
2019-11-27
1
-0
/
+31
|
\
|
*
Add multiple driver testcase
Eddie Hung
2019-11-27
1
-0
/
+31
*
|
Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff
Eddie Hung
2019-11-27
1
-2
/
+23
|
\
|
|
*
Revert "submod to bitty rather bussy, for bussy wires used as input and output"
Eddie Hung
2019-11-27
1
-2
/
+5
|
*
Fix wire width
Eddie Hung
2019-11-26
1
-2
/
+2
|
*
Add testcase where \init is copied
Eddie Hung
2019-11-25
1
-0
/
+18
*
|
Merge branch 'xaig_dff' of github.com:YosysHQ/yosys into xaig_dff
Eddie Hung
2019-11-23
2
-4
/
+4
|
\
\
|
*
|
Another sloppy mistake!
Eddie Hung
2019-11-21
1
-1
/
+1
|
*
|
Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adff
Eddie Hung
2019-11-21
2
-2
/
+2
|
|
\
\
|
*
|
|
async2sync -> clk2fflogic
Eddie Hung
2019-11-21
1
-1
/
+1
*
|
|
|
Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff
Eddie Hung
2019-11-22
1
-3
/
+0
|
\
\
\
\
|
|
|
_
|
/
|
|
/
|
|
|
*
|
|
Remove redundant flatten
Eddie Hung
2019-11-22
1
-2
/
+0
|
*
|
|
Stray dump
Eddie Hung
2019-11-22
1
-1
/
+0
*
|
|
|
Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff
Eddie Hung
2019-11-22
1
-0
/
+28
|
\
|
|
|
|
*
|
|
Add another test with constant driver
Eddie Hung
2019-11-22
1
-0
/
+28
*
|
|
|
Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dff
Eddie Hung
2019-11-22
1
-0
/
+25
|
\
|
|
|
|
*
|
|
Cleanup spacing
Eddie Hung
2019-11-22
1
-2
/
+1
|
*
|
|
Add testcase
Eddie Hung
2019-11-22
1
-0
/
+26
*
|
|
|
Merge branch 'eddie/clkpart' into xaig_dff
Eddie Hung
2019-11-22
1
-0
/
+63
|
\
|
|
|
|
|
/
/
|
/
|
|
|
*
|
sv: Add tests for SV always types
David Shah
2019-11-21
1
-0
/
+63
|
|
/
*
/
Add a equiv test too
Eddie Hung
2019-11-19
2
-0
/
+23
|
/
*
Fix #1462, #1480.
Marcin Kościelnicki
2019-11-19
2
-0
/
+29
*
Fix #1496.
Marcin Kościelnicki
2019-11-18
1
-0
/
+13
*
Use `sat -tempinduct` and comments for why equiv_opt not sufficient
Eddie Hung
2019-10-03
1
-1
/
+8
*
Fix broken CI, check reset even for constants, trim rstmux
Eddie Hung
2019-10-02
1
-2
/
+2
*
Fix test
Eddie Hung
2019-10-02
1
-2
/
+12
*
Update test
Eddie Hung
2019-10-02
1
-13
/
+3
*
Add test
Eddie Hung
2019-10-02
1
-0
/
+31
*
Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxext
Eddie Hung
2019-09-18
1
-0
/
+175
|
\
|
*
Oops
Eddie Hung
2019-09-13
1
-1
/
+1
|
*
Add counter-example from @cliffordwolf
Eddie Hung
2019-09-13
1
-0
/
+24
|
*
Revert "Make one check $shift(x)? only; change testcase to be 8b"
Eddie Hung
2019-09-13
1
-2
/
+2
|
*
Cope with presence of reset muxes too
Eddie Hung
2019-09-11
1
-0
/
+39
|
*
Add more tests
Eddie Hung
2019-09-11
1
-0
/
+32
|
*
proc instead of prep
Eddie Hung
2019-09-11
1
-2
/
+2
|
*
Add unsigned case
Eddie Hung
2019-09-11
1
-0
/
+17
|
*
Missing equiv_opt -assert
Eddie Hung
2019-09-06
1
-1
/
+1
|
*
Make one check $shift(x)? only; change testcase to be 8b
Eddie Hung
2019-09-06
1
-2
/
+2
|
*
Usee equiv_opt -assert
Eddie Hung
2019-09-06
1
-3
/
+3
|
*
simple/peepopt.v tests to various/peepopt.ys with equiv_opt & select
Eddie Hung
2019-09-05
1
-0
/
+63
*
|
Add equiv_opt -multiclock
David Shah
2019-09-11
1
-0
/
+12
*
|
Merge remote-tracking branch 'origin/master' into xaig_arrival
Eddie Hung
2019-09-04
1
-0
/
+27
|
\
|
|
*
Expand test with `hierarchy' without -auto-top
Eddie Hung
2019-09-03
1
-0
/
+7
|
*
Add `read -noverific` before read
Eddie Hung
2019-09-03
1
-0
/
+1
|
*
Merge remote-tracking branch 'origin/master' into eddie/deferred_top
Eddie Hung
2019-09-03
1
-33
/
+0
|
|
\
|
*
|
Add constant expression attribute to test
Eddie Hung
2019-08-29
1
-0
/
+1
|
*
|
Add failing test
Eddie Hung
2019-08-28
1
-0
/
+18
*
|
|
Make abc9 test a bit more interesting
Eddie Hung
2019-08-30
1
-1
/
+3
|
|
/
|
/
|
*
|
Merge remote-tracking branch 'origin/master' into eddie/xilinx_srl
Eddie Hung
2019-08-23
1
-0
/
+1
|
\
|
|
*
Do not propagate mem2reg attribute through to result
Eddie Hung
2019-08-22
1
-0
/
+1
[next]
