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

2016-08-09	Clifford Wolf	Added log_const() API	commit \| commitdiff \| tree
2016-08-09	Clifford Wolf	Added "attrmvcp" pass	commit \| commitdiff \| tree
2016-08-08	Clifford Wolf	Undo "preserve wire attributes in iopadmap" change...	commit \| commitdiff \| tree
2016-08-06	Clifford Wolf	Added "test_autotb -seed" (and "autotest.sh -S")	commit \| commitdiff \| tree
2016-08-06	Clifford Wolf	preserve wire attributes in iopadmap	commit \| commitdiff \| tree
2016-08-06	Clifford Wolf	Fixed bug in parsing real constants	commit \| commitdiff \| tree
2016-08-02	Clifford Wolf	Added "insbuf" command	commit \| commitdiff \| tree
2016-07-30	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2016-07-30	Clifford Wolf	Added "write_verilog -defparam"	commit \| commitdiff \| tree
2016-07-30	Clifford Wolf	Added "write_verilog -nodec -nostr"	commit \| commitdiff \| tree
2016-07-27	Clifford Wolf	Added $initstate support to smtbmc flow	commit \| commitdiff \| tree
2016-07-27	Clifford Wolf	Added SatGen support for $anyconst	commit \| commitdiff \| tree
2016-07-27	Clifford Wolf	Removed $predict support from SatGen	commit \| commitdiff \| tree
2016-07-27	Clifford Wolf	Added $anyconst and $aconst	commit \| commitdiff \| tree
2016-07-27	Clifford Wolf	Added "read_verilog -dump_rtlil"	commit \| commitdiff \| tree
2016-07-25	Clifford Wolf	Renamed AbstractCellEdgesDatabase::add_cell() to add_edges_f...	commit \| commitdiff \| tree
2016-07-25	Clifford Wolf	Fixed a verilog parser memory leak	commit \| commitdiff \| tree
2016-07-25	Clifford Wolf	Fixed parsing of empty positional cell ports	commit \| commitdiff \| tree
2016-07-24	Clifford Wolf	Improvements in CellEdgesDatabase	commit \| commitdiff \| tree
2016-07-24	Clifford Wolf	Added CellEdgesDatabase API	commit \| commitdiff \| tree
2016-07-24	Clifford Wolf	Moved SatHelper::setup_init() code to SatHelper::setup()	commit \| commitdiff \| tree
2016-07-23	Clifford Wolf	Added $initstate support to "sat" command	commit \| commitdiff \| tree
2016-07-23	Clifford Wolf	No tristate warning message for "read_verilog -lib"	commit \| commitdiff \| tree
2016-07-22	Clifford Wolf	Added satgen initstate support	commit \| commitdiff \| tree
2016-07-21	Clifford Wolf	Using $initstate in "initial assume" and "initial assert"	commit \| commitdiff \| tree
2016-07-21	Clifford Wolf	Added $initstate cell type and vlog function	commit \| commitdiff \| tree
2016-07-21	Clifford Wolf	After reading the SV spec, using non-standard predict...	commit \| commitdiff \| tree
2016-07-13	Clifford Wolf	Added basic support for $expect cells	commit \| commitdiff \| tree
2016-07-13	Clifford Wolf	Added examples/smtbmc	commit \| commitdiff \| tree
2016-07-13	Clifford Wolf	Merge pull request #191 from whitequark/json-module...	commit \| commitdiff \| tree
2016-07-13	Clifford Wolf	Merge pull request #193 from azonenberg/master	commit \| commitdiff \| tree
2016-07-12	Clifford Wolf	Minor bugfix in FSM reset state detection	commit \| commitdiff \| tree
2016-07-11	Clifford Wolf	Yosys-smtbmc: Support for hierarchical VCD dumping	commit \| commitdiff \| tree
2016-07-11	Clifford Wolf	Moved smt2 yosys info parsing from smtbmc.py to smtio.py	commit \| commitdiff \| tree
2016-07-11	Clifford Wolf	Added "prep -auto-top" and "synth -auto-top"	commit \| commitdiff \| tree
2016-07-10	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2016-07-10	Clifford Wolf	Merge pull request #189 from whitequark/master	commit \| commitdiff \| tree
2016-07-10	Clifford Wolf	Support for hierarchical designs in smt2 back-end	commit \| commitdiff \| tree
2016-07-09	Clifford Wolf	Further improved fsm_detect output, attempt to detect...	commit \| commitdiff \| tree
2016-07-09	Clifford Wolf	Added printing of some warning messages to fsm_detect	commit \| commitdiff \| tree
2016-07-08	Clifford Wolf	Added warning about adding fsm_encoding attributes...	commit \| commitdiff \| tree
2016-07-08	Clifford Wolf	Minor fixes in ice40_ff* passes for sloppy SB_DFF instantiations	commit \| commitdiff \| tree
2016-07-08	Clifford Wolf	Fixed mem assignment in left-hand-side concatenation	commit \| commitdiff \| tree
2016-07-08	Clifford Wolf	Merge branch 'eddiehung-vtr'	commit \| commitdiff \| tree
2016-07-08	Clifford Wolf	Restored blif "-true - .." behavior, use "-true + ...	commit \| commitdiff \| tree
2016-07-08	Clifford Wolf	In BLIF, a .names without entries already always outputs 0	commit \| commitdiff \| tree
2016-07-08	Clifford Wolf	Undo eddiehung-vtr Makefile changes	commit \| commitdiff \| tree
2016-07-08	Clifford Wolf	Merge branch 'yosys-0.5-vtr' of https://github.com...	commit \| commitdiff \| tree
2016-07-02	Clifford Wolf	Fixed autotest.sh handling of `timescale	commit \| commitdiff \| tree
2016-07-01	Clifford Wolf	Merge branch 'assert-limit'	commit \| commitdiff \| tree
2016-07-01	Clifford Wolf	Replaced "select -assert-limit" with -assert-max and...	commit \| commitdiff \| tree
2016-06-30	Clifford Wolf	Improved ice40_ffinit error reporting	commit \| commitdiff \| tree
2016-06-21	Clifford Wolf	Merge pull request #181 from rubund/input_logic_allowed	commit \| commitdiff \| tree
2016-06-19	Clifford Wolf	Bugfix in "abc -script" handling	commit \| commitdiff \| tree
2016-06-19	Clifford Wolf	Merge branch 'sv_packages' of https://github.com/rubund...	commit \| commitdiff \| tree
2016-06-19	Clifford Wolf	Added "deminout"	commit \| commitdiff \| tree
2016-06-18	Clifford Wolf	Added "read_blif -sop"	commit \| commitdiff \| tree
2016-06-18	Clifford Wolf	Added $sop support to BLIF back-end	commit \| commitdiff \| tree
2016-06-17	Clifford Wolf	Added "dc2" to default ABC scripts	commit \| commitdiff \| tree
2016-06-17	Clifford Wolf	Fixed init issue in mem2reg_test2 test case	commit \| commitdiff \| tree
2016-06-17	Clifford Wolf	Added "abc -I <num> -P <num>"	commit \| commitdiff \| tree
2016-06-17	Clifford Wolf	Added $sop SAT model	commit \| commitdiff \| tree
2016-06-17	Clifford Wolf	Improved support for $sop cells	commit \| commitdiff \| tree
2016-06-17	Clifford Wolf	Added $sop cell type and "abc -sop"	commit \| commitdiff \| tree
2016-06-17	Clifford Wolf	Updated ABC to hg rev b5df6e2b76f0	commit \| commitdiff \| tree
2016-06-09	Clifford Wolf	Added "nlutmap -assert"	commit \| commitdiff \| tree
2016-06-08	Clifford Wolf	Do not run "wreduce" in "prep -ifx"	commit \| commitdiff \| tree
2016-06-06	Clifford Wolf	Added "proc_mux -ifx"	commit \| commitdiff \| tree
2016-06-03	Clifford Wolf	Added "setundef -init"	commit \| commitdiff \| tree
2016-06-02	Clifford Wolf	Fix all undef-muxes in dlatch input cone	commit \| commitdiff \| tree
2016-06-01	Clifford Wolf	Avoid creating undef-muxes when inferring latches in...	commit \| commitdiff \| tree
2016-05-29	Clifford Wolf	Added opt_expr support for div/mod by power-of-two	commit \| commitdiff \| tree
2016-05-27	Clifford Wolf	Fixed procedural assignments to non-unique lvalues...	commit \| commitdiff \| tree
2016-05-27	Clifford Wolf	Fixed access-after-delete bug in mem2reg code	commit \| commitdiff \| tree
2016-05-27	Clifford Wolf	fixed typos in error messages	commit \| commitdiff \| tree
2016-05-27	Clifford Wolf	Fixed "scc" for cells that have feedback singals _and_...	commit \| commitdiff \| tree
2016-05-22	Clifford Wolf	Merge pull request #172 from zeldin/deterministic_hierarchy	commit \| commitdiff \| tree
2016-05-20	Clifford Wolf	Some fixes in tests/asicworld/*_tb.v	commit \| commitdiff \| tree
2016-05-20	Clifford Wolf	Improvements and fixes in autotest.sh script and test_autotb	commit \| commitdiff \| tree
2016-05-20	Clifford Wolf	Merge branch 'master' of https://github.com/Kmanfi...	commit \| commitdiff \| tree
2016-05-20	Clifford Wolf	Also escape "=" in spice output	commit \| commitdiff \| tree
2016-05-20	Clifford Wolf	Small improvements in Verilog front-end docs	commit \| commitdiff \| tree
2016-05-14	Clifford Wolf	Don't sign-extend memory bram initialization data	commit \| commitdiff \| tree
2016-05-14	Clifford Wolf	Added missing "#define HASHLIB_H"	commit \| commitdiff \| tree
2016-05-14	Clifford Wolf	Minor presentation fixes	commit \| commitdiff \| tree
2016-05-11	Clifford Wolf	Updated min GCC requirement to GCC 4.8	commit \| commitdiff \| tree
2016-05-09	Clifford Wolf	Added manual download link to README	commit \| commitdiff \| tree
2016-05-08	Clifford Wolf	Include <cmath> in yosys.h	commit \| commitdiff \| tree
2016-05-08	Clifford Wolf	Merge pull request #162 from azonenberg/master	commit \| commitdiff \| tree
2016-05-07	Clifford Wolf	Fixes for MXE build	commit \| commitdiff \| tree
2016-05-07	Clifford Wolf	Added support for "keep" attribute to shregmap	commit \| commitdiff \| tree
2016-05-06	Clifford Wolf	Added synth_ice40 support for latches via logic loops	commit \| commitdiff \| tree
2016-05-06	Clifford Wolf	Added "write_blif -noalias"	commit \| commitdiff \| tree
2016-05-06	Clifford Wolf	Fixed ice40_opt lut unmapping, added "ice40_opt -unlut"	commit \| commitdiff \| tree
2016-05-06	Clifford Wolf	Fixed preservation of important attributes in techmap	commit \| commitdiff \| tree
2016-05-05	Clifford Wolf	Merge pull request #159 from azonenberg/master	commit \| commitdiff \| tree
2016-05-04	Clifford Wolf	Added tristate buffer support to iopadmap	commit \| commitdiff \| tree
2016-05-04	Clifford Wolf	Merge pull request #157 from azonenberg/master	commit \| commitdiff \| tree
2016-05-04	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2016-05-04	Clifford Wolf	Fixed iopadmap attribute handling	commit \| commitdiff \| tree
next

RSS Atom