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

2019-10-08	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	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-07	Eddie Hung	Cleanup	commit \| commitdiff \| tree
2019-10-07	Eddie Hung	Rename $currQ to $abc9_currQ	commit \| commitdiff \| tree
2019-10-07	Eddie Hung	Use "abc9_period" attribute for delay target	commit \| commitdiff \| tree
2019-10-07	Eddie Hung	Get rid of latch_* in write_xaiger	commit \| commitdiff \| tree
2019-10-07	Eddie Hung	Update comments in abc9_map.v	commit \| commitdiff \| tree
2019-10-07	Eddie Hung	Remove -D_ABC9	commit \| commitdiff \| tree
2019-10-07	Eddie Hung	Remove "write_xaiger -zinit"	commit \| commitdiff \| tree
2019-10-07	Eddie Hung	Add comment on default flop init	commit \| commitdiff \| tree
2019-10-07	Eddie Hung	Get rid of output_port lookup	commit \| commitdiff \| tree
2019-10-06	Clifford Wolf	Merge pull request #1439 from YosysHQ/eddie/fix_ice40_w...	commit \| commitdiff \| tree
2019-10-06	Eddie Hung	Do not require changes to cells_sim.v; try and work...	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	Error if $currQ not found	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	abc -> abc9	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Merge branch 'master' into eddie/abc_to_abc9	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Fix from merge	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	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	Use read_args for read_verilog	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Remove DSP48E1 from *_cells_xtra.v	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Fix merge issues	commit \| commitdiff \| tree
2019-10-04	Eddie Hung	Merge remote-tracking branch 'origin/eddie/abc_to_abc9...	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	Merge remote-tracking branch 'origin/master' into xaig_dff	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	English	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	Merge pull request #1425 from YosysHQ/dave/ecp5_pdp16	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Fix broken CI, check reset even for constants, trim...	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Merge pull request #1423 from YosysHQ/eddie/techmap_rep...	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Fix test	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Merge branch 'eddie/fix_sat_init' into eddie/fix1427	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Update test	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Refactor peepopt_dffmux and be sensitive to \init when...	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	Add test	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	log_dump() to support State enum	commit \| commitdiff \| tree
2019-10-02	Eddie Hung	Be mindful that sigmap(wire) could have dupes when...	commit \| commitdiff \| tree
2019-10-02	Eddie Hung	Add test that is expecting to fail	commit \| commitdiff \| tree
2019-10-02	Eddie Hung	Also rename cells with _TECHMAP_REPLACE_. prefix, as...	commit \| commitdiff \| tree
2019-10-02	Eddie Hung	Extend test with renaming cells with prefix too	commit \| commitdiff \| tree
2019-10-02	Clifford Wolf	Merge pull request #1428 from YosysHQ/clifford/fixbtor	commit \| commitdiff \| tree
2019-10-02	Clifford Wolf	Add "check -mapped"	commit \| commitdiff \| tree
2019-10-02	Clifford Wolf	Fix btor back-end to use "state" instead of "input...	commit \| commitdiff \| tree
2019-10-01	Eddie Hung	More fixes	commit \| commitdiff \| tree
2019-10-01	Eddie Hung	Escape Verilog identifiers for legality outside of...	commit \| commitdiff \| tree
2019-10-01	Miodrag Milanović	Merge pull request #1426 from YosysHQ/mmicko/fix_environ	commit \| commitdiff \| tree
2019-10-01	Miodrag Milanovic	Define environ, fixes #1424	commit \| commitdiff \| tree
2019-10-01	David Shah	ecp5: Fix shuffle_enable port	commit \| commitdiff \| tree
2019-10-01	David Shah	ecp5: Add support for mapping 36-bit wide PDP BRAMs	commit \| commitdiff \| tree
2019-10-01	Eddie Hung	Add test	commit \| commitdiff \| tree
2019-10-01	Eddie Hung	techmap wires named _TECHMAP_REPLACE_.<identifier>...	commit \| commitdiff \| tree
2019-10-01	Eddie Hung	No need to punch ports at all	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Resolve FIXME on calling proc just once	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Cleanup $currQ from aigerparse	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Remove need for $currQ port connection	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Add explanation to abc_map.v	commit \| commitdiff \| tree
next

RSS Atom