Avoid creation of bogus initial blocks for assert/assume in always @*
[yosys.git] / kernel /
2016-08-30 Clifford WolfRemoved $aconst cell type
2016-08-28 Clifford WolfRemoved $predict again
2016-08-27 Clifford WolfFixed handling of transparent bram rd ports on ROMs
2016-08-22 Clifford WolfAdded glob support to all front-ends
2016-08-16 Clifford WolfMerge pull request #203 from cr1901/master
2016-08-16 William D. JonesAdd MSYS2-compatible build.
2016-08-16 Clifford WolfUse _Exit(0) on win32, always use _Exit(1) in log_error()
2016-08-09 Clifford WolfAdded log_const() API
2016-08-08 Yury GribovUse /proc/self/exe on Cygwin as well.
2016-07-30 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2016-07-27 Clifford WolfAdded SatGen support for $anyconst
2016-07-27 Clifford WolfRemoved $predict support from SatGen
2016-07-27 Clifford WolfAdded $anyconst and $aconst
2016-07-27 Clifford WolfAdded "read_verilog -dump_rtlil"
2016-07-25 Clifford WolfRenamed AbstractCellEdgesDatabase::add_cell() to add_ed...
2016-07-24 Clifford WolfImprovements in CellEdgesDatabase
2016-07-24 Clifford WolfAdded CellEdgesDatabase API
2016-07-22 Clifford WolfAdded satgen initstate support
2016-07-21 Clifford WolfAdded $initstate cell type and vlog function
2016-07-21 Clifford WolfAfter reading the SV spec, using non-standard predict...
2016-07-13 Clifford WolfAdded basic support for $expect cells
2016-07-08 Clifford WolfMerge branch 'yosys-0.5-vtr' of https://github.com...
2016-06-19 Clifford WolfMerge branch 'sv_packages' of https://github.com/rubund...
2016-06-18 Ruben UndheimA few modifications after pull request comments
2016-06-18 Ruben UndheimAdded support for SystemVerilog packages with localpara...
2016-06-17 Clifford WolfAdded $sop SAT model
2016-06-17 Clifford WolfImproved support for $sop cells
2016-06-17 Clifford WolfAdded $sop cell type and "abc -sop"
2016-05-14 Clifford WolfAdded missing "#define HASHLIB_H"
2016-05-08 Clifford WolfInclude <cmath> in yosys.h
2016-05-07 Clifford WolfFixes for MXE build
2016-04-25 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2016-04-24 Clifford WolfAdded "yosys -D ALL"
2016-04-23 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2016-04-21 Clifford WolfAdded "yosys -D" feature
2016-04-16 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2016-04-16 Clifford WolfMinor hashlib bugfix
2016-04-07 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2016-04-05 Clifford WolfHashlib indenting fix
2016-04-01 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2016-03-31 Clifford WolfAdded ScriptPass helper class for script-like passes
2016-03-31 Clifford WolfAdded log_dump() support for dict<> and pool<> containers
2016-03-31 Andrew ZonenbergMerge https://github.com/cliffordwolf/yosys
2016-03-30 Clifford WolfWe have 2016 for a while now
2016-03-30 Clifford WolfAdded .vhd file extension support
2016-03-28 Clifford WolfMerge pull request #137 from ravenexp/master
2016-03-28 Clifford WolfMerge pull request #138 from SebKuzminsky/help-typo
2016-03-26 Sebastian Kuzminskyfix a cut-n-paste error in the -h help
2016-03-26 Sergey KvachonokEmbed DATDIR make variable value into yosys binary.
2016-02-15 Clifford WolfUse easyer-to-read unoptimized ceil_log2()
2016-02-14 Clifford WolfFixed more visual studio warnings
2016-02-13 Clifford WolfFixed some visual studio warnings
2016-02-13 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2016-02-13 Clifford WolfAdded "int ceil_log2(int)" function
2016-02-02 Clifford WolfAdded addBufGate module method
2016-02-01 Clifford WolfSigMap performance improvement
2016-02-01 Clifford Wolfhashlib mfp<> performance improvements
2016-01-31 Clifford WolfAdded reserve() method to haslib classes and
2016-01-31 Clifford WolfMerge branch 'rtlil_remove2_speedup' of https://github...
2016-01-31 Rick Altherrrtlil: Improve performance of SigSpec::extract(SigSpec...
2016-01-31 Rick Altherrrtlil: speed up SigSpec::sort_and_unify()
2016-01-31 Rick Altherrrtlil: improve performance of SigSpec::replace(SigSpec...
2016-01-31 Rick Altherrrtlil: improve performance of SigSpec::remove2(SigSpec...
2016-01-31 Clifford WolfMeaningless coding style change
2016-01-31 Clifford WolfMerge branch 'rtlil_remove2_speedup' of https://github...
2016-01-30 Rick Altherrrtlil: rewrite remove2() to avoid copying
2016-01-30 Rick Altherrrtlil: duplicate remove2() for std::set<>
2016-01-30 Rick Altherrrtlil: change IdString comparison operators to take...
2015-12-07 Clifford WolfMerge pull request #108 from cseed/master
2015-12-02 Clifford WolfAdded default values for hashlib at() methods
2015-11-30 Clifford WolfRe-added SigMap::allbits()
2015-11-26 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2015-11-26 Clifford WolfRemoved dangling ';' in rtlil.h
2015-10-28 Clifford WolfImproved SigMap performance
2015-10-27 Clifford WolfImprovements in new SigMap
2015-10-27 Clifford WolfRemoved old SigMap implementation
2015-10-27 Clifford WolfAdded hashlib::mfp and new SigMap
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-24 Clifford Wolfrenamed SigSpec::to_single_sigbit() to SigSpec::as_bit...
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 support for ":" as comment symbol after ;-parsing
2015-10-17 Clifford WolfProgress on cell help messages
2015-10-14 Clifford WolfAdded first help messages for cell types
2015-09-25 Clifford WolfAdded read-enable to memory model
2015-09-18 Clifford WolfCosmetic fix in Module::addLut()
2015-09-01 Andrei ErrapartRemoved unnecessary cast.
2015-09-01 Andrei ErrapartMicrosoft Visual C++ fixes in hashlib; template special...
2015-09-01 Andrei ErrapartMicrosoft Visual C++ fix for log.h.
2015-08-31 Clifford WolfAdded SigMap::allbits()
2015-08-16 Clifford WolfAdded $tribuf and $_TBUF_ cell types
2015-08-14 Clifford WolfSpell check (by Larry Doolittle)
2015-08-13 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys
2015-08-12 Clifford WolfFixed hashlib for 64 bit int keys
2015-08-12 Clifford WolfMerge pull request #70 from gaomy3832/bugfix
2015-08-11 Clifford WolfFixed handling of [a-fxz?] in decimal constants
2015-07-31 Clifford WolfAdded WORDS parameter to $meminit
next