aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Another name resolution bugfix for generate blocksClifford Wolf2013-11-202-4/+61
* Implemented indexed part selectsClifford Wolf2013-11-204-3/+19
* Do not allow memory bit select on the left side of an assignmentClifford Wolf2013-11-201-1/+1
* Added "synthesis" in (synopsys|synthesis) comment supportClifford Wolf2013-11-201-6/+6
* Fixed name resolution of local tasks and functions in generate blockClifford Wolf2013-11-202-3/+16
* Implemented part/bit select on memory readClifford Wolf2013-11-204-5/+104
* Updated TODOs in README fileClifford Wolf2013-11-201-6/+26
* Added init= attribute for fpga-style reset valuesClifford Wolf2013-11-202-6/+23
* Added "make config-sudo"Clifford Wolf2013-11-191-6/+10
* Install simlib in datdirClifford Wolf2013-11-191-0/+6
* Large improvements in yosys-configClifford Wolf2013-11-193-17/+84
* Fixed parsing of module arguments when one type is used for many argsClifford Wolf2013-11-191-3/+10
* Renamed temp module generated by "abc" pass from "logic" to "netlist"Clifford Wolf2013-11-192-6/+6
* Added additional mem2reg testcaseClifford Wolf2013-11-181-0/+28
* Fixed two bugs in mem2reg functionality in AST frontendClifford Wolf2013-11-181-4/+8
* Added dumping of attributes in AST frontendClifford Wolf2013-11-181-0/+11
* Fixed parsing of default cases when not last caseClifford Wolf2013-11-182-12/+38
* Fixed mem2reg for reg usage outside always blockClifford Wolf2013-11-181-1/+1
* Added commented-out osu025 maping commands to cmos techmap exampleClifford Wolf2013-11-181-0/+5
* Added -v<level> option and some minor driver cleanupsClifford Wolf2013-11-173-5/+23
* Renamed ABCHGPULL to ABCPULL in MakefileClifford Wolf2013-11-161-2/+2
* Improved building of yosys-abcClifford Wolf2013-11-131-1/+5
* Fixed abc pass blif parser for constant bitsClifford Wolf2013-11-131-18/+57
* Fixed parsing of "parameter integer"Clifford Wolf2013-11-131-2/+2
* Cleanups and bugfixes in response to new internal cell checkerClifford Wolf2013-11-115-52/+52
* Added information on all internal cell types to internal checkerClifford Wolf2013-11-111-0/+340
* Call internal checker more oftenClifford Wolf2013-11-104-9/+11
* Improved user-friendliness of "sat" and "eval" expression parsingClifford Wolf2013-11-094-20/+31
* Silenced a gcc warning in spice backendClifford Wolf2013-11-091-1/+1
* Added verification of SAT model to "eval -vloghammer_report" commandClifford Wolf2013-11-092-6/+48
* More undef-propagation related fixesClifford Wolf2013-11-082-0/+9
* Fixed handling of different signedness in power operandsClifford Wolf2013-11-081-1/+1
* Fixed keep attribute on wires in opt_cleanClifford Wolf2013-11-081-1/+1
* Implemented const folding of ternary op with undef selectClifford Wolf2013-11-081-0/+8
* Removed debug log from const_pow()Clifford Wolf2013-11-081-1/+0
* Fixed handling of power operatorClifford Wolf2013-11-074-19/+78
* Fixed more extend vs. extend_u0 issuesClifford Wolf2013-11-073-11/+20
* Disabled const folding of ternary op when select is undefClifford Wolf2013-11-071-2/+14
* Renamed extend_un0() to extend_u0() and use it in genrtlilClifford Wolf2013-11-074-8/+12
* Fixed type of sign extension in opt_const $eq/$ne handlingClifford Wolf2013-11-073-9/+26
* Fixed sign handling in constantsClifford Wolf2013-11-071-0/+1
* Fixed const folding in corner cases with parametersClifford Wolf2013-11-072-14/+27
* Removed done or obsolete TODO itemsClifford Wolf2013-11-071-8/+0
* Fixed width detection for replicate operatorClifford Wolf2013-11-071-0/+1
* Fixed $eq/$ne bitwise optimization in opt_constClifford Wolf2013-11-071-7/+8
* Fixed at_zero evaluation of dynamic rangesClifford Wolf2013-11-071-7/+2
* Various fixes for correct parameter supportClifford Wolf2013-11-074-40/+101
* Fixed the fix for propagation of width hints for $signed() and $unsigned()Clifford Wolf2013-11-071-5/+4
* Fixed techmap of $reduce_xnor with multi-bit outputsClifford Wolf2013-11-071-1/+7
* Fixed techmap of $gt and $ge with multi-bit outputsClifford Wolf2013-11-061-2/+14