index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
tests
Commit message (
Expand
)
Author
Age
Files
Lines
*
Add testcase
Eddie Hung
2019-09-20
1
-0
/
+43
*
Added extractinv pass
Marcin Kościelnicki
2019-09-19
1
-0
/
+41
*
Merge pull request #1355 from YosysHQ/eddie/peepopt_dffmuxext
Eddie Hung
2019-09-18
2
-13
/
+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
2
-21
/
+63
|
*
Revert "abc9 followed by clean otherwise netlist could be invalid for sim"
Eddie Hung
2019-09-05
1
-1
/
+0
|
*
abc9 followed by clean otherwise netlist could be invalid for sim
Eddie Hung
2019-09-04
1
-0
/
+1
|
*
Add peepopt_dffmuxext tests
Eddie Hung
2019-09-04
1
-0
/
+8
*
|
Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclock
David Shah
2019-09-12
1
-0
/
+12
|
\
\
|
*
|
Add equiv_opt -multiclock
David Shah
2019-09-11
1
-0
/
+12
*
|
|
Add -match-init option to dff2dffs.
Marcin Kościelnicki
2019-09-11
1
-0
/
+50
|
/
/
*
|
tests: ice40: fix div_mod SB_LUT4 count
Sean Cross
2019-09-10
1
-1
/
+1
*
|
techmap: Add support for extracting init values of ports
Marcin Kościelnicki
2019-09-07
1
-0
/
+98
*
|
Merge branch 'master' of github.com:YosysHQ/yosys
Eddie Hung
2019-09-06
1
-1
/
+3
|
\
\
|
*
|
Merge remote-tracking branch 'origin/master' into xaig_arrival
Eddie Hung
2019-09-04
3
-2
/
+29
|
|
\
|
|
*
|
Merge remote-tracking branch 'origin/master' into xaig_arrival
Eddie Hung
2019-09-02
2
-7
/
+10
|
|
\
\
|
*
|
|
Make abc9 test a bit more interesting
Eddie Hung
2019-08-30
1
-1
/
+3
*
|
|
|
Add missing -assert to equiv_opt
Eddie Hung
2019-09-06
1
-7
/
+7
|
|
_
|
/
|
/
|
|
*
|
|
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
45
-36
/
+1009
|
\
\
\
|
*
|
|
Use `command -v` rather than `which`
Emily
2019-09-03
2
-2
/
+2
|
|
|
/
|
|
/
|
|
*
|
Merge pull request #1344 from YosysHQ/eddie/ice40_signed_macc
Eddie Hung
2019-09-01
2
-7
/
+10
|
|
\
\
|
|
|
/
|
|
/
|
|
|
*
Improve tests/ice40/macc.ys for SB_MAC16
Eddie Hung
2019-08-30
2
-7
/
+10
|
*
|
Merge pull request #1340 from YosysHQ/eddie/abc_no_clean
Eddie Hung
2019-08-30
1
-1
/
+7
|
|
\
\
|
|
|
/
|
|
/
|
|
|
*
Nicer formatting
Eddie Hung
2019-08-29
1
-1
/
+7
|
*
|
Merge pull request #1310 from SergeyDegtyar/master
Eddie Hung
2019-08-30
36
-1
/
+765
|
|
\
\
|
|
*
|
macc test fix
SergeyDegtyar
2019-08-30
1
-1
/
+1
|
|
*
|
Fix macc test
SergeyDegtyar
2019-08-30
1
-1
/
+1
|
|
*
|
div_mod test fix
SergeyDegtyar
2019-08-30
1
-1
/
+1
|
|
*
|
fix div_mod test
SergeyDegtyar
2019-08-30
1
-1
/
+1
|
|
*
|
Fix test for counter
SergeyDegtyar
2019-08-30
1
-1
/
+1
|
|
*
|
Merge branch 'master' into master
Sergey
2019-08-30
1
-0
/
+26
|
|
|
\
\
|
|
*
|
|
Add new tests.
SergeyDegtyar
2019-08-30
10
-0
/
+200
|
|
*
|
|
Remove unnecessary common.v(assertions for testbenches).
SergeyDegtyar
2019-08-30
1
-47
/
+0
|
|
*
|
|
Remove simulation from run-test.sh (unnecessary paths)
SergeyDegtyar
2019-08-30
1
-16
/
+9
|
|
*
|
|
Remove simulation from run-test.sh
SergeyDegtyar
2019-08-30
1
-6
/
+0
|
|
*
|
|
Merge pull request #3 from YosysHQ/Sergey/tests_ice40
Sergey
2019-08-29
18
-243
/
+271
|
|
|
\
\
\
|
|
|
*
|
|
Comment out *.sh used for testbenches as we have no more
Eddie Hung
2019-08-28
1
-8
/
+8
|
|
|
*
|
|
Use equiv for memory and dpram
Eddie Hung
2019-08-28
4
-168
/
+2
|
|
|
*
|
|
Use equiv_opt for latches
Eddie Hung
2019-08-28
2
-58
/
+10
[next]