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

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	Eddie Hung	Do not require changes to cells_sim.v; try and work...	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	Error if $currQ not found	commit \| commitdiff \| tree
2019-10-05	Eddie Hung	abc -> 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-03	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	English	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	Merge pull request #1423 from YosysHQ/eddie/techmap_rep...	commit \| commitdiff \| tree
2019-10-03	Eddie Hung	log_dump() to support State enum	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
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	Cleanup	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Add comment	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	Use a cell_cache to instantiate once rather than opt_me...	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	scc call on active module module only, plus cleanup	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Use derived module	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	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	Missing endmodule	commit \| commitdiff \| tree
2019-09-30	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	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	Eddie Hung	FDCE_1 does not have IS_CLR_INVERTED	commit \| commitdiff \| tree
2019-09-29	Eddie Hung	Fix "scc" call inside abc9 to consider all wires	commit \| commitdiff \| tree
2019-09-29	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	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-29	Eddie Hung	Big rework; flop info now mostly in cells_sim.v	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-28	Eddie Hung	Use abc_mergeability attr for "r" extension	commit \| commitdiff \| tree
2019-09-28	Eddie Hung	Split ABC9 based on clocking only, add "abc_mergeabilit...	commit \| commitdiff \| tree
2019-09-28	Eddie Hung	Fix infinite recursion	commit \| commitdiff \| tree
2019-09-28	Eddie Hung	Add -select option to aigmap	commit \| commitdiff \| tree
2019-09-28	Eddie Hung	Fix typo	commit \| commitdiff \| tree
2019-09-27	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	commit \| commitdiff \| tree
2019-09-27	Eddie Hung	Re-order	commit \| commitdiff \| tree
2019-09-27	Eddie Hung	Missing (* mul2dsp *) for sliceB	commit \| commitdiff \| tree
next

RSS Atom