summaryrefslogtreecommitdiff
path: root/frontends/verific/verific.cc
Commit message (Expand)AuthorAge
* 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
* 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
* Improved verific command (added support for some operators)Clifford Wolf2014-03-10
* Improvements in verific commandClifford Wolf2014-03-10
* Added "verific" commandClifford Wolf2014-03-09