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

2020-01-09	Eddie Hung	write_xaiger: cope with abc9_arrival as string of ints	commit \| commitdiff \| tree
2020-01-09	Eddie Hung	Merge remote-tracking branch 'origin/eddie/abc9_refactor...	commit \| commitdiff \| tree
2020-01-09	Eddie Hung	read_aiger: more accurate debug message	commit \| commitdiff \| tree
2020-01-09	Eddie Hung	read_aiger: do not double-count outputs for flops	commit \| commitdiff \| tree
2020-01-09	Eddie Hung	Merge remote-tracking branch 'origin/eddie/abc9_refactor...	commit \| commitdiff \| tree
2020-01-08	Eddie Hung	Fix abc9 help, add labels	commit \| commitdiff \| tree
2020-01-08	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	commit \| commitdiff \| tree
2020-01-08	Eddie Hung	Fix abc9_xc7.box comments	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	scc to use design->selected_modules() which avoids...	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	Bump ABCREV for upstream fix	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	read_aiger: consistency between ascii and binary; also...	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	read_aiger fixes	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	tests/aiger: write Yosys output	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	Add testcases	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	tests/aiger: write Yosys output	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	read_aiger: connect identical signals together	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	read_aiger: cope with latches and POs with same name	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	read_aiger: default -clk_name to be empty	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	abc9_ops -reintegrate: process box connections	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	read_aiger: do not process box connections, work standalone	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	Fix tabs and cleanup	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	read_aiger: consistency between ascii and binary	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	abc_exe: move 'count_outputs' check to abc	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	Merge branch 'master' into eddie/abc9_refactor	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	Merge branch 'master' of github.com:YosysHQ/yosys	commit \| commitdiff \| tree
2020-01-07	Eddie Hung	Fix DSP48E1 sim	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Add abc9_ops -reintegrate; moved out from now abc9_exe	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	abc9_map: drop padding in box connections	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Stray log_module	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Merge remote-tracking branch 'origin/xaig_dff' into...	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Revert "write_xaiger to pad, not abc9_ops -prep_holes"	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Cleanup	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	read_aiger: add -xaiger option	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	scc to use design->selected_modules() which avoids...	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Revert "scc command to ignore blackboxes"	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Fix bad merge	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	abc9: uncomment nothing to map message	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Merge remote-tracking branch 'origin/xaig_dff' into...	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Wrap arrival functions inside `YOSYS too	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Fixes	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Fixes	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Fix return value of arrival time functions, fix word	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Bump ABCREV for upstream fix	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	abc9: remove -markgroups option, since operates on...	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	abc9: cleanup	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	write_xaiger: make more robust, update doc	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	write_aiger: make more robust	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Add abc9.dff scratchpad option	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Merge remote-tracking branch 'origin/eddie/abc9_refactor...	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Revert ABCREV	commit \| commitdiff \| tree
2020-01-06	Eddie Hung	Reword (* abc9_flop *) description	commit \| commitdiff \| tree
2020-01-05	Eddie Hung	write_xaiger to pad, not abc9_ops -prep_holes	commit \| commitdiff \| tree
2020-01-04	Eddie Hung	Cleanup	commit \| commitdiff \| tree
2020-01-04	Eddie Hung	Fix when -dff not given	commit \| commitdiff \| tree
2020-01-03	Eddie Hung	Call -prep_holes before aigmap; fix topo ordering	commit \| commitdiff \| tree
2020-01-03	Eddie Hung	WIP	commit \| commitdiff \| tree
2020-01-03	Eddie Hung	Preserve topo ordering from -prep_holes to write_xaiger	commit \| commitdiff \| tree
2020-01-03	Eddie Hung	WIP	commit \| commitdiff \| tree
2020-01-03	Eddie Hung	WIP	commit \| commitdiff \| tree
2020-01-03	Eddie Hung	Restore write_xaiger's holes_mode since port_id order...	commit \| commitdiff \| tree
2020-01-03	Eddie Hung	Cleanup	commit \| commitdiff \| tree
2020-01-03	Eddie Hung	Fix spacing	commit \| commitdiff \| tree
2020-01-03	Eddie Hung	Remove a few log_{push,pop}()	commit \| commitdiff \| tree
2020-01-03	Eddie Hung	aigmap everything	commit \| commitdiff \| tree
2020-01-03	Eddie Hung	scc command to ignore blackboxes	commit \| commitdiff \| tree
2020-01-03	Eddie Hung	Move scc operations out of inner loop	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	Cleanup	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	Merge remote-tracking branch 'origin/xaig_dff' into...	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	write_xaiger: get rid of external_bits dict	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	Combine tests to check multiple clock domains	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	Drive $[ABCD] explicitly	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	synth_xilinx -dff to work with abc too	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	Add 'abc9 -dff' to CHANGELOG	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	Update doc	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	Update comments	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	abc9 -keepff -> -dff; refactor dff operations	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	ifndef __ICARUS__ -> ifdef YOSYS	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	ifdef __ICARUS__ -> ifndef YOSYS	commit \| commitdiff \| tree
2020-01-02	Eddie Hung	Rework abc9's DSP48E1 model	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	Revert insertion of 'reg', leave note behind	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	Fix anlogic async flop mapping	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	Clamp -46ps for FDPE* too	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	Get rid of (* abc9_keep *) in write_xaiger too	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	Cleanup abc9, update doc for -keepff option	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	Restore abc9 -keepff	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	attributes.count() -> get_bool_attribute()	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	Re-arrange FD order	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	Missing character	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	Do not do call equiv_opt when no sim model exists	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	Fix warnings	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	Call equiv_opt with -multiclock and -assert	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	Cleanup xilinx boxes	commit \| commitdiff \| tree
2020-01-01	Eddie Hung	Cleanup ice40 boxes	commit \| commitdiff \| tree
next

RSS Atom