Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Added new_dict (hashmap.h) and re-enabled code coverage counters | Clifford Wolf | 2014-12-26 | 6 | -7/+246 | |
| | | ||||||
* | | Temporary gcc 4.6 build hotfix for Yosys::dict and Yosys::nodict | Clifford Wolf | 2014-12-26 | 1 | -8/+3 | |
| | | ||||||
* | | Added "yosys -d" command line option | Clifford Wolf | 2014-12-26 | 1 | -10/+28 | |
| | | ||||||
* | | Added Yosys::{dict,nodict,vector} container types | Clifford Wolf | 2014-12-26 | 21 | -331/+495 | |
| | | ||||||
* | | Various fixes and improvements in "write_smt2 -bv" | Clifford Wolf | 2014-12-25 | 3 | -11/+43 | |
| | | ||||||
* | | Added "test_cell -muxdiv" | Clifford Wolf | 2014-12-25 | 1 | -2/+18 | |
| | | ||||||
* | | Various fixes and improvements in write_smt2 | Clifford Wolf | 2014-12-25 | 2 | -32/+88 | |
| | | ||||||
* | | Added "test_cell -w" feature | Clifford Wolf | 2014-12-25 | 1 | -18/+39 | |
| | | ||||||
* | | Fixed simplemap for $ne cells with output width > 1 | Clifford Wolf | 2014-12-25 | 1 | -7/+8 | |
| | | ||||||
* | | Added support for most BV cell types to write_smt2 | Clifford Wolf | 2014-12-25 | 1 | -14/+221 | |
| | | ||||||
* | | Added "write_smt2 -bv" and other write_smt2 improvements | Clifford Wolf | 2014-12-25 | 1 | -172/+153 | |
| | | ||||||
* | | Fixed off-by-one bug in "hierarchy -check" for positional module args | Clifford Wolf | 2014-12-24 | 1 | -2/+2 | |
| | | ||||||
* | | Added write_smt2 (only gate level logic supported so far) | Clifford Wolf | 2014-12-24 | 2 | -0/+353 | |
| | | ||||||
* | | Added "dfflibmap -prepare" help | Clifford Wolf | 2014-12-24 | 1 | -1/+5 | |
| | | ||||||
* | | Added "dfflibmap -prepare" | Clifford Wolf | 2014-12-24 | 1 | -31/+54 | |
| | | ||||||
* | | Added "dff2dffe -direct" for direct gate mapping | Clifford Wolf | 2014-12-24 | 1 | -5/+37 | |
| | | ||||||
* | | Added "dff2dffe -unmap" | Clifford Wolf | 2014-12-24 | 1 | -6/+42 | |
| | | ||||||
* | | Added support for gate-level cells in dff2dffe | Clifford Wolf | 2014-12-24 | 1 | -9/+38 | |
| | | ||||||
* | | Improvements in simplemap api, added $ne $nex $eq $eqx support | Clifford Wolf | 2014-12-24 | 4 | -75/+112 | |
| | | ||||||
* | | Renamed extend() to extend_xx(), changed most users to extend_u0() | Clifford Wolf | 2014-12-24 | 12 | -34/+33 | |
| | | ||||||
* | | Improved ABC clock domain partitioning | Clifford Wolf | 2014-12-23 | 1 | -2/+59 | |
| | | ||||||
* | | Indenting fix in show.cc | Clifford Wolf | 2014-12-23 | 1 | -2/+2 | |
| | | ||||||
* | | Added "show -colorattr" | Clifford Wolf | 2014-12-23 | 1 | -4/+35 | |
| | | ||||||
* | | Added "abc -markgroups" | Clifford Wolf | 2014-12-23 | 1 | -0/+20 | |
| | | ||||||
* | | Added support for multiple clock domains to "abc" pass | Clifford Wolf | 2014-12-21 | 2 | -64/+124 | |
| | | ||||||
* | | Fixed "abc" pass for clk and enable signals driven by logic | Clifford Wolf | 2014-12-21 | 1 | -6/+8 | |
| | | ||||||
* | | Added DFFE support to "abc" pass | Clifford Wolf | 2014-12-20 | 1 | -11/+78 | |
| | | ||||||
* | | Added $dffe support to write_verilog | Clifford Wolf | 2014-12-20 | 1 | -3/+14 | |
| | | ||||||
* | | Checking existence of ports in "hierarchy -check" | Clifford Wolf | 2014-12-19 | 1 | -0/+13 | |
| | | ||||||
* | | Fixed another bug in write_blif handling of $lut cells | Clifford Wolf | 2014-12-19 | 1 | -1/+1 | |
| | | ||||||
* | | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2014-12-17 | 1 | -1/+1 | |
|\ \ | ||||||
| * | | Fixed build with gcc 4.6 | Clifford Wolf | 2014-12-16 | 1 | -1/+1 | |
| | | | ||||||
* | | | Fixed writing of $lut cells in BLIF backend | Clifford Wolf | 2014-12-17 | 1 | -7/+7 | |
|/ / | ||||||
* | | Added "write_blif -undef" and support for special "-" true/false/undef type | Clifford Wolf | 2014-12-14 | 1 | -13/+33 | |
| | | ||||||
* | | Added "write_blif -blackbox" | Clifford Wolf | 2014-12-14 | 1 | -2/+16 | |
| | | | | | | | | | | based on code by Eddie Hung from https://github.com/eddiehung/yosys/commit/1e481661cb4a4 | |||||
* | | Added "blif -unbuf" feature | Clifford Wolf | 2014-12-14 | 1 | -0/+19 | |
| | | ||||||
* | | Removed psmisc from deps list (usually fuser is already installed and the ↵ | Clifford Wolf | 2014-12-14 | 1 | -3/+2 | |
| | | | | | | | | package name for it varies) | |||||
* | | Added psmisc to prerequisites | Clifford Wolf | 2014-12-12 | 1 | -1/+1 | |
| | | ||||||
* | | Removed UTF-8 chars from techmap.v | Clifford Wolf | 2014-12-12 | 1 | -1/+1 | |
| | | ||||||
* | | Added missing prerequisites to README | Clifford Wolf | 2014-12-12 | 1 | -1/+2 | |
| | | ||||||
* | | Added IdString::destruct_guard hack | Clifford Wolf | 2014-12-11 | 2 | -0/+14 | |
| | | ||||||
* | | Compile fix for visual studio | Clifford Wolf | 2014-12-11 | 1 | -0/+1 | |
| | | ||||||
* | | Fixed supply0/supply1 with many wires | Clifford Wolf | 2014-12-11 | 1 | -3/+15 | |
| | | ||||||
* | | Added functionality to dff2dffe pass | Clifford Wolf | 2014-12-08 | 2 | -2/+168 | |
| | | ||||||
* | | Added bool constructors to SigBit and SigSpec | Clifford Wolf | 2014-12-08 | 2 | -0/+12 | |
| | | ||||||
* | | Added module->addDffe() and module->addDffeGate() | Clifford Wolf | 2014-12-08 | 2 | -1/+26 | |
| | | ||||||
* | | Added skeleton dff2dffe pass | Clifford Wolf | 2014-12-08 | 3 | -2/+78 | |
| | | ||||||
* | | Added more documentation fixmes for nontrivial register cells | Clifford Wolf | 2014-12-08 | 1 | -1/+9 | |
| | | ||||||
* | | Added $dffe cell type | Clifford Wolf | 2014-12-08 | 4 | -1/+54 | |
| | | ||||||
* | | Added $_DFFE_??_ cell types | Clifford Wolf | 2014-12-08 | 3 | -0/+41 | |
| | |