aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | | | | | | | Added Verilog parser support for assertsClifford Wolf2014-01-194-3/+12
| | | | | | | | | |
* | | | | | | | | | Fixed $lut simlib model for a wider range of toolsClifford Wolf2014-01-181-10/+12
| | | | | | | | | |
* | | | | | | | | | Fixed parsing of verilog macros at end of lineClifford Wolf2014-01-181-1/+1
| | | | | | | | | |
* | | | | | | | | | More changes to simlib to make it friendlier to a wider range of toolsClifford Wolf2014-01-181-10/+14
| | | | | | | | | |
* | | | | | | | | | Fixed a type in $mem model in simlib.vClifford Wolf2014-01-181-1/+1
| |_|_|_|_|_|_|_|/ |/| | | | | | | |
* | | | | | | | | Removed cases of trailing comma in stdcells.vClifford Wolf2014-01-181-3/+3
| | | | | | | | |
* | | | | | | | | Added $bu0 cell to simlib.vClifford Wolf2014-01-181-0/+22
| | | | | | | | |
* | | | | | | | | Improved setundef random number generatorClifford Wolf2014-01-181-1/+1
| | | | | | | | |
* | | | | | | | | Added setundef commandClifford Wolf2014-01-172-0/+158
| | | | | | | | |
* | | | | | | | | Some improvements in log_dump_val_worker() templatesClifford Wolf2014-01-171-1/+6
| | | | | | | | |
* | | | | | | | | Added techlibs/common/pmux2mux.vClifford Wolf2014-01-172-1/+26
| |_|_|_|_|_|_|/ |/| | | | | | |
* | | | | | | | Added verilog_defaults commandClifford Wolf2014-01-171-0/+66
| | | | | | | |
* | | | | | | | Added support for $adff with undef data inputs to opt_rmdffClifford Wolf2014-01-171-0/+6
| | | | | | | |
* | | | | | | | Added select -assert-none and -assert-anyClifford Wolf2014-01-172-7/+47
| |_|_|_|_|_|/ |/| | | | | |
* | | | | | | Added automatic memid generation to memory_unpack commandClifford Wolf2014-01-171-2/+2
| | | | | | |
* | | | | | | Added memory_unpack commandClifford Wolf2014-01-172-0/+117
| |_|_|_|_|/ |/| | | | |
* | | | | | Merge pull request #20 from mschmoelzer/masterClifford Wolf2014-01-141-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ölzer2014-01-141-0/+1
|/ / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This fixes compilation errors on Arch Linux. Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>
* | | | | | Added hierarchy -libdir optionClifford Wolf2014-01-141-4/+48
| | | | | |
* | | | | | renamed LibertyParer to LibertyParserClifford Wolf2014-01-143-9/+9
| | | | | |
* | | | | | Added "+" to list of liberty token charactersClifford Wolf2014-01-141-2/+2
| |_|_|_|/ |/| | | |
* | | | | Added "opt_const -mux_undef"Clifford Wolf2014-01-141-5/+71
| |_|_|/ |/| | |
* | | | Fixed typo in frontends/ast/simplify.ccClifford Wolf2014-01-121-1/+1
| | | |
* | | | Improved performance of freduce input cone reductionClifford Wolf2014-01-041-23/+78
| | | |
* | | | Improved freduce performance on const signalsClifford Wolf2014-01-041-13/+63
| | | |
* | | | Performance improvements in freduce passClifford Wolf2014-01-031-27/+69
| | | |
* | | | More freduce cleanupsClifford Wolf2014-01-031-0/+24
| | | |
* | | | Added updating of RTLIL::autoidx to ilang frontendClifford Wolf2014-01-031-1/+23
| | | |
* | | | Cleanups in freduce commandClifford Wolf2014-01-031-2/+5
| | | |
* | | | Fixed SAT and ConstEval undef handling for $pmux and $safe_pmuxClifford Wolf2014-01-032-10/+43
| | | |
* | | | Tiny cleanup in proc_mux.ccClifford Wolf2014-01-031-3/+0
| |_|/ |/| |
* | | Added "splitnets -driver"Clifford Wolf2014-01-031-29/+96
| | |
* | | Use selection in freduce commandClifford Wolf2014-01-031-5/+20
| | |
* | | Another small freduce cleanup/bugfixClifford Wolf2014-01-031-1/+2
| | |
* | | Added "connect" commandClifford Wolf2014-01-032-0/+186
| | |
* | | More freduce cleanups and bugfixesClifford Wolf2014-01-031-11/+32
| | |
* | | Added RTLIL::SigSpec::optimized() APIClifford Wolf2014-01-032-0/+8
| |/ |/|
* | Added correct handling of $memwr priorityClifford Wolf2014-01-035-2/+42
| |
* | Fixed more complex undef cases in freduceClifford Wolf2014-01-021-4/+36
| |
* | Now */ is optional in */<mode>:<arg> selectionsClifford Wolf2014-01-021-1/+4
| |
* | Added "rename -hide" commandClifford Wolf2014-01-021-1/+44
| |
* | Added SAT undef model for $pmux and $safe_pmuxClifford Wolf2014-01-021-4/+19
| |
* | More "freduce" related fixes and improvementsClifford Wolf2014-01-021-19/+67
| |
* | Added support for module->connections to select %ci, %co and %x handlingClifford Wolf2014-01-021-0/+15
| |
* | Some cleanups in freduce -inv mode (and switched from -noinv to -inv)Clifford Wolf2014-01-021-26/+29
| |
* | Added autotest.sh -p optionClifford Wolf2014-01-021-3/+8
| |
* | Major rewrite of "freduce" commandClifford Wolf2014-01-024-286/+338
| |
* | Updated CHANGELOGClifford Wolf2014-01-011-2/+36
| |
* | Fixed use of limited length buffer in ABC blif parserClifford Wolf2013-12-311-7/+16
| |
* | Use "abc -dff" in "make test"Clifford Wolf2013-12-311-3/+2
| |