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

2017-02-08	Clifford Wolf	Add PSL parser mode to verific front-end	commit \| commitdiff \| tree
2017-02-06	Clifford Wolf	Add "read_blif -wideports"	commit \| commitdiff \| tree
2017-02-05	Clifford Wolf	Fix undef propagation bug in $pmux SAT model	commit \| commitdiff \| tree
2017-02-05	Clifford Wolf	Update ABC to hg rev a2fcd1cc61a6	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Add assert check in "yosys-smtbmc -c"	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Improve yosys-smtbmc cover() support	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Partially implement cover() support in yosys-smtbmc	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Further improve cover() support	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Add $cover cell type and SVA cover() support	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Add assert/assume support to verific front-end	commit \| commitdiff \| tree
2017-02-01	Clifford Wolf	Update ABC to hg rev fe96921e5d50	commit \| commitdiff \| tree
2017-02-01	Clifford Wolf	Update ABC scripts to use "&nf" instead of "map"	commit \| commitdiff \| tree
2017-01-31	Clifford Wolf	Merge branch 'C-Elegans-opt_compare_pr'	commit \| commitdiff \| tree
2017-01-31	Clifford Wolf	Fix indenting and log messages in code merged from...	commit \| commitdiff \| tree
2017-01-31	Clifford Wolf	Merge branch 'opt_compare_pr' of https://github.com...	commit \| commitdiff \| tree
2017-01-31	Clifford Wolf	Improve opt_rmdff support for $dlatch cells	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename...	commit \| commitdiff \| tree
2017-01-30	Clifford Wolf	Add $ff and $_FF_ support to equiv_simple	commit \| commitdiff \| tree
2017-01-28	Clifford Wolf	Add "yosys-smtbmc --aig-noheader" and AIGER mem init...	commit \| commitdiff \| tree
2017-01-26	Clifford Wolf	Be more conservative with merging large cells into...	commit \| commitdiff \| tree
2017-01-26	Clifford Wolf	Add warnings for quickly growing FSM table size in...	commit \| commitdiff \| tree
2017-01-26	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2017-01-25	Clifford Wolf	Fix RTLIL::Memory::start_offset initialization	commit \| commitdiff \| tree
2017-01-17	Clifford Wolf	Add "enum" and "typedef" lexer support	commit \| commitdiff \| tree
2017-01-15	Clifford Wolf	Fix bug in AstNode::mem2reg_as_needed_pass2()	commit \| commitdiff \| tree
2017-01-11	Clifford Wolf	Fix $initstate handling bug in yosys-smtbmc	commit \| commitdiff \| tree
2017-01-11	Clifford Wolf	Update ABC to hg id f8cadfe3861f	commit \| commitdiff \| tree
2017-01-08	Clifford Wolf	Updated ABC to hg id 38b26a543f1d	commit \| commitdiff \| tree
2017-01-05	Clifford Wolf	Fixed handling of local memories in functions	commit \| commitdiff \| tree
2017-01-04	Clifford Wolf	Added "check -initdrv"	commit \| commitdiff \| tree
2017-01-04	Clifford Wolf	Added handling of local memories and error for local...	commit \| commitdiff \| tree
2017-01-04	Clifford Wolf	Implicitly set "yosys-smtbmc --noprogress" on windows	commit \| commitdiff \| tree
2017-01-04	Clifford Wolf	Fixed typo in tests/simple/arraycells.v	commit \| commitdiff \| tree
2017-01-04	Clifford Wolf	Fixed "yosys-smtbmc --noprogress"	commit \| commitdiff \| tree
2017-01-03	Clifford Wolf	Added Verilog $rtoi and $itor support	commit \| commitdiff \| tree
2017-01-02	Clifford Wolf	Handle "always 1" like "always -1" in .smtc files	commit \| commitdiff \| tree
2017-01-01	Clifford Wolf	Added cell port resizing to hierarchy pass	commit \| commitdiff \| tree
2016-12-31	Clifford Wolf	Updated ABC to hg id 55cd83f432c0	commit \| commitdiff \| tree
2016-12-31	Clifford Wolf	Bugfix in RTLIL::SigSpec::remove2()	commit \| commitdiff \| tree
2016-12-29	Clifford Wolf	Updated ABC to hg id 8c6a635f7a20	commit \| commitdiff \| tree
2016-12-29	Clifford Wolf	Improved write_json help message	commit \| commitdiff \| tree
2016-12-26	Clifford Wolf	Updated ABC to hg id f591c081d5e7	commit \| commitdiff \| tree
2016-12-23	Clifford Wolf	Simplified log_spacer() code	commit \| commitdiff \| tree
2016-12-22	Clifford Wolf	Added "yosys -W regex"	commit \| commitdiff \| tree
2016-12-21	Clifford Wolf	Added AIGER back-end to automatic back-end detection	commit \| commitdiff \| tree
2016-12-21	Clifford Wolf	Updated ABC to hg rev a4872e22c646	commit \| commitdiff \| tree
2016-12-21	Clifford Wolf	Updated ABC to hg rev 8bab2eedbba4	commit \| commitdiff \| tree
2016-12-15	Clifford Wolf	Added "verilog_defines" command	commit \| commitdiff \| tree
2016-12-13	Clifford Wolf	Bugfix in comment handling	commit \| commitdiff \| tree
2016-12-11	Clifford Wolf	Added $anyconst support to AIGER back-end	commit \| commitdiff \| tree
2016-12-11	Clifford Wolf	Merge branch 'LSS-USP-unit-test-structure'	commit \| commitdiff \| tree
2016-12-11	Clifford Wolf	Some minor CodingReadme changes in unit test section	commit \| commitdiff \| tree
2016-12-11	Clifford Wolf	Build hotfix in tests/unit/Makefile	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	Added "yosys-smtbmc --append"	commit \| commitdiff \| tree
2016-11-19	Clifford Wolf	Improved ABC default scripts	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_verilo...	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	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
next

RSS Atom