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

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	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	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-09-30	Eddie Hung	Add quick test	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Add -select option to aigmap	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Fix typo	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Fix for svinterfaces	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	module->derive() to be lazy and not touch ast if alread...	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Update doc for equiv_opt	commit \| commitdiff \| tree
2019-09-30	whitequark	Merge pull request #1406 from whitequark/connect_rpc	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Merge pull request #1397 from btut/fix/python_wrappers_...	commit \| commitdiff \| tree
2019-09-30	whitequark	rpc: new frontend.	commit \| commitdiff \| tree
2019-09-30	whitequark	libs: import json11.	commit \| commitdiff \| tree
2019-09-30	Miodrag Milanović	Merge pull request #1416 from YosysHQ/mmicko/frontend_b...	commit \| commitdiff \| tree
2019-09-30	Clifford Wolf	Bump version	commit \| commitdiff \| tree
2019-09-30	Clifford Wolf	Merge pull request #1412 from YosysHQ/eddie/equiv_opt_a...	commit \| commitdiff \| tree
2019-09-30	Clifford Wolf	Merge pull request #1417 from YosysHQ/clifford/fixasync...	commit \| commitdiff \| tree
2019-09-30	Clifford Wolf	Fix $dlatch handling in async2sync	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Add latch test modified from #1363	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Add LDCE/LDPE sim library, remove from *cells_xtra...	commit \| commitdiff \| tree
2019-09-30	Marcin Kościelnicki	synth_xilinx: Support latches, remove used-up FF init...	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Merge pull request #1414 from hzeller/improve-replace...	commit \| commitdiff \| tree
2019-09-29	Eddie Hung	Merge pull request #1359 from YosysHQ/xc7dsp	commit \| commitdiff \| tree
2019-09-29	Miodrag Milanovic	Fix reading aig files on windows	commit \| commitdiff \| tree
2019-09-29	Miodrag Milanovic	Open aig frontend as binary file	commit \| commitdiff \| tree
2019-09-29	Miodrag Milanović	Merge pull request #1413 from YosysHQ/mmicko/backend_bi...	commit \| commitdiff \| tree
2019-09-29	Clifford Wolf	Merge pull request #1411 from aman-goel/YosysHQ-master	commit \| commitdiff \| tree
2019-09-29	Henner Zeller	Avoid work in replace() if rules empty.	commit \| commitdiff \| tree
2019-09-28	Miodrag Milanovic	Add aiger and protobuf backends binary support	commit \| commitdiff \| tree
2019-09-28	Miodrag Milanovic	Support binary files for backends, fixes #1407	commit \| commitdiff \| tree
2019-09-28	Eddie Hung	Fix box name	commit \| commitdiff \| tree
2019-09-27	Eddie Hung	Re-order	commit \| commitdiff \| tree
next

RSS Atom