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

2019-10-18	Miodrag Milanovic	hierarchy - proc reorder	commit \| commitdiff \| tree
2019-10-17	Miodrag Milanovic	Make equivalence work with latest master	commit \| commitdiff \| tree
2019-10-17	Miodrag Milanovic	remove not needed top module	commit \| commitdiff \| tree
2019-10-17	Miodrag Milanovic	remove not needed top module	commit \| commitdiff \| tree
2019-10-17	Miodrag Milanovic	split muxes synth per type	commit \| commitdiff \| tree
2019-10-17	Miodrag Milanovic	Test dffs separetely	commit \| commitdiff \| tree
2019-10-17	Miodrag Milanovic	Split latches into separete tests	commit \| commitdiff \| tree
2019-10-17	Miodrag Milanovic	Fix formatting	commit \| commitdiff \| tree
2019-10-17	Miodrag Milanovic	Clean verilog code from not used define block	commit \| commitdiff \| tree
2019-10-17	Miodrag Milanovic	Removed alu and div_mod test as agreed, ignore generate...	commit \| commitdiff \| tree
2019-10-17	Miodrag Milanovic	Test per flip-flop type	commit \| commitdiff \| tree
2019-10-17	Eddie Hung	Add -assert	commit \| commitdiff \| tree
2019-10-17	Eddie Hung	Use built-in async2sync call as per #1417	commit \| commitdiff \| tree
2019-10-17	Eddie Hung	Update mul test to DSP48E1	commit \| commitdiff \| tree
2019-10-17	Eddie Hung	Update area for div_mod	commit \| commitdiff \| tree
2019-10-17	Eddie Hung	Add comment for lack of tristate logic pointing to...	commit \| commitdiff \| tree
2019-10-17	Eddie Hung	Move $x to end as 7f0eec8	commit \| commitdiff \| tree
2019-10-17	SergeyDegtyar	adffs test update (equiv_opt -multiclock)	commit \| commitdiff \| tree
2019-10-17	Sergey	Fix div_mod test	commit \| commitdiff \| tree
2019-10-17	Sergey	Fix div_mod test	commit \| commitdiff \| tree
2019-10-17	Sergey	Fix div_mod test	commit \| commitdiff \| tree
2019-10-17	Sergey	Fix div_mod test	commit \| commitdiff \| tree
2019-10-17	Sergey	Fix div_mod test	commit \| commitdiff \| tree
2019-10-17	Sergey	Fix div_mod test	commit \| commitdiff \| tree
2019-10-17	SergeyDegtyar	Add comment with expected behavior for latches,tribuf...	commit \| commitdiff \| tree
2019-10-17	SergeyDegtyar	Fix latches.ys test	commit \| commitdiff \| tree
2019-10-17	SergeyDegtyar	Remove xilinx_ug901 tests (will be moved to yosys-tests)	commit \| commitdiff \| tree
2019-10-17	SergeyDegtyar	Add smoke tests to tests/xilinx	commit \| commitdiff \| tree
2019-10-17	SergeyDegtyar	Add comments for unproven cells.	commit \| commitdiff \| tree
2019-10-17	SergeyDegtyar	Add tests for Xilinx UG901 examples	commit \| commitdiff \| tree
2019-10-16	Clifford Wolf	Merge pull request #1450 from YosysHQ/clifford/fixdffmux	commit \| commitdiff \| tree
2019-10-16	Clifford Wolf	Fix dffmux peepopt init handling	commit \| commitdiff \| tree
2019-10-16	Clifford Wolf	Move GENERATE_PATTERN macro to separate utility header	commit \| commitdiff \| tree
2019-10-16	Clifford Wolf	Disable left-over log_debug in peepopt_dffmux.pmg	commit \| commitdiff \| tree
2019-10-16	Clifford Wolf	Fix parsing of .cname BLIF statements	commit \| commitdiff \| tree
2019-10-15	Clifford Wolf	Add .blackbox support to blif front-end	commit \| commitdiff \| tree
2019-10-14	Clifford Wolf	Merge pull request #1448 from YosysHQ/daveshah1-sv...	commit \| commitdiff \| tree
2019-10-14	David Shah	Merge pull request #1446 from YosysHQ/dave/ecp5-ioff	commit \| commitdiff \| tree
2019-10-14	Clifford Wolf	Use "(id)" instead of "id" for types as temporary hack	commit \| commitdiff \| tree
2019-10-11	David Shah	ecp5: Add ECLKBRIDGECS blackbox	commit \| commitdiff \| tree
2019-10-10	David Shah	ecp5: Add attrmvcp to copy syn_useioff to driving FF	commit \| commitdiff \| tree
2019-10-10	David Shah	ecp5: Set syn_useioff on IO FFs to enable packing	commit \| commitdiff \| tree
2019-10-10	Miodrag Milanović	Merge pull request #1445 from YosysHQ/mwk/xilinx_ibufg	commit \| commitdiff \| tree
2019-10-10	Marcin Kościelnicki	xilinx: Add simulation model for IBUFG.	commit \| commitdiff \| tree
2019-10-08	Eddie Hung	Revert "Add test that is expecting to fail"	commit \| commitdiff \| tree
2019-10-08	Eddie Hung	Revert "Be mindful that sigmap(wire) could have dupes...	commit \| commitdiff \| tree
2019-10-08	Eddie Hung	Merge pull request #1432 from YosysHQ/eddie/fix1427	commit \| commitdiff \| tree
2019-10-08	Eddie Hung	Merge pull request #1433 from YosysHQ/eddie/equiv_opt_a...	commit \| commitdiff \| tree
2019-10-08	Eddie Hung	Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9	commit \| commitdiff \| tree
2019-10-08	Eddie Hung	Merge pull request #1438 from YosysHQ/eddie/xilinx_dsp_...	commit \| commitdiff \| tree
2019-10-06	Clifford Wolf	Merge pull request #1439 from YosysHQ/eddie/fix_ice40_w...	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Missing 'accept' at end of ice40_wrapcarry, spotted...	commit \| commitdiff \| tree
2019-10-05	Clifford Wolf	Update README.md	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Missed this	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Add comment on why we have to match for clock-enable...	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Add note on pattern detector	commit \| commitdiff \| tree
2019-10-05	Miodrag Milanović	Merge pull request #1436 from YosysHQ/mmicko/msvc_fix	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Add comment on why partial multipliers are 18x18	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Add comments for xilinx_dsp_cascade	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Improve comments for xilinx_dsp_CREG	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Fix comment	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Restore optimisation for sigM.empty()	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Retry on fixing TODOs	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Revert "Fix TODOs"	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	More comments, cleanup	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Fix TODOs	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Consistency	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Add comments for xilinx_dsp	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Fix typo in check_label()	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Merge branch 'master' into eddie/abc_to_abc9	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Add temporary `abc9 -nomfs` and use for `synth_xilinx...	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Remove DSP48E1 from *_cells_xtra.v	commit \| commitdiff \| tree
2019-10-04	Eddie Hung	Fix xilinx_dsp for unsigned extensions	commit \| commitdiff \| tree
2019-10-04	Eddie Hung	Fix for SigSpec() == SigSpec(State::Sx, 0) to be true...	commit \| commitdiff \| tree
2019-10-04	Eddie Hung	Add Const::{begin,end,empty}()	commit \| commitdiff \| tree
2019-10-04	Eddie Hung	Rename abc_* names/attributes to more precisely be...	commit \| commitdiff \| tree
2019-10-04	Eddie Hung	Panic over. Model was elsewhere. Re-arrange for consistency	commit \| commitdiff \| tree
2019-10-04	Eddie Hung	Oops	commit \| commitdiff \| tree
2019-10-04	Eddie Hung	Ohmilord this wasn't added all this time!?!	commit \| commitdiff \| tree
2019-10-04	Eddie Hung	Add -async2sync to help text as per @daveshah1	commit \| commitdiff \| tree
2019-10-04	Miodrag Milanovic	Fixes for MSVC build	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Use `sat -tempinduct` and comments for why equiv_opt...	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Restore part of doc	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Disable equiv check for ice40 latches	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Add new -async2sync option	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Use equiv_opt -async2sync for xilinx	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Revert "equiv_opt to call async2sync when not -multiclo...	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Revert "Update doc for equiv_opt"	commit \| commitdiff \| tree
2019-10-03	Clifford Wolf	Change smtbmc "Warmup failed" status to "PREUNSAT"	commit \| commitdiff \| tree
2019-10-03	Clifford Wolf	Update ABC to git rev 623b5e8	commit \| commitdiff \| tree
2019-10-03	Clifford Wolf	Bump version	commit \| commitdiff \| tree
2019-10-03	Clifford Wolf	Merge pull request #1419 from YosysHQ/eddie/lazy_derive	commit \| commitdiff \| tree
2019-10-03	Clifford Wolf	Merge pull request #1422 from YosysHQ/eddie/aigmap_select	commit \| commitdiff \| tree
2019-10-03	Clifford Wolf	Merge pull request #1429 from YosysHQ/clifford/checkmapped	commit \| commitdiff \| tree
2019-10-03	Clifford Wolf	Add "check -allow-tbuf"	commit \| commitdiff \| tree
2019-10-03	David Shah	frontends/ast: code style	commit \| commitdiff \| tree
2019-10-03	David Shah	sv: Improve tests	commit \| commitdiff \| tree
2019-10-03	David Shah	sv: Fix typedefs in blocks	commit \| commitdiff \| tree
2019-10-03	David Shah	sv: Disambiguate interface ports	commit \| commitdiff \| tree
2019-10-03	David Shah	Update CHANGELOG and README	commit \| commitdiff \| tree
next

RSS Atom