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

2016-01-06	Clifford Wolf	Added "equiv_add -try" mode	commit \| commitdiff \| tree
2015-12-22	Clifford Wolf	Fixed "splitnets -ports" for hierarchical designs	commit \| commitdiff \| tree
2015-12-22	Clifford Wolf	Re-run ice40_opt in "synth_ice40 -abc2"	commit \| commitdiff \| tree
2015-12-22	Clifford Wolf	Improvements in ice40_opt	commit \| commitdiff \| tree
2015-12-22	Clifford Wolf	Bugfix in ice40_ffinit	commit \| commitdiff \| tree
2015-12-22	Clifford Wolf	Improved ice40_ffinit	commit \| commitdiff \| tree
2015-12-22	Clifford Wolf	Run opt_const before check in default scripts	commit \| commitdiff \| tree
2015-12-20	Clifford Wolf	Added %R select expression	commit \| commitdiff \| tree
2015-12-20	Clifford Wolf	Various improvements in BLIF front-end	commit \| commitdiff \| tree
2015-12-20	Clifford Wolf	Added yosys-smtbmc -S	commit \| commitdiff \| tree
2015-12-15	Clifford Wolf	Merge pull request #110 from scanlime/master	commit \| commitdiff \| tree
2015-12-08	Clifford Wolf	Added "synth_ice40 -abc2"	commit \| commitdiff \| tree
2015-12-07	Clifford Wolf	Merge pull request #108 from cseed/master	commit \| commitdiff \| tree
2015-12-02	Clifford Wolf	Improved proc_mux performance for huge always blocks	commit \| commitdiff \| tree
2015-12-02	Clifford Wolf	Added default values for hashlib at() methods	commit \| commitdiff \| tree
2015-11-30	Clifford Wolf	Re-added SigMap::allbits()	commit \| commitdiff \| tree
2015-11-30	Clifford Wolf	Added tests/simple/graphtest.v	commit \| commitdiff \| tree
2015-11-29	Clifford Wolf	Fixed oom bug in ilang parser	commit \| commitdiff \| tree
2015-11-27	Clifford Wolf	Fixed performance bug in ilang parser	commit \| commitdiff \| tree
2015-11-26	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2015-11-26	Clifford Wolf	Removed dangling ';' in rtlil.h	commit \| commitdiff \| tree
2015-11-26	Clifford Wolf	Added ice40_ffinit pass	commit \| commitdiff \| tree
2015-11-24	Clifford Wolf	Added PRIM_DLATCHRS support to verific front-end	commit \| commitdiff \| tree
2015-11-24	Clifford Wolf	Fixed WE/RE usage in iCE40 BRAM mapping	commit \| commitdiff \| tree
2015-11-23	Clifford Wolf	Fixed handling of re-declarations of wires in tasks...	commit \| commitdiff \| tree
2015-11-19	Clifford Wolf	Added torder command	commit \| commitdiff \| tree
2015-11-16	Clifford Wolf	Fixed performance bug in Verific importer	commit \| commitdiff \| tree
2015-11-12	Clifford Wolf	Changes for Verific 3.16_484_32_151112	commit \| commitdiff \| tree
2015-11-12	Clifford Wolf	Link to vlsitechnology.org for liberty files	commit \| commitdiff \| tree
2015-11-12	Clifford Wolf	More bugfixes in handling of parameters in tasks and...	commit \| commitdiff \| tree
2015-11-11	Clifford Wolf	Fixed handling of parameters and localparams in functions	commit \| commitdiff \| tree
2015-11-10	Clifford Wolf	Added "abc -g"	commit \| commitdiff \| tree
2015-11-08	Clifford Wolf	Merge pull request #97 from zeldin/master	commit \| commitdiff \| tree
2015-11-07	Clifford Wolf	Added "singleton" pass	commit \| commitdiff \| tree
2015-11-06	Clifford Wolf	Fixed iCE40 SB_IO OUTPUT_ENABLE vs. outena_q handling	commit \| commitdiff \| tree
2015-11-05	Clifford Wolf	Bugfix in mapping $tribuf to $_TBUF_	commit \| commitdiff \| tree
2015-10-31	Clifford Wolf	Bugfix in memory_dff	commit \| commitdiff \| tree
2015-10-31	Clifford Wolf	Improvements in wreduce	commit \| commitdiff \| tree
2015-10-30	Clifford Wolf	Bugfix in Xilinx LUT mapping	commit \| commitdiff \| tree
2015-10-28	Clifford Wolf	Improved SigMap performance	commit \| commitdiff \| tree
2015-10-27	Clifford Wolf	Improvements in new SigMap	commit \| commitdiff \| tree
2015-10-27	Clifford Wolf	Use mfp<> in equiv_mark	commit \| commitdiff \| tree
2015-10-27	Clifford Wolf	Removed old SigMap implementation	commit \| commitdiff \| tree
2015-10-27	Clifford Wolf	Added hashlib::mfp and new SigMap	commit \| commitdiff \| tree
2015-10-25	Clifford Wolf	Improvements in equiv_struct	commit \| commitdiff \| tree
2015-10-25	Clifford Wolf	Major refactoring of equiv_struct	commit \| commitdiff \| tree
2015-10-25	Clifford Wolf	Import more std:: stuff into Yosys namespace	commit \| commitdiff \| tree
2015-10-25	Clifford Wolf	Added "equiv_add -cell"	commit \| commitdiff \| tree
2015-10-25	Clifford Wolf	equiv_struct now creates equiv_merged attributes	commit \| commitdiff \| tree
2015-10-24	Clifford Wolf	Improvements in equiv_struct	commit \| commitdiff \| tree
2015-10-24	Clifford Wolf	renamed SigSpec::to_single_sigbit() to SigSpec::as_bit...	commit \| commitdiff \| tree
2015-10-24	Clifford Wolf	improvement in "stat"	commit \| commitdiff \| tree
2015-10-24	Clifford Wolf	Fixed driver conflict handling (various cmds)	commit \| commitdiff \| tree
2015-10-24	Clifford Wolf	equiv_purge bugfix, using SigChunk in Yosys namespace	commit \| commitdiff \| tree
2015-10-24	Clifford Wolf	Fixed handling of driver-driver conflicts in wreduce	commit \| commitdiff \| tree
2015-10-23	Clifford Wolf	Added equiv_mark command	commit \| commitdiff \| tree
2015-10-23	Clifford Wolf	Disabled "Skipping blackbox module" msg in show command	commit \| commitdiff \| tree
2015-10-23	Clifford Wolf	Added support for ":" as comment symbol after ;-parsing	commit \| commitdiff \| tree
2015-10-23	Clifford Wolf	Also merge $equiv cells in equiv_struct	commit \| commitdiff \| tree
2015-10-23	Clifford Wolf	Improvements in equiv_struct	commit \| commitdiff \| tree
2015-10-22	Clifford Wolf	Added equiv_purge	commit \| commitdiff \| tree
2015-10-21	Clifford Wolf	Added equiv_struct command	commit \| commitdiff \| tree
2015-10-21	Clifford Wolf	Improved inout handling in equiv_make	commit \| commitdiff \| tree
2015-10-20	Clifford Wolf	Progress on cell help messages	commit \| commitdiff \| tree
2015-10-17	Clifford Wolf	Progress on cell help messages	commit \| commitdiff \| tree
2015-10-15	Clifford Wolf	Progress in yosys-smtbmc	commit \| commitdiff \| tree
2015-10-15	Clifford Wolf	Fixed bug in verilog parser	commit \| commitdiff \| tree
2015-10-15	Clifford Wolf	Improvements in yosys-smtbmc	commit \| commitdiff \| tree
2015-10-15	Clifford Wolf	Bugfixes in handling of "keep" attribute on wires	commit \| commitdiff \| tree
2015-10-14	Clifford Wolf	More "yosys-smtbmc -c" fixes	commit \| commitdiff \| tree
2015-10-14	Clifford Wolf	Fixed yosys-smtbmc -c	commit \| commitdiff \| tree
2015-10-14	Clifford Wolf	Added "prep" command	commit \| commitdiff \| tree
2015-10-14	Clifford Wolf	Added more cell descriptions	commit \| commitdiff \| tree
2015-10-14	Clifford Wolf	Added first help messages for cell types	commit \| commitdiff \| tree
2015-10-13	Clifford Wolf	Added yosys-smtbmc copyright	commit \| commitdiff \| tree
2015-10-13	Clifford Wolf	Improvements in yosys-smtbmc	commit \| commitdiff \| tree
2015-10-13	Clifford Wolf	Added yosys-smtbmc	commit \| commitdiff \| tree
2015-10-13	Clifford Wolf	Implemented smtbmc.py -i	commit \| commitdiff \| tree
2015-10-13	Clifford Wolf	Added smtbmc.py	commit \| commitdiff \| tree
2015-10-13	Clifford Wolf	Added write_smt2 -wires	commit \| commitdiff \| tree
2015-10-13	Clifford Wolf	Added examples/ top-level directory	commit \| commitdiff \| tree
2015-10-13	Clifford Wolf	SystemVerilog also has assume(), added implicit -D...	commit \| commitdiff \| tree
2015-10-13	Clifford Wolf	Merge branch 'master' of https://github.com/rubund...	commit \| commitdiff \| tree
2015-10-13	Clifford Wolf	Fixed "flatten" for unconnected inout ports	commit \| commitdiff \| tree
2015-10-07	Clifford Wolf	Added support for "parameter" and "localparam" in global...	commit \| commitdiff \| tree
2015-10-01	Clifford Wolf	Fixed complexity of assigning to vectors in constant...	commit \| commitdiff \| tree
2015-09-30	Clifford Wolf	Fixed detection of unconditional $readmem[hb]	commit \| commitdiff \| tree
2015-09-27	Clifford Wolf	Added edgetypes command	commit \| commitdiff \| tree
2015-09-26	Clifford Wolf	Some cleanups in qwp	commit \| commitdiff \| tree
2015-09-25	Clifford Wolf	Added "test_cell -noeval"	commit \| commitdiff \| tree
2015-09-25	Clifford Wolf	Added wreduce $mul support and fixed signed $mul opt_const bug	commit \| commitdiff \| tree
2015-09-25	Clifford Wolf	Bugfix in bram read-enable code	commit \| commitdiff \| tree
2015-09-25	Clifford Wolf	Bugfixes in $readmem[hb]	commit \| commitdiff \| tree
2015-09-25	Clifford Wolf	Bugfixes in writing of memories as Verilog	commit \| commitdiff \| tree
2015-09-25	Clifford Wolf	Fixed segfault in AstNode::asReal	commit \| commitdiff \| tree
2015-09-25	Clifford Wolf	Added read-enable to memory model	commit \| commitdiff \| tree
2015-09-24	Clifford Wolf	Added pivoting to qwp solver	commit \| commitdiff \| tree
2015-09-24	Clifford Wolf	Improved qwp performance	commit \| commitdiff \| tree
2015-09-24	Clifford Wolf	Added statistics summary to "qwp"	commit \| commitdiff \| tree
2015-09-24	Clifford Wolf	Fixed memory_bram for ROMs in BRAMs with write-enable...	commit \| commitdiff \| tree
next

RSS Atom