summaryrefslogtreecommitdiff
path: root/frontends/verific
Commit message (Expand)AuthorAge
* New upstream version 0.9Ruben Undheim2019-10-18
* Imported GIT HEAD: 0.8+20190328git32bd0f2Ruben Undheim2019-03-28
* New upstream version 0.8Ruben Undheim2018-10-17
* New upstream version 0.7+20181007git9850de4Ruben Undheim2018-10-15
* New upstream version 0.7+20180830git0b7a184Ruben Undheim2018-08-30
* Squashed commit of the following:Ruben Undheim2016-09-23
* Support for more Verific primitives (patch I got per email)Clifford Wolf2016-02-13
* Bugfix in Verific front-endClifford Wolf2016-02-03
* Updated verific build instructionsClifford Wolf2016-02-02
* Added addBufGate module methodClifford Wolf2016-02-02
* Added PRIM_DLATCHRS support to verific front-endClifford Wolf2015-11-24
* Fixed performance bug in Verific importerClifford Wolf2015-11-16
* Changes for Verific 3.16_484_32_151112Clifford Wolf2015-11-12
* Import more std:: stuff into Yosys namespaceClifford Wolf2015-10-25
* Added read-enable to memory modelClifford Wolf2015-09-25
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-14
* Fixed trailing whitespacesClifford Wolf2015-07-02
* Verific build fixesClifford Wolf2015-05-17
* Added log_warning() APIClifford Wolf2014-11-09
* Added "ENABLE_PLUGINS := 0" to verific amd64 build instructionsClifford Wolf2014-11-08
* Header changes so it will compile on VSWilliam Speirs2014-10-17
* Renamed SIZE() to GetSize() because of name collision on Win32Clifford Wolf2014-10-10
* Corrected spelling mistakes found by lintianRuben Undheim2014-09-06
* Added module->uniquify()Clifford Wolf2014-08-16
* Renamed $_INV_ cell type to $_NOT_Clifford Wolf2014-08-15
* Fixed building verific bindingsClifford Wolf2014-08-12
* Fixed build of verific bindingsClifford Wolf2014-07-31
* Added module->design and cell->module, wire->module pointersClifford Wolf2014-07-31
* Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespaceClifford Wolf2014-07-31
* Using log_assert() instead of assert()Clifford Wolf2014-07-28
* Fixed verific bindings for new RTLIL apiClifford Wolf2014-07-27
* Updated verific build/test instructionsClifford Wolf2014-07-25
* Various fixes in Verific frontend for new RTLIL APIClifford Wolf2014-07-23
* Fixed mapping of Verific WIDE_DFFRS operatorClifford Wolf2014-03-20
* Fixed mapping of Verific FADD primitive with unconnected outputsClifford Wolf2014-03-20
* Progress in Verific bindingsClifford Wolf2014-03-17
* Progress in Verific bindingsClifford Wolf2014-03-17
* Progress in Verific bindingsClifford Wolf2014-03-17
* Added support for memories to verific bindingsClifford Wolf2014-03-16
* Use Verific Net::{IsGnd,IsPwr} API in Verific bindingsClifford Wolf2014-03-16
* Progress in Verific bindingsClifford Wolf2014-03-15
* Progress in Verific bindingsClifford Wolf2014-03-15
* Progress in Verific bindingsClifford Wolf2014-03-15
* Progress in Verific bindingsClifford Wolf2014-03-14
* Progress in Verific bindingsClifford Wolf2014-03-14
* Progress in Verific bindingsClifford Wolf2014-03-13
* Copy Verific vdbs files to Yosys "share" data directoryClifford Wolf2014-03-13
* Added test_navre.ys for verific frontendClifford Wolf2014-03-13
* Improved verific command (added support for some operators)Clifford Wolf2014-03-10
* Improvements in verific commandClifford Wolf2014-03-10