git.libre-soc.org Git - yosys.git/shortlog

2019-06-22	Eddie Hung	Merge remote-tracking branch 'origin/xaig' into xc7mux	commit \| commitdiff \| tree
2019-06-22	Eddie Hung	Reduce log_debug spam in parse_xaiger()	commit \| commitdiff \| tree
2019-06-22	Eddie Hung	Merge remote-tracking branch 'origin/xaig' into xc7mux	commit \| commitdiff \| tree
2019-06-22	Eddie Hung	Do not rename non LUT cells in abc9	commit \| commitdiff \| tree
2019-06-22	Eddie Hung	Replace assert with error message	commit \| commitdiff \| tree
2019-06-22	Eddie Hung	Add log_push()/log_pop() inside write_xaiger	commit \| commitdiff \| tree
2019-06-22	Eddie Hung	Add log_push()/log_pop() inside write_xaiger	commit \| commitdiff \| tree
2019-06-22	Eddie Hung	Constrain wreduce only if wide mux	commit \| commitdiff \| tree
2019-06-22	Eddie Hung	Simplify and comment out mux_map.v	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	synth_xilinx to now wreduce except $mux, remove extra...	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	mux_map to no longer copy last value into 1'bx	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix spacing	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix spacing again, A_forward -> A_backward	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Restore wreduce to synth_xilinx, after muxcover	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Revert B_SIGNED optimisation, since only works for...	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix spacing	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	synth_xilinx to use _ABC macro, and perform muxpack...	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Add $__XILINX_MUXF78 to preserve entire box	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Do not rename non LUT cells in abc9	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Replace assert with error message	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Merge remote-tracking branch 'origin/eddie/muxpack...	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix alignment	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Merge branch 'xc7mux' into xc7mux_wip	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	One more workaround for gcc-4.8	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	One more workaround for gcc-4.8	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Workaround issues exposed by gcc-4.8	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	No point logging constant bit	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Move comment	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Revert "autotest.sh to cat *.err on error"	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Revert "Cat more stuff"	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Workaround issues exposed by gcc-4.8	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Revert "Stab in the dark with aig_map from dict ->...	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Cat more stuff	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	No point logging constant bit	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Move comment	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Stab in the dark with aig_map from dict -> std::map	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Add FIXME about need for -mux4	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Since muxcover uses MUX4s, blast them back to gates...	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Expand synth -coarse without wreduce, move muxcover	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Merge remote-tracking branch 'origin/clifford/fix1091...	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	autotest.sh to cat *.err on error	commit \| commitdiff \| tree
2019-06-21	Clifford Wolf	Replace "muxcover -freedecode" with "muxcover -dmux...	commit \| commitdiff \| tree
2019-06-21	Clifford Wolf	Add "muxcover -freedecode"	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix spacing	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Revert Makefile	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix spacing	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Revert Makefile	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Refactor bit2aig for less lookups	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix gcc invalidation behaviour for write_aiger	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix gcc error, due to dict invalidation during recursion	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix gcc warning of potentially uninitialised	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Refactor bit2aig for less lookups	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix gcc invalidation behaviour for write_aiger	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix gcc error, due to dict invalidation during recursion	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix gcc warning of potentially uninitialised	commit \| commitdiff \| tree
2019-06-21	Clifford Wolf	Improvements in muxcover	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Missing a `clean` and `opt_expr -mux_bool` in test	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Add test	commit \| commitdiff \| tree
2019-06-21	Clifford Wolf	Add support for partial matches to muxcover, fixes...	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	write_xaiger to flatten 1'bx/1'bz to 1'b0 again	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix simple_abc9/generate test with 1'bx at MSB	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix different abc9 test	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix broken abc9.v test due to inout being 1'bx	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Run simple_abc9 tests	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	write_xaiger to flatten 1'bx/1'bz to 1'b0 again	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix simple_abc9/generate test with 1'bx at MSB	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix different abc9 test	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix broken abc9.v test due to inout being 1'bx	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Run simple_abc9 tests	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix issue with part of PI being 1'bx	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Call opt_expr -mux_undef to get rid of 1'bx in muxes...	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Handle COs driven by 1'bx	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Do not call "setundef -zero" in abc9	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	write_xaiger to skip POs driven by 1'bx	commit \| commitdiff \| tree
2019-06-21	Eddie Hung	Fix issue with part of PI being 1'bx	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Call opt_expr -mux_undef to get rid of 1'bx in muxes...	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	mux_map to drop sign bit, and eliminate 'bx-es	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Merge remote-tracking branch 'origin/eddie/fix1115...	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Merge remote-tracking branch 'origin/eddie/fix1118...	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Add test	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Make genvar a signed type	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Add CHANGELOG entry	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Extend sign extension tests	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Maintain "is_unsized" state of constants	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Revert "Fix sign extension when sign is 1'bx"	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Handle COs driven by 1'bx	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Do not call "setundef -zero" in abc9	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	write_xaiger to skip POs driven by 1'bx	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Merge remote-tracking branch 'origin/eddie/fix1115...	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Remove leftover comment	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Add test	commit \| commitdiff \| tree
2019-06-20	Eddie Hung	Fix sign extension when sign is 1'bx	commit \| commitdiff \| tree
2019-06-20	Clifford Wolf	Fix typo, fixes #1095	commit \| commitdiff \| tree
2019-06-20	Clifford Wolf	Improve shregmap help message, fixes #1113	commit \| commitdiff \| tree
2019-06-20	Clifford Wolf	Update some .gitignore files	commit \| commitdiff \| tree
2019-06-20	Clifford Wolf	Fix typo	commit \| commitdiff \| tree
2019-06-20	Clifford Wolf	Merge branch 'towoe-unpacked_arrays'	commit \| commitdiff \| tree
2019-06-20	Clifford Wolf	Add proper test for SV-style arrays	commit \| commitdiff \| tree
next

RSS Atom