projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2016-12-01 Clifford WolfUpdated ABV to hg rev 8b555d9e67cf commit | commitdiff | tree
2016-12-01 Clifford WolfAdded examples/aiger/ commit | commitdiff | tree
2016-12-01 Clifford WolfAdded "yosys-smtbmc --aig" commit | commitdiff | tree
2016-12-01 Clifford WolfAdded support for partially initialized regs to smt2... commit | commitdiff | tree
2016-12-01 Clifford WolfAdded "write_aiger -zinit -symbols -vmap" commit | commitdiff | tree
2016-11-30 Clifford WolfAdded "write_aiger" command commit | commitdiff | tree
2016-11-30 Clifford WolfAdded "design -reset-vlog" commit | commitdiff | tree
2016-11-29 Clifford WolfImproved equiv_purge log output commit | commitdiff | tree
2016-11-28 Clifford WolfBugfix in smt2 back-end for pure checker modules commit | commitdiff | tree
2016-11-28 Clifford WolfAdded support for macros as include file names commit | commitdiff | tree
2016-11-28 Clifford WolfBugfix in "read_verilog -D NAME=VAL" handling commit | commitdiff | tree
2016-11-27 Clifford WolfRemoved shebang line from smtio.py, fixes #279 commit | commitdiff | tree
2016-11-23 Clifford WolfAdded wire start_offset and upto handling BLIF back-end commit | commitdiff | tree
2016-11-23 Clifford WolfAdded wire start_offset and upto handling to splitnets cmd commit | commitdiff | tree
2016-11-22 Clifford WolfMerge pull request #274 from oldtopman/lcurses commit | commitdiff | tree
2016-11-22 Clifford WolfAdded "yosys-smtbmc --append" commit | commitdiff | tree
2016-11-22 oldtopmanAdded optional flag for linking curses with readline. commit | commitdiff | tree
2016-11-19 Clifford WolfMerge 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 WolfImproved ABC default scripts commit | commitdiff | tree
2016-11-19 Aleks-Daniel... Markdownify README even further commit | commitdiff | tree
2016-11-19 Clifford WolfMerge pull request #271 from azidar/bugfix-assign-wmask commit | commitdiff | tree
2016-11-18 Adam IzraelevitzBugfix: include assign to write-mask commit | commitdiff | tree
2016-11-18 Clifford WolfMore progress in FIRRTL back-end commit | commitdiff | tree
2016-11-17 Clifford WolfProgress in FIRRTL back-end commit | commitdiff | tree
2016-11-17 Clifford WolfAdded first draft of FIRRTL back-end commit | commitdiff | tree
2016-11-16 Clifford WolfCleanups and fixed in write_verilog regarding reg init commit | commitdiff | tree
2016-11-15 Clifford WolfAdded support for hierarchical defparams commit | commitdiff | tree
2016-11-15 Clifford WolfRemember global declarations and defines accross read_v... commit | commitdiff | tree
2016-11-13 Clifford WolfMerge pull request #268 from AlexDaniel/master commit | commitdiff | tree
2016-11-12 Aleks-Daniel... Markdownify README commit | commitdiff | tree
2016-11-09 Clifford WolfMinor bugfix in submod commit | commitdiff | tree
2016-11-08 Clifford WolfProgress in examples/gowin/ commit | commitdiff | tree
2016-11-08 Clifford WolfIndenting fixes in gowin sim cell lib commit | commitdiff | tree
2016-11-08 Clifford WolfBugfix in "setundef" pass commit | commitdiff | tree
2016-11-07 Clifford WolfAdded examples/gowin/ commit | commitdiff | tree
2016-11-05 Clifford WolfImplemented "scc -set_attr" commit | commitdiff | tree
2016-11-05 Clifford WolfBugfix in "scc" command commit | commitdiff | tree
2016-11-04 Clifford WolfFixed anonymous genblock object names commit | commitdiff | tree
2016-11-03 Clifford WolfAdded hex constant support to write_verilog commit | commitdiff | tree
2016-11-03 Clifford WolfWe are now in 0.7+ development commit | commitdiff | tree
2016-11-03 Clifford WolfYosys 0.7 yosys-0.7 commit | commitdiff | tree
2016-11-02 Clifford WolfBugfix in "hierarchy -check" commit | commitdiff | tree
2016-11-02 Clifford WolfUpdated command reference in manual commit | commitdiff | tree
2016-11-02 Clifford WolfChangelog for Yosys 0.7 commit | commitdiff | tree
2016-11-02 Clifford WolfAdded support for fsm_encoding="user" commit | commitdiff | tree
2016-11-02 Clifford WolfAdded "fsm_expand -full" commit | commitdiff | tree
2016-11-01 Clifford WolfSome fixes in handling of signed arrays commit | commitdiff | tree
2016-11-01 Clifford WolfiCE40 flow is not experimental anymore commit | commitdiff | tree
2016-11-01 Clifford WolfAdded initial version of "synth_gowin" commit | commitdiff | tree
2016-11-01 Clifford WolfAdde "write_verilog -renameprefix -v" commit | commitdiff | tree
2016-11-01 Clifford WolfAdded support for (single-clock) transparent memories... commit | commitdiff | tree
2016-10-25 Clifford WolfBugfix in fsm_map for FSMs without reset state commit | commitdiff | tree
2016-10-22 Clifford WolfAdded avail params to ilang format, check module params... commit | commitdiff | tree
2016-10-19 Clifford WolfAdded "setparam -type" commit | commitdiff | tree
2016-10-19 Clifford WolfNo limit for length of lines in BLIF front-end commit | commitdiff | tree
2016-10-19 Clifford WolfMerge pull request #250 from azonenberg/master commit | commitdiff | tree
2016-10-19 Andrew ZonenbergFixed typo in last commit commit | commitdiff | tree
2016-10-19 Andrew Zonenberggreenpak4: Added GP_PGEN cell definition commit | commitdiff | tree
2016-10-19 Andrew ZonenbergAdded GLITCH_FILTER parameter to GP_DELAY commit | commitdiff | tree
2016-10-19 Andrew Zonenberggreenpak4: added model for GP_EDGEDET block commit | commitdiff | tree
2016-10-19 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys commit | commitdiff | tree
2016-10-18 Clifford WolfIgnore L_pi nets in "yosys-smtbmc --cex" commit | commitdiff | tree
2016-10-18 Clifford WolfUse init value "2" for all uninitialized FFs in BLIF... commit | commitdiff | tree
2016-10-17 Clifford WolfAdded "yosys-smtbmc --cex <filename>" commit | commitdiff | tree
2016-10-17 Clifford WolfBugfix in "miter -assert" handling of assumptions commit | commitdiff | tree
2016-10-17 Clifford WolfAdded clk2fflogic support for $dffsr and $dlatch commit | commitdiff | tree
2016-10-17 Andrew Zonenberggreenpak4: Changed parameters for GP_SYSRESET commit | commitdiff | tree
2016-10-16 Clifford WolfImprovements and bugfixes in clk2fflogic commit | commitdiff | tree
2016-10-16 Clifford Wolfcleanup in write_smt2 log messages (-bv and -mem are... commit | commitdiff | tree
2016-10-16 Clifford WolfBuild fixes for VS 2015 commit | commitdiff | tree
2016-10-14 Clifford WolfSome minor build fixes for Visual C commit | commitdiff | tree
2016-10-14 Clifford WolfAvoid using strcasecmp() commit | commitdiff | tree
2016-10-14 Clifford WolfFixed version string for out-of-tree builds commit | commitdiff | tree
2016-10-14 Clifford WolfAdded notes about some formal features to README commit | commitdiff | tree
2016-10-14 Clifford WolfAdded $anyseq cell type commit | commitdiff | tree
2016-10-14 Clifford WolfAdded clk2fflogic commit | commitdiff | tree
2016-10-14 Clifford WolfAdded opt_rmdff support for $ff cells commit | commitdiff | tree
2016-10-14 Clifford WolfAdded $global_clock verilog syntax support for creating... commit | commitdiff | tree
2016-10-14 Clifford WolfAdded MEMID handling to "flatten" pass commit | commitdiff | tree
2016-10-14 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2016-10-14 Clifford WolfMerge pull request #246 from set-soft/abc_external_ovr commit | commitdiff | tree
2016-10-14 Clifford WolfAdded 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 WolfAdded "zinit" pass commit | commitdiff | tree
2016-10-11 Clifford WolfAdded $ff and $_FF_ cell types commit | commitdiff | tree
2016-10-11 Clifford WolfFixed "make test" for git head of iverilog commit | commitdiff | tree
2016-10-11 Clifford Wolfdefine PATH_MAX if not defined by limits.h commit | commitdiff | tree
2016-10-11 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys commit | commitdiff | tree
2016-10-08 Clifford WolfAdded smtc support for top-level state with [], [N... commit | commitdiff | tree
2016-10-03 Clifford WolfBugfix in yosys-smtbmc --noincr commit | commitdiff | tree
2016-10-03 Clifford Wolfyosys-smtbmc: ABC is a QF_BV solver commit | commitdiff | tree
2016-10-03 Clifford WolfAdded "yosys-smtbmc --noincr" commit | commitdiff | tree
2016-10-02 Clifford WolfUpdate ABV to hg rev eb6eca6807cc commit | commitdiff | tree
2016-10-02 Clifford Wolfyosys-smtbmc: added smtc [...] support for cells commit | commitdiff | tree
2016-10-01 Clifford WolfAdded "yosys-smtbmc -s abc" commit | commitdiff | tree
2016-10-01 Clifford WolfUpdated ABV to hg rev 6b74de13c57f commit | commitdiff | tree
next