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

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
2016-05-02	Clifford Wolf	Merge pull request #154 from azonenberg/master	commit \| commitdiff \| tree
2016-04-29	Clifford Wolf	Improved TCL_VERSION detection so it does not read...	commit \| commitdiff \| tree
2016-04-28	Clifford Wolf	Added "qwp -v"	commit \| commitdiff \| tree
2016-04-26	Clifford Wolf	Connections between inputs and inouts are driven by...	commit \| commitdiff \| tree
2016-04-25	Clifford Wolf	Fixed test_autotb for modules with many cell ports	commit \| commitdiff \| tree
2016-04-25	Clifford Wolf	Fixed proc_mux performance bug	commit \| commitdiff \| tree
2016-04-25	Clifford Wolf	Merge pull request #150 from azonenberg/master	commit \| commitdiff \| tree
2016-04-24	Clifford Wolf	Fixed performance bug in proc_dlatch	commit \| commitdiff \| tree
2016-04-24	Clifford Wolf	Added "yosys -D ALL"	commit \| commitdiff \| tree
2016-04-23	Clifford Wolf	Added "prep -flatten" and "synth -flatten"	commit \| commitdiff \| tree
2016-04-23	Clifford Wolf	Converted "prep" to ScriptPass	commit \| commitdiff \| tree
2016-04-23	Clifford Wolf	Improvements in greenpak4 shreg mapping	commit \| commitdiff \| tree
2016-04-23	Clifford Wolf	Run clean after splitnets in synth_greenpak4	commit \| commitdiff \| tree
2016-04-23	Clifford Wolf	Added "shregmap -zinit" for greenpak4 tech	commit \| commitdiff \| tree
2016-04-23	Clifford Wolf	Merge https://github.com/azonenberg/yosys	commit \| commitdiff \| tree
2016-04-23	Clifford Wolf	Added "shregmap" to synth_greenpak4	commit \| commitdiff \| tree
2016-04-23	Clifford Wolf	Converted synth_greenpak4 to ScriptPass	commit \| commitdiff \| tree
2016-04-22	Clifford Wolf	Added "shregmap -tech greenpak4"	commit \| commitdiff \| tree
2016-04-22	Clifford Wolf	Added support for "active high" and "active low" latches...	commit \| commitdiff \| tree
2016-04-22	Clifford Wolf	Added support for "active high" and "active low" latches...	commit \| commitdiff \| tree
2016-04-22	Clifford Wolf	More flexible handling of initialization values	commit \| commitdiff \| tree
2016-04-21	Clifford Wolf	Added "yosys -D" feature	commit \| commitdiff \| tree
2016-04-21	Clifford Wolf	Fixed performance bug in "share" pass	commit \| commitdiff \| tree
2016-04-21	Clifford Wolf	Fixed handling of parameters and const functions in...	commit \| commitdiff \| tree
2016-04-21	Clifford Wolf	Improvements in opt_expr	commit \| commitdiff \| tree
next

RSS Atom