index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge remote-tracking branch 'origin/xaig' into xc7mux
Eddie Hung
2019-06-21
1
-1
/
+1
|
\
|
*
Do not rename non LUT cells in abc9
Eddie Hung
2019-06-21
1
-11
/
+16
|
*
Replace assert with error message
Eddie Hung
2019-06-21
1
-1
/
+2
|
*
Add log_push()/log_pop() inside write_xaiger
Eddie Hung
2019-06-21
1
-0
/
+4
|
*
One more workaround for gcc-4.8
Eddie Hung
2019-06-21
1
-3
/
+4
|
*
Workaround issues exposed by gcc-4.8
Eddie Hung
2019-06-21
1
-0
/
+7
|
*
No point logging constant bit
Eddie Hung
2019-06-21
1
-1
/
+1
|
*
Move comment
Eddie Hung
2019-06-21
1
-2
/
+3
|
*
Fix spacing
Eddie Hung
2019-06-20
1
-1
/
+1
|
*
Revert Makefile
Eddie Hung
2019-06-20
1
-2
/
+2
|
*
Refactor bit2aig for less lookups
Eddie Hung
2019-06-20
1
-24
/
+27
|
*
Fix gcc invalidation behaviour for write_aiger
Eddie Hung
2019-06-20
1
-1
/
+2
|
*
Fix gcc error, due to dict invalidation during recursion
Eddie Hung
2019-06-20
2
-4
/
+5
|
*
Fix gcc warning of potentially uninitialised
Eddie Hung
2019-06-20
1
-2
/
+2
|
*
write_xaiger to flatten 1'bx/1'bz to 1'b0 again
Eddie Hung
2019-06-20
1
-2
/
+4
|
*
Fix simple_abc9/generate test with 1'bx at MSB
Eddie Hung
2019-06-20
1
-1
/
+1
|
*
Fix different abc9 test
Eddie Hung
2019-06-20
1
-2
/
+3
|
*
Fix broken abc9.v test due to inout being 1'bx
Eddie Hung
2019-06-20
2
-5
/
+21
|
*
Run simple_abc9 tests
Eddie Hung
2019-06-20
1
-0
/
+1
|
*
Merge remote-tracking branch 'origin/master' into xaig
Eddie Hung
2019-06-20
31
-50
/
+250
|
|
\
|
*
|
Fix issue with part of PI being 1'bx
Eddie Hung
2019-06-20
2
-4
/
+11
|
*
|
Call opt_expr -mux_undef to get rid of 1'bx in muxes prior to abc
Eddie Hung
2019-06-20
1
-0
/
+1
|
*
|
Handle COs driven by 1'bx
Eddie Hung
2019-06-20
1
-3
/
+9
|
*
|
Do not call "setundef -zero" in abc9
Eddie Hung
2019-06-20
1
-5
/
+2
|
*
|
write_xaiger to skip POs driven by 1'bx
Eddie Hung
2019-06-20
1
-3
/
+7
*
|
|
Add log_push()/log_pop() inside write_xaiger
Eddie Hung
2019-06-21
1
-0
/
+4
*
|
|
Constrain wreduce only if wide mux
Eddie Hung
2019-06-21
1
-1
/
+4
*
|
|
Simplify and comment out mux_map.v
Eddie Hung
2019-06-21
1
-6
/
+11
*
|
|
synth_xilinx to now wreduce except $mux, remove extra peepopt
Eddie Hung
2019-06-21
1
-8
/
+1
*
|
|
mux_map to no longer copy last value into 1'bx
Eddie Hung
2019-06-21
1
-19
/
+2
*
|
|
Fix spacing
Eddie Hung
2019-06-21
1
-3
/
+3
*
|
|
Fix spacing again, A_forward -> A_backward
Eddie Hung
2019-06-21
1
-38
/
+40
*
|
|
Restore wreduce to synth_xilinx, after muxcover
Eddie Hung
2019-06-21
1
-0
/
+1
*
|
|
Revert B_SIGNED optimisation, since only works for Y_WIDTH==1
Eddie Hung
2019-06-21
1
-4
/
+3
*
|
|
Fix spacing
Eddie Hung
2019-06-21
1
-15
/
+15
*
|
|
synth_xilinx to use _ABC macro, and perform muxpack again
Eddie Hung
2019-06-21
1
-5
/
+5
*
|
|
Add $__XILINX_MUXF78 to preserve entire box
Eddie Hung
2019-06-21
3
-7
/
+28
*
|
|
Do not rename non LUT cells in abc9
Eddie Hung
2019-06-21
1
-11
/
+16
*
|
|
Replace assert with error message
Eddie Hung
2019-06-21
1
-1
/
+2
*
|
|
Merge remote-tracking branch 'origin/eddie/muxpack' into xc7mux_wip
Eddie Hung
2019-06-21
5
-0
/
+752
|
\
\
\
|
*
|
|
Elaborate muxpack doc
Eddie Hung
2019-06-10
1
-2
/
+6
|
*
|
|
Merge remote-tracking branch 'origin/master' into eddie/muxpack
Eddie Hung
2019-06-10
3
-13
/
+72
|
|
\
\
\
|
*
\
\
\
Merge branch 'master' into eddie/muxpack
Eddie Hung
2019-06-07
39
-364
/
+573
|
|
\
\
\
\
|
*
|
|
|
|
Comment O(N) -> O(N^2)
Eddie Hung
2019-06-07
1
-1
/
+1
|
*
|
|
|
|
Add nonexcl case test, comment out two others
Eddie Hung
2019-06-07
2
-22
/
+57
|
*
|
|
|
|
Extend ExclusiveDatabase to query SigSpec-s (for $pmux)
Eddie Hung
2019-06-07
1
-19
/
+27
|
*
|
|
|
|
Add ExclusiveDatabase to check exclusive $eq/$logic_not cell results
Eddie Hung
2019-06-07
1
-1
/
+64
|
*
|
|
|
|
Add @cliffordwolf freduce testcase
Eddie Hung
2019-06-07
2
-0
/
+30
|
*
|
|
|
|
Add nonexclusive test from @cliffordwolf
Eddie Hung
2019-06-07
2
-0
/
+28
|
*
|
|
|
|
Resolve @cliffordwolf comment on redundant check
Eddie Hung
2019-06-07
1
-10
/
+2
[next]
