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

2016-12-06	Andrew Zonenberg	Added GP_DLATCH and GP_DLATCHI	commit \| commitdiff \| tree
2016-12-06	Andrew Zonenberg	Initial implementation of techlib support for GreenPAK...	commit \| commitdiff \| tree
2016-12-06	Andrew Zonenberg	Updated help text for synth_greenpak4	commit \| commitdiff \| tree
2016-12-03	Clifford Wolf	Added $assert/$assume support to AIGER back-end	commit \| commitdiff \| tree
2016-12-03	Clifford Wolf	Improved yosys-smtbmc default -t/--assume-skipped for...	commit \| commitdiff \| tree
2016-12-01	Clifford Wolf	Updated ABV to hg rev 8b555d9e67cf	commit \| commitdiff \| tree
2016-12-01	Clifford Wolf	Added examples/aiger/	commit \| commitdiff \| tree
2016-12-01	Clifford Wolf	Added "yosys-smtbmc --aig"	commit \| commitdiff \| tree
2016-12-01	Clifford Wolf	Added support for partially initialized regs to smt2...	commit \| commitdiff \| tree
2016-12-01	Clifford Wolf	Added "write_aiger -zinit -symbols -vmap"	commit \| commitdiff \| tree
2016-11-30	Clifford Wolf	Added "write_aiger" command	commit \| commitdiff \| tree
2016-11-30	Clifford Wolf	Added "design -reset-vlog"	commit \| commitdiff \| tree
2016-11-29	Clifford Wolf	Improved equiv_purge log output	commit \| commitdiff \| tree
2016-11-28	Clifford Wolf	Bugfix in smt2 back-end for pure checker modules	commit \| commitdiff \| tree
2016-11-28	Clifford Wolf	Added support for macros as include file names	commit \| commitdiff \| tree
2016-11-28	Clifford Wolf	Bugfix in "read_verilog -D NAME=VAL" handling	commit \| commitdiff \| tree
2016-11-27	Clifford Wolf	Removed shebang line from smtio.py, fixes #279	commit \| commitdiff \| tree
2016-11-23	Clifford Wolf	Added wire start_offset and upto handling BLIF back-end	commit \| commitdiff \| tree
2016-11-23	Clifford Wolf	Added wire start_offset and upto handling to splitnets cmd	commit \| commitdiff \| tree
2016-11-22	Clifford Wolf	Merge pull request #274 from oldtopman/lcurses	commit \| commitdiff \| tree
2016-11-22	Clifford Wolf	Added "yosys-smtbmc --append"	commit \| commitdiff \| tree
2016-11-22	oldtopman	Added optional flag for linking curses with readline.	commit \| commitdiff \| tree
2016-11-19	Clifford Wolf	Merge pull request #272 from AlexDaniel/master	commit \| commitdiff \| tree
2016-11-19	Aleks-Daniel...	Keep lines under 80 characters	commit \| commitdiff \| tree
2016-11-19	Clifford Wolf	Improved ABC default scripts	commit \| commitdiff \| tree
2016-11-19	Aleks-Daniel...	Markdownify README even further	commit \| commitdiff \| tree
2016-11-19	Clifford Wolf	Merge pull request #271 from azidar/bugfix-assign-wmask	commit \| commitdiff \| tree
2016-11-18	Adam Izraelevitz	Bugfix: include assign to write-mask	commit \| commitdiff \| tree
2016-11-18	Clifford Wolf	More progress in FIRRTL back-end	commit \| commitdiff \| tree
2016-11-17	Clifford Wolf	Progress in FIRRTL back-end	commit \| commitdiff \| tree
2016-11-17	Clifford Wolf	Added first draft of FIRRTL back-end	commit \| commitdiff \| tree
2016-11-16	Clifford Wolf	Cleanups and fixed in write_verilog regarding reg init	commit \| commitdiff \| tree
2016-11-15	Clifford Wolf	Added support for hierarchical defparams	commit \| commitdiff \| tree
2016-11-15	Clifford Wolf	Remember global declarations and defines accross read_v...	commit \| commitdiff \| tree
2016-11-13	Clifford Wolf	Merge pull request #268 from AlexDaniel/master	commit \| commitdiff \| tree
2016-11-12	Aleks-Daniel...	Markdownify README	commit \| commitdiff \| tree
2016-11-09	Clifford Wolf	Minor bugfix in submod	commit \| commitdiff \| tree
2016-11-08	Clifford Wolf	Progress in examples/gowin/	commit \| commitdiff \| tree
2016-11-08	Clifford Wolf	Indenting fixes in gowin sim cell lib	commit \| commitdiff \| tree
2016-11-08	Clifford Wolf	Bugfix in "setundef" pass	commit \| commitdiff \| tree
2016-11-07	Clifford Wolf	Added examples/gowin/	commit \| commitdiff \| tree
2016-11-05	Clifford Wolf	Implemented "scc -set_attr"	commit \| commitdiff \| tree
2016-11-05	Clifford Wolf	Bugfix in "scc" command	commit \| commitdiff \| tree
2016-11-04	Clifford Wolf	Fixed anonymous genblock object names	commit \| commitdiff \| tree
2016-11-03	Clifford Wolf	Added hex constant support to write_verilog	commit \| commitdiff \| tree
2016-11-03	Clifford Wolf	We are now in 0.7+ development	commit \| commitdiff \| tree
2016-11-03	Clifford Wolf	Yosys 0.7 yosys-0.7	commit \| commitdiff \| tree
2016-11-02	Clifford Wolf	Bugfix in "hierarchy -check"	commit \| commitdiff \| tree
2016-11-02	Clifford Wolf	Updated command reference in manual	commit \| commitdiff \| tree
2016-11-02	Clifford Wolf	Changelog for Yosys 0.7	commit \| commitdiff \| tree
2016-11-02	Clifford Wolf	Added support for fsm_encoding="user"	commit \| commitdiff \| tree
2016-11-02	Clifford Wolf	Added "fsm_expand -full"	commit \| commitdiff \| tree
2016-11-01	Clifford Wolf	Some fixes in handling of signed arrays	commit \| commitdiff \| tree
2016-11-01	Clifford Wolf	iCE40 flow is not experimental anymore	commit \| commitdiff \| tree
2016-11-01	Clifford Wolf	Added initial version of "synth_gowin"	commit \| commitdiff \| tree
2016-11-01	Clifford Wolf	Adde "write_verilog -renameprefix -v"	commit \| commitdiff \| tree
2016-11-01	Clifford Wolf	Added support for (single-clock) transparent memories...	commit \| commitdiff \| tree
2016-10-25	Clifford Wolf	Bugfix in fsm_map for FSMs without reset state	commit \| commitdiff \| tree
2016-10-22	Clifford Wolf	Added avail params to ilang format, check module params...	commit \| commitdiff \| tree
2016-10-19	Clifford Wolf	Added "setparam -type"	commit \| commitdiff \| tree
2016-10-19	Clifford Wolf	No limit for length of lines in BLIF front-end	commit \| commitdiff \| tree
2016-10-19	Clifford Wolf	Merge pull request #250 from azonenberg/master	commit \| commitdiff \| tree
2016-10-19	Andrew Zonenberg	Fixed typo in last commit	commit \| commitdiff \| tree
2016-10-19	Andrew Zonenberg	greenpak4: Added GP_PGEN cell definition	commit \| commitdiff \| tree
2016-10-19	Andrew Zonenberg	Added GLITCH_FILTER parameter to GP_DELAY	commit \| commitdiff \| tree
2016-10-19	Andrew Zonenberg	greenpak4: added model for GP_EDGEDET block	commit \| commitdiff \| tree
2016-10-19	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	commit \| commitdiff \| tree
2016-10-18	Clifford Wolf	Ignore L_pi nets in "yosys-smtbmc --cex"	commit \| commitdiff \| tree
2016-10-18	Clifford Wolf	Use init value "2" for all uninitialized FFs in BLIF...	commit \| commitdiff \| tree
2016-10-17	Clifford Wolf	Added "yosys-smtbmc --cex <filename>"	commit \| commitdiff \| tree
2016-10-17	Clifford Wolf	Bugfix in "miter -assert" handling of assumptions	commit \| commitdiff \| tree
2016-10-17	Clifford Wolf	Added clk2fflogic support for $dffsr and $dlatch	commit \| commitdiff \| tree
2016-10-17	Andrew Zonenberg	greenpak4: Changed parameters for GP_SYSRESET	commit \| commitdiff \| tree
2016-10-16	Clifford Wolf	Improvements and bugfixes in clk2fflogic	commit \| commitdiff \| tree
2016-10-16	Clifford Wolf	cleanup in write_smt2 log messages (-bv and -mem are...	commit \| commitdiff \| tree
2016-10-16	Clifford Wolf	Build fixes for VS 2015	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Some minor build fixes for Visual C	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Avoid using strcasecmp()	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Fixed version string for out-of-tree builds	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Added notes about some formal features to README	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Added $anyseq cell type	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Added clk2fflogic	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Added opt_rmdff support for $ff cells	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Added $global_clock verilog syntax support for creating...	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Added MEMID handling to "flatten" pass	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Merge pull request #246 from set-soft/abc_external_ovr	commit \| commitdiff \| tree
2016-10-14	Clifford Wolf	Added YOSYS_VER_STR make variable	commit \| commitdiff \| tree
2016-10-13	Salvador E...	Ugh! extra patches got here, reverting	commit \| commitdiff \| tree
2016-10-13	Salvador E...	Allow to overwrite ABCEXTERNAL from the environment.	commit \| commitdiff \| tree
2016-10-13	Salvador E...	Modified test target name (to test-all)	commit \| commitdiff \| tree
2016-10-13	Salvador E...	Added a new configuration variable GIT_REV_WHERE	commit \| commitdiff \| tree
2016-10-12	Clifford Wolf	Added "zinit" pass	commit \| commitdiff \| tree
2016-10-11	Clifford Wolf	Added $ff and $_FF_ cell types	commit \| commitdiff \| tree
2016-10-11	Clifford Wolf	Fixed "make test" for git head of iverilog	commit \| commitdiff \| tree
2016-10-11	Clifford Wolf	define PATH_MAX if not defined by limits.h	commit \| commitdiff \| tree
2016-10-11	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2016-10-08	Clifford Wolf	Added smtc support for top-level state with [], [N...	commit \| commitdiff \| tree
2016-10-03	Clifford Wolf	Bugfix in yosys-smtbmc --noincr	commit \| commitdiff \| tree
2016-10-03	Clifford Wolf	yosys-smtbmc: ABC is a QF_BV solver	commit \| commitdiff \| tree
next

RSS Atom