yosys.git
2016-11-02 Clifford WolfBugfix in "hierarchy -check"
2016-11-02 Clifford WolfUpdated command reference in manual
2016-11-02 Clifford WolfChangelog for Yosys 0.7
2016-11-02 Clifford WolfAdded support for fsm_encoding="user"
2016-11-02 Clifford WolfAdded "fsm_expand -full"
2016-11-01 Clifford WolfSome fixes in handling of signed arrays
2016-11-01 Clifford WolfiCE40 flow is not experimental anymore
2016-11-01 Clifford WolfAdded initial version of "synth_gowin"
2016-11-01 Clifford WolfAdde "write_verilog -renameprefix -v"
2016-11-01 Clifford WolfAdded support for (single-clock) transparent memories...
2016-10-25 Clifford WolfBugfix in fsm_map for FSMs without reset state
2016-10-22 Clifford WolfAdded avail params to ilang format, check module params...
2016-10-19 Clifford WolfAdded "setparam -type"
2016-10-19 Clifford WolfNo limit for length of lines in BLIF front-end
2016-10-19 Clifford WolfMerge pull request #250 from azonenberg/master
2016-10-19 Andrew ZonenbergFixed typo in last commit
2016-10-19 Andrew Zonenberggreenpak4: Added GP_PGEN cell definition
2016-10-19 Andrew ZonenbergAdded GLITCH_FILTER parameter to GP_DELAY
2016-10-19 Andrew Zonenberggreenpak4: added model for GP_EDGEDET block
2016-10-19 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2016-10-18 Clifford WolfIgnore L_pi nets in "yosys-smtbmc --cex"
2016-10-18 Clifford WolfUse init value "2" for all uninitialized FFs in BLIF...
2016-10-17 Clifford WolfAdded "yosys-smtbmc --cex <filename>"
2016-10-17 Clifford WolfBugfix in "miter -assert" handling of assumptions
2016-10-17 Clifford WolfAdded clk2fflogic support for $dffsr and $dlatch
2016-10-17 Andrew Zonenberggreenpak4: Changed parameters for GP_SYSRESET
2016-10-16 Clifford WolfImprovements and bugfixes in clk2fflogic
2016-10-16 Clifford Wolfcleanup in write_smt2 log messages (-bv and -mem are...
2016-10-16 Clifford WolfBuild fixes for VS 2015
2016-10-14 Clifford WolfSome minor build fixes for Visual C
2016-10-14 Clifford WolfAvoid using strcasecmp()
2016-10-14 Clifford WolfFixed version string for out-of-tree builds
2016-10-14 Clifford WolfAdded notes about some formal features to README
2016-10-14 Clifford WolfAdded $anyseq cell type
2016-10-14 Clifford WolfAdded clk2fflogic
2016-10-14 Clifford WolfAdded opt_rmdff support for $ff cells
2016-10-14 Clifford WolfAdded $global_clock verilog syntax support for creating...
2016-10-14 Clifford WolfAdded MEMID handling to "flatten" pass
2016-10-14 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2016-10-14 Clifford WolfMerge pull request #246 from set-soft/abc_external_ovr
2016-10-14 Clifford WolfAdded YOSYS_VER_STR make variable
2016-10-13 Salvador E... Ugh! extra patches got here, reverting
2016-10-13 Salvador E... Allow to overwrite ABCEXTERNAL from the environment.
2016-10-13 Salvador E... Modified test target name (to test-all)
2016-10-13 Salvador E... Added a new configuration variable GIT_REV_WHERE
2016-10-12 Clifford WolfAdded "zinit" pass
2016-10-11 Clifford WolfAdded $ff and $_FF_ cell types
2016-10-11 Clifford WolfFixed "make test" for git head of iverilog
2016-10-11 Clifford Wolfdefine PATH_MAX if not defined by limits.h
2016-10-11 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2016-10-08 Clifford WolfAdded smtc support for top-level state with [], [N...
2016-10-03 Clifford WolfBugfix in yosys-smtbmc --noincr
2016-10-03 Clifford Wolfyosys-smtbmc: ABC is a QF_BV solver
2016-10-03 Clifford WolfAdded "yosys-smtbmc --noincr"
2016-10-02 Clifford WolfUpdate ABV to hg rev eb6eca6807cc
2016-10-02 Clifford Wolfyosys-smtbmc: added smtc [...] support for cells
2016-10-01 Clifford WolfAdded "yosys-smtbmc -s abc"
2016-10-01 Clifford WolfUpdated ABV to hg rev 6b74de13c57f
2016-09-30 Clifford WolfAdded "prep -nokeepdc"
2016-09-30 Clifford WolfAdded "opt_rmdff -keepdc"
2016-09-30 Clifford WolfUpdated ABV to hg rev 2bc57cc30593
2016-09-24 Clifford WolfMinor improvements in yosys-smtbmc
2016-09-23 Clifford WolfAdded liberty parser support for types within cell...
2016-09-23 Clifford WolfMerge branch 'master' of https://github.com/brouhaha...
2016-09-22 Eric SmithAdd optional SEED=n command line option to Makefile...
2016-09-20 Clifford WolfAdded autotest.sh -I
2016-09-19 Clifford WolfCosmetic fix in test_autotb.cc
2016-09-19 Clifford WolfAdded yosys-smtbmc --noinfo and --dummy
2016-09-19 Clifford WolfAvoid creating very long strings in test_autotb
2016-09-18 Clifford WolfAdded $past, $stable, $rose, $fell SVA functions
2016-09-18 Clifford WolfImproved handling of SMT2 logics in yosys-smtbmc
2016-09-18 Clifford WolfAdded support for bus interfaces to "read_liberty ...
2016-09-17 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2016-09-17 Clifford Wolfyosys-smtbmc: added -i support smtc files
2016-09-14 Clifford WolfBugfix in techmap parameter handling
2016-09-13 Clifford WolfWork-around for boolector bug
2016-09-13 Clifford WolfMerge pull request #228 from Kmanfi/test
2016-09-13 Kaj TuomiFix for modules with big interfaces.
2016-09-11 Clifford WolfAdded missing :produce-models setting to smtio.py
2016-09-10 Clifford WolfMinor improvements to smtio.py vcd writer
2016-09-10 Clifford Wolffixed write_smt2 for (non-combinatorial) loops through...
2016-09-08 Clifford Wolfsmt2 mem init bugfix
2016-09-08 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2016-09-08 Clifford Wolfyosys-smtbmc meminit support
2016-09-08 Clifford WolfMerge pull request #225 from Kmanfi/test
2016-09-08 Kaj TuomiTypo fix.
2016-09-07 Clifford WolfBugfix in "yosys-smtbmc --unroll"
2016-09-07 Clifford WolfAdded "yosys-smtbmc --unroll"
2016-09-07 Clifford WolfInstall celledges.h
2016-09-07 Clifford WolfImprovements in assertpmux
2016-09-07 Clifford WolfUpdated ABC to hg 8e08604f8ad3
2016-09-06 Clifford WolfAdded assertpmux
2016-09-06 Clifford WolfAdded "tee +INT -INT"
2016-09-06 Clifford WolfRun log_flush() before solving in sat command
2016-09-06 Clifford WolfBugfix in parsing of BLIF latch init values
2016-09-06 Clifford WolfAvoid creation of bogus initial blocks for assert/assum...
2016-09-06 Larry DoolittleFix spelling and grammar in README
2016-09-05 Clifford Wolfyosys-smtbmc: flush stdout after each log msg
2016-09-04 Clifford WolfMinor bugfix in write_smt2
2016-09-03 Clifford WolfMinor README updates
next