Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | | | | | Merge pull request #20 from mschmoelzer/master | Clifford Wolf | 2014-01-14 | 1 | -0/+1 | |
|\ \ \ \ \ \ | | | | | | | | | | | | | | | Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3)) | |||||
| * | | | | | | Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3)) | Martin Schmölzer | 2014-01-14 | 1 | -0/+1 | |
|/ / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This fixes compilation errors on Arch Linux. Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at> | |||||
* | | | | | | Added hierarchy -libdir option | Clifford Wolf | 2014-01-14 | 1 | -4/+48 | |
| | | | | | | ||||||
* | | | | | | renamed LibertyParer to LibertyParser | Clifford Wolf | 2014-01-14 | 3 | -9/+9 | |
| | | | | | | ||||||
* | | | | | | Added "+" to list of liberty token characters | Clifford Wolf | 2014-01-14 | 1 | -2/+2 | |
| |_|_|_|/ |/| | | | | ||||||
* | | | | | Added "opt_const -mux_undef" | Clifford Wolf | 2014-01-14 | 1 | -5/+71 | |
| |_|_|/ |/| | | | ||||||
* | | | | Fixed typo in frontends/ast/simplify.cc | Clifford Wolf | 2014-01-12 | 1 | -1/+1 | |
| | | | | ||||||
* | | | | Improved performance of freduce input cone reduction | Clifford Wolf | 2014-01-04 | 1 | -23/+78 | |
| | | | | ||||||
* | | | | Improved freduce performance on const signals | Clifford Wolf | 2014-01-04 | 1 | -13/+63 | |
| | | | | ||||||
* | | | | Performance improvements in freduce pass | Clifford Wolf | 2014-01-03 | 1 | -27/+69 | |
| | | | | ||||||
* | | | | More freduce cleanups | Clifford Wolf | 2014-01-03 | 1 | -0/+24 | |
| | | | | ||||||
* | | | | Added updating of RTLIL::autoidx to ilang frontend | Clifford Wolf | 2014-01-03 | 1 | -1/+23 | |
| | | | | ||||||
* | | | | Cleanups in freduce command | Clifford Wolf | 2014-01-03 | 1 | -2/+5 | |
| | | | | ||||||
* | | | | Fixed SAT and ConstEval undef handling for $pmux and $safe_pmux | Clifford Wolf | 2014-01-03 | 2 | -10/+43 | |
| | | | | ||||||
* | | | | Tiny cleanup in proc_mux.cc | Clifford Wolf | 2014-01-03 | 1 | -3/+0 | |
| |_|/ |/| | | ||||||
* | | | Added "splitnets -driver" | Clifford Wolf | 2014-01-03 | 1 | -29/+96 | |
| | | | ||||||
* | | | Use selection in freduce command | Clifford Wolf | 2014-01-03 | 1 | -5/+20 | |
| | | | ||||||
* | | | Another small freduce cleanup/bugfix | Clifford Wolf | 2014-01-03 | 1 | -1/+2 | |
| | | | ||||||
* | | | Added "connect" command | Clifford Wolf | 2014-01-03 | 2 | -0/+186 | |
| | | | ||||||
* | | | More freduce cleanups and bugfixes | Clifford Wolf | 2014-01-03 | 1 | -11/+32 | |
| | | | ||||||
* | | | Added RTLIL::SigSpec::optimized() API | Clifford Wolf | 2014-01-03 | 2 | -0/+8 | |
| |/ |/| | ||||||
* | | Added correct handling of $memwr priority | Clifford Wolf | 2014-01-03 | 5 | -2/+42 | |
| | | ||||||
* | | Fixed more complex undef cases in freduce | Clifford Wolf | 2014-01-02 | 1 | -4/+36 | |
| | | ||||||
* | | Now */ is optional in */<mode>:<arg> selections | Clifford Wolf | 2014-01-02 | 1 | -1/+4 | |
| | | ||||||
* | | Added "rename -hide" command | Clifford Wolf | 2014-01-02 | 1 | -1/+44 | |
| | | ||||||
* | | Added SAT undef model for $pmux and $safe_pmux | Clifford Wolf | 2014-01-02 | 1 | -4/+19 | |
| | | ||||||
* | | More "freduce" related fixes and improvements | Clifford Wolf | 2014-01-02 | 1 | -19/+67 | |
| | | ||||||
* | | Added support for module->connections to select %ci, %co and %x handling | Clifford Wolf | 2014-01-02 | 1 | -0/+15 | |
| | | ||||||
* | | Some cleanups in freduce -inv mode (and switched from -noinv to -inv) | Clifford Wolf | 2014-01-02 | 1 | -26/+29 | |
| | | ||||||
* | | Added autotest.sh -p option | Clifford Wolf | 2014-01-02 | 1 | -3/+8 | |
| | | ||||||
* | | Major rewrite of "freduce" command | Clifford Wolf | 2014-01-02 | 4 | -286/+338 | |
| | | ||||||
* | | Updated CHANGELOG | Clifford Wolf | 2014-01-01 | 1 | -2/+36 | |
| | | ||||||
* | | Fixed use of limited length buffer in ABC blif parser | Clifford Wolf | 2013-12-31 | 1 | -7/+16 | |
| | | ||||||
* | | Use "abc -dff" in "make test" | Clifford Wolf | 2013-12-31 | 1 | -3/+2 | |
| | | ||||||
* | | Added abc -dff and -clk support | Clifford Wolf | 2013-12-31 | 3 | -34/+173 | |
| | | ||||||
* | | Various small cleanups in stdcells.v techmap code | Clifford Wolf | 2013-12-31 | 1 | -68/+38 | |
| | | ||||||
* | | Added additional checks for A_SIGNED == B_SIGNED for cells with that constraint | Clifford Wolf | 2013-12-31 | 1 | -4/+11 | |
| | | ||||||
* | | Updated ABC to hg rev 57517e81666b | Clifford Wolf | 2013-12-31 | 1 | -2/+2 | |
| | | ||||||
* | | Now using BLIF as ABC input format | Clifford Wolf | 2013-12-31 | 1 | -37/+54 | |
| | | ||||||
* | | Fixed commented out techmap call in tests/tools/autotest.sh | Clifford Wolf | 2013-12-31 | 1 | -1/+1 | |
| | | ||||||
* | | Always use BLIF as ABC output format | Clifford Wolf | 2013-12-31 | 5 | -268/+31 | |
| | | ||||||
* | | Fixed a stupid access after delete bug | Clifford Wolf | 2013-12-29 | 1 | -1/+2 | |
| | | ||||||
* | | Fixed undef extend for bitwise binary ops (bugs in simplemap and satgen) | Clifford Wolf | 2013-12-29 | 2 | -13/+10 | |
| | | ||||||
* | | Updated manual/command-reference-manual.tex | Clifford Wolf | 2013-12-28 | 2 | -7/+137 | |
| | | ||||||
* | | Added new cell types to manual | Clifford Wolf | 2013-12-28 | 2 | -1/+10 | |
| | | ||||||
* | | Added $bu0 cell (for easy correct $eq/$ne mapping) | Clifford Wolf | 2013-12-28 | 6 | -5/+35 | |
| | | ||||||
* | | Added sat -prove-x and -set-def-inputs | Clifford Wolf | 2013-12-28 | 1 | -32/+96 | |
| | | ||||||
* | | Improved $_MUX_ handling in opt_const | Clifford Wolf | 2013-12-28 | 1 | -10/+9 | |
| | | ||||||
* | | More conservastive $eq/$ne/$eqx/$nex opt_const code | Clifford Wolf | 2013-12-28 | 1 | -8/+2 | |
| | | ||||||
* | | Fixed sat handling of $eqx and $nex with unequal port widths | Clifford Wolf | 2013-12-27 | 1 | -0/+2 | |
| | |