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

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
2015-09-24	Clifford Wolf	Fixed AstNode::mkconst_bits() segfault on zero-sized...	commit \| commitdiff \| tree
2015-09-23	Clifford Wolf	Added read_verilog -nodpi	commit \| commitdiff \| tree
2015-09-23	Clifford Wolf	Bugfix in handling of multi-dimensional memories	commit \| commitdiff \| tree
2015-09-23	Clifford Wolf	Warning for $display/$write outside initial block	commit \| commitdiff \| tree
2015-09-23	Clifford Wolf	Fixed support for $write system task	commit \| commitdiff \| tree
2015-09-22	Clifford Wolf	Fixed detection of "task foo(bar);" syntax error	commit \| commitdiff \| tree
2015-09-22	Clifford Wolf	Fixed multi-level prefix resolving	commit \| commitdiff \| tree
2015-09-22	Clifford Wolf	Fixed segfault on invalid verilog constant 1'b_	commit \| commitdiff \| tree
2015-09-21	Clifford Wolf	Fixed emcc build	commit \| commitdiff \| tree
2015-09-21	Clifford Wolf	Do not detect fsm state registers with init attribute	commit \| commitdiff \| tree
2015-09-21	Clifford Wolf	Bugfix in "qwp" pass	commit \| commitdiff \| tree
2015-09-20	Clifford Wolf	Improvements and fixes in "qwp" pass	commit \| commitdiff \| tree
2015-09-20	Clifford Wolf	Added "qwp -dump"	commit \| commitdiff \| tree
2015-09-20	Clifford Wolf	Added "qwp" command	commit \| commitdiff \| tree
2015-09-19	Andrew Zonenberg	Improvements to $display system task	commit \| commitdiff \| tree
2015-09-18	Clifford Wolf	Added nlutmap	commit \| commitdiff \| tree
2015-09-18	Clifford Wolf	Added lut2mux pass	commit \| commitdiff \| tree
2015-09-18	Clifford Wolf	Cosmetic fix in Module::addLut()	commit \| commitdiff \| tree
2015-09-18	Clifford Wolf	Added buffer detection to "abc -lut"	commit \| commitdiff \| tree
2015-09-18	Clifford Wolf	Renamed GreenPAK4 cells, improved GP4 DFF mapping	commit \| commitdiff \| tree
2015-09-18	Clifford Wolf	Added support for "dfflibmap -liberty +/..."	commit \| commitdiff \| tree
2015-09-18	Clifford Wolf	Added detection of "mux inverter" chains in opt_const	commit \| commitdiff \| tree
2015-09-18	Clifford Wolf	Added $logic_not handling to fsm_detect	commit \| commitdiff \| tree
2015-09-18	Clifford Wolf	Added $finish and $display to README	commit \| commitdiff \| tree
2015-09-18	Clifford Wolf	Merge branch 'feat-finish-disp'	commit \| commitdiff \| tree
2015-09-18	Clifford Wolf	Added AST_INITIAL checks for $finish and $display	commit \| commitdiff \| tree
2015-09-18	Andrew Zonenberg	Initial implementation of $display()	commit \| commitdiff \| tree
next

RSS Atom