yosys.git
2016-01-08 Clifford WolfAdded "equiv_struct -fwonly"
2016-01-08 Clifford WolfBugfixes in equiv_struct
2016-01-08 Clifford WolfAdded "submod -copy"
2016-01-06 Clifford WolfAdded "write_blif -cname" mode
2016-01-06 Clifford WolfAdded "equiv_struct -maxiter <N>"
2016-01-06 Clifford WolfAdded "equiv_add -try" mode
2015-12-22 Clifford WolfFixed "splitnets -ports" for hierarchical designs
2015-12-22 Clifford WolfRe-run ice40_opt in "synth_ice40 -abc2"
2015-12-22 Clifford WolfImprovements in ice40_opt
2015-12-22 Clifford WolfBugfix in ice40_ffinit
2015-12-22 Clifford WolfImproved ice40_ffinit
2015-12-22 Clifford WolfRun opt_const before check in default scripts
2015-12-20 Clifford WolfAdded %R select expression
2015-12-20 Clifford WolfVarious improvements in BLIF front-end
2015-12-20 Clifford WolfAdded yosys-smtbmc -S
2015-12-15 Clifford WolfMerge pull request #110 from scanlime/master
2015-12-15 Micah Elizabeth... Mac build fix, gsed -> sed
2015-12-15 Micah Elizabeth... Remove nonportable "-r" option from xargs
2015-12-08 Clifford WolfAdded "synth_ice40 -abc2"
2015-12-07 Clifford WolfMerge pull request #108 from cseed/master
2015-12-06 Cotton SeedAdded LO to ICESTORM_LC for LUT cascade route.
2015-12-02 Clifford WolfImproved proc_mux performance for huge always blocks
2015-12-02 Clifford WolfAdded default values for hashlib at() methods
2015-11-30 Clifford WolfRe-added SigMap::allbits()
2015-11-30 Clifford WolfAdded tests/simple/graphtest.v
2015-11-29 Clifford WolfFixed oom bug in ilang parser
2015-11-27 Clifford WolfFixed performance bug in ilang parser
2015-11-26 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2015-11-26 Clifford WolfRemoved dangling ';' in rtlil.h
2015-11-26 Clifford WolfAdded ice40_ffinit pass
2015-11-24 Clifford WolfAdded PRIM_DLATCHRS support to verific front-end
2015-11-24 Clifford WolfFixed WE/RE usage in iCE40 BRAM mapping
2015-11-23 Clifford WolfFixed handling of re-declarations of wires in tasks...
2015-11-19 Clifford WolfAdded torder command
2015-11-16 Clifford WolfFixed performance bug in Verific importer
2015-11-12 Clifford WolfChanges for Verific 3.16_484_32_151112
2015-11-12 Clifford WolfLink to vlsitechnology.org for liberty files
2015-11-12 Clifford WolfMore bugfixes in handling of parameters in tasks and...
2015-11-11 Clifford WolfFixed handling of parameters and localparams in functions
2015-11-10 Clifford WolfAdded "abc -g"
2015-11-08 Clifford WolfMerge pull request #97 from zeldin/master
2015-11-08 Marcus ComstedtFix a segfault in dffinit when the value has too few...
2015-11-07 Clifford WolfAdded "singleton" pass
2015-11-06 Clifford WolfFixed iCE40 SB_IO OUTPUT_ENABLE vs. outena_q handling
2015-11-05 Clifford WolfBugfix in mapping $tribuf to $_TBUF_
2015-10-31 Clifford WolfBugfix in memory_dff
2015-10-31 Clifford WolfImprovements in wreduce
2015-10-30 Clifford WolfBugfix in Xilinx LUT mapping
2015-10-28 Clifford WolfImproved SigMap performance
2015-10-27 Clifford WolfImprovements in new SigMap
2015-10-27 Clifford WolfUse mfp<> in equiv_mark
2015-10-27 Clifford WolfRemoved old SigMap implementation
2015-10-27 Clifford WolfAdded hashlib::mfp and new SigMap
2015-10-25 Clifford WolfImprovements in equiv_struct
2015-10-25 Clifford WolfMajor refactoring of equiv_struct
2015-10-25 Clifford WolfImport more std:: stuff into Yosys namespace
2015-10-25 Clifford WolfAdded "equiv_add -cell"
2015-10-25 Clifford Wolfequiv_struct now creates equiv_merged attributes
2015-10-24 Clifford WolfImprovements in equiv_struct
2015-10-24 Clifford Wolfrenamed SigSpec::to_single_sigbit() to SigSpec::as_bit...
2015-10-24 Clifford Wolfimprovement in "stat"
2015-10-24 Clifford WolfFixed driver conflict handling (various cmds)
2015-10-24 Clifford Wolfequiv_purge bugfix, using SigChunk in Yosys namespace
2015-10-24 Clifford WolfFixed handling of driver-driver conflicts in wreduce
2015-10-23 Clifford WolfAdded equiv_mark command
2015-10-23 Clifford WolfDisabled "Skipping blackbox module" msg in show command
2015-10-23 Clifford WolfAdded support for ":" as comment symbol after ;-parsing
2015-10-23 Clifford WolfAlso merge $equiv cells in equiv_struct
2015-10-23 Clifford WolfImprovements in equiv_struct
2015-10-22 Clifford WolfAdded equiv_purge
2015-10-21 Clifford WolfAdded equiv_struct command
2015-10-21 Clifford WolfImproved inout handling in equiv_make
2015-10-20 Clifford WolfProgress on cell help messages
2015-10-17 Clifford WolfProgress on cell help messages
2015-10-15 Clifford WolfProgress in yosys-smtbmc
2015-10-15 Clifford WolfFixed bug in verilog parser
2015-10-15 Clifford WolfImprovements in yosys-smtbmc
2015-10-15 Clifford WolfBugfixes in handling of "keep" attribute on wires
2015-10-14 Clifford WolfMore "yosys-smtbmc -c" fixes
2015-10-14 Clifford WolfFixed yosys-smtbmc -c
2015-10-14 Clifford WolfAdded "prep" command
2015-10-14 Clifford WolfAdded more cell descriptions
2015-10-14 Clifford WolfAdded first help messages for cell types
2015-10-13 Clifford WolfAdded yosys-smtbmc copyright
2015-10-13 Clifford WolfImprovements in yosys-smtbmc
2015-10-13 Clifford WolfAdded yosys-smtbmc
2015-10-13 Clifford WolfImplemented smtbmc.py -i
2015-10-13 Clifford WolfAdded smtbmc.py
2015-10-13 Clifford WolfAdded write_smt2 -wires
2015-10-13 Clifford WolfAdded examples/ top-level directory
2015-10-13 Clifford WolfSystemVerilog also has assume(), added implicit -D...
2015-10-13 Clifford WolfMerge branch 'master' of https://github.com/rubund...
2015-10-13 Clifford WolfFixed "flatten" for unconnected inout ports
2015-10-10 Ruben UndheimUse DESTDIR as defined in https://gnu.org/prep/standard...
2015-10-10 Ruben UndheimUse LDFLAGS, CXXFLAGS and CPPFLAGS from the environment...
2015-10-07 Clifford WolfAdded support for "parameter" and "localparam" in globa...
2015-10-01 Clifford WolfFixed complexity of assigning to vectors in constant...
2015-09-30 Clifford WolfFixed detection of unconditional $readmem[hb]
2015-09-27 Clifford WolfAdded edgetypes command
2015-09-26 Clifford WolfSome cleanups in qwp
next