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

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-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-16	Clifford Wolf	Fixed copy&paste typo in synth_greenpak4	commit \| commitdiff \| tree
2015-09-16	Clifford Wolf	Added GreenPAK4 skeleton	commit \| commitdiff \| tree
2015-09-12	Clifford Wolf	Fixed sharing of $memrd cells	commit \| commitdiff \| tree
2015-09-10	Clifford Wolf	Fixed ice40 handling of negclk RAM40	commit \| commitdiff \| tree
2015-09-01	Clifford Wolf	Fixed port ordering in "splitnets" cmd	commit \| commitdiff \| tree
2015-09-01	Clifford Wolf	gcc-4.6 build fixes	commit \| commitdiff \| tree
2015-08-31	Clifford Wolf	Fixed iopadmap help message	commit \| commitdiff \| tree
2015-08-31	Clifford Wolf	Added SigMap::allbits()	commit \| commitdiff \| tree
2015-08-31	Clifford Wolf	Using dict<> and pool<> in alumacc pass	commit \| commitdiff \| tree
2015-08-31	Clifford Wolf	Added "yosys-smt2-wire" tag support to smt2 back-end	commit \| commitdiff \| tree
2015-08-22	Clifford Wolf	Fixed handling of memory read without address	commit \| commitdiff \| tree
2015-08-22	Clifford Wolf	Switched to Python 3	commit \| commitdiff \| tree
2015-08-18	Clifford Wolf	Added sat -show-regs, -show-public, -show-all	commit \| commitdiff \| tree
2015-08-18	Clifford Wolf	Bugfix in fsm_detect for complex muxtrees	commit \| commitdiff \| tree
2015-08-18	Clifford Wolf	Properly clean up unused "init" attributes	commit \| commitdiff \| tree
2015-08-17	Clifford Wolf	Small corrections to const2ast warning messages	commit \| commitdiff \| tree
2015-08-17	Clifford Wolf	Merge pull request #72 from cseed/master	commit \| commitdiff \| tree
2015-08-16	Clifford Wolf	Another bugfix for ice40 and xilinx brams_init make...	commit \| commitdiff \| tree
2015-08-16	Clifford Wolf	Fixed Makefile rules for generated share files	commit \| commitdiff \| tree
2015-08-16	Clifford Wolf	Added $tribuf and $_TBUF_ sim models	commit \| commitdiff \| tree
2015-08-16	Clifford Wolf	Added tribuf command	commit \| commitdiff \| tree
2015-08-16	Clifford Wolf	Added $tribuf and $_TBUF_ cell types	commit \| commitdiff \| tree
2015-08-16	Clifford Wolf	Fixed opt_clean handling of inout ports	commit \| commitdiff \| tree
2015-08-15	Clifford Wolf	Fixed generation of smt2 concat statements	commit \| commitdiff \| tree
2015-08-14	Clifford Wolf	Re-created command-reference-manual.tex, copied some...	commit \| commitdiff \| tree
2015-08-14	Clifford Wolf	Spell check (by Larry Doolittle)	commit \| commitdiff \| tree
2015-08-13	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2015-08-13	Clifford Wolf	More ASCII encoding fixes	commit \| commitdiff \| tree
2015-08-13	Clifford Wolf	Fixed CRLF line endings	commit \| commitdiff \| tree
2015-08-13	Clifford Wolf	Some ASCII encoding fixes (comments and docs) by Larry...	commit \| commitdiff \| tree
2015-08-12	Clifford Wolf	Added "write_smt2 -regs"	commit \| commitdiff \| tree
2015-08-12	Clifford Wolf	Fixed "make clean" for out-of-tree builds	commit \| commitdiff \| tree
2015-08-12	Clifford Wolf	Adjust makefiles to work with out-of-tree builds	commit \| commitdiff \| tree
2015-08-12	Clifford Wolf	Improved handling of "keep" attributes in hierarchical...	commit \| commitdiff \| tree
2015-08-12	Clifford Wolf	Fixed hashlib for 64 bit int keys	commit \| commitdiff \| tree
2015-08-12	Clifford Wolf	Added SMV back-end 'test_cells.sh' script	commit \| commitdiff \| tree
2015-08-12	Clifford Wolf	Merge pull request #70 from gaomy3832/bugfix	commit \| commitdiff \| tree
next

RSS Atom