aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * Moved some stuff to kernel/yosys.{h,cc}, using Yosys:: namespaceClifford Wolf2014-07-3141-665/+790
| * Renamed "stdcells.v" to "techmap.v"Clifford Wolf2014-07-319-12/+15
| * Added "techmap -assert"Clifford Wolf2014-07-312-14/+43
| * Reorganized stdcells.v (no actual code change, just moved and indented stuff)Clifford Wolf2014-07-311-747/+590
| * Added "yosys -A"Clifford Wolf2014-07-311-1/+10
| * Added "yosys -Q"Clifford Wolf2014-07-311-26/+35
| * Added techmap CONSTMAP featureClifford Wolf2014-07-303-12/+126
| * Fixed counting verilog line numbers for "// synopsys translate_off" sectionsClifford Wolf2014-07-302-4/+4
| * Added write_file commandClifford Wolf2014-07-304-5/+84
| * Added "make -j{N}" support to "make test"Clifford Wolf2014-07-307-22/+39
| * Improvements in test_cellClifford Wolf2014-07-301-35/+89
| * New techmap default rules for $shr $sshr $shl $sshlClifford Wolf2014-07-301-282/+62
| * Using native ezSAT shift ops in satgen, fixed $shift and $shiftx SAT modelsClifford Wolf2014-07-301-36/+39
| * Added native support for shift operations to ezSATClifford Wolf2014-07-302-1/+95
| * Added "log_dump_val_worker(char *v)"Clifford Wolf2014-07-301-0/+1
| * Added CodingStyle documentClifford Wolf2014-07-301-0/+43
| * Added "kernel/yosys.h" and "kernel/yosys.cc"Clifford Wolf2014-07-308-61/+133
| * Added "test_cell" commandClifford Wolf2014-07-293-1/+186
| * Renamed "write_autotest" to "test_autotb" and moved to passes/tests/Clifford Wolf2014-07-295-10/+12
| * Fixed Verilog pre-processor for files with no trailing newlineClifford Wolf2014-07-291-1/+1
| * Bugfix in simlib.v for iverilogClifford Wolf2014-07-291-5/+6
| * Allow "hierarchy -generate" for $__ cellsClifford Wolf2014-07-291-1/+3
| * Added "techmap -map %{design-name}"Clifford Wolf2014-07-294-10/+29
| * Added $shift and $shiftx cell types (needed for correct part select behavior)Clifford Wolf2014-07-2912-40/+214
| * Removed left over debug codeClifford Wolf2014-07-282-2/+0
| * Fixed part selects of parametersClifford Wolf2014-07-282-7/+31
| * Set results of out-of-bounds static bit/part select to undefClifford Wolf2014-07-281-5/+31
| * Fixed RTLIL code generator for part select of parameterClifford Wolf2014-07-281-2/+2
| * Fixed width detection for part selectsClifford Wolf2014-07-281-2/+2
| * Added support for "upto" wires to Verilog front- and back-endClifford Wolf2014-07-286-22/+96
| * Added wire->upto flag for signals such as "wire [0:7] x;"Clifford Wolf2014-07-286-2/+13
| * Using log_assert() instead of assert()Clifford Wolf2014-07-2852-251/+236
| * Added std::initializer_list<> constructor to SigSpecClifford Wolf2014-07-282-0/+15
| * Added cover() to all SigSpec constructorsClifford Wolf2014-07-281-0/+22
| * Fixed signdness detection of expressions with bit- and part-selectsClifford Wolf2014-07-281-0/+1
| * Improvements in tests/vloghtbClifford Wolf2014-07-282-11/+17
| * Added techmap -externClifford Wolf2014-07-273-17/+92
| * Added proper Design->addModule interfaceClifford Wolf2014-07-273-4/+43
| * Added topological sorting to techmapClifford Wolf2014-07-272-21/+54
| * Added SigPool::check(bit)Clifford Wolf2014-07-272-2/+7
| * Small improvements in PerformanceTimer APIClifford Wolf2014-07-271-6/+7
| * Fixed bug in opt_cleanClifford Wolf2014-07-271-1/+1
| * Improved performance of opt_const on large modulesClifford Wolf2014-07-272-29/+157
| * Added RTLIL::SigSpec::remove_const() handling of packed SigSpecsClifford Wolf2014-07-271-9/+26
| * Added RTLIL::SigSpecConstIteratorClifford Wolf2014-07-271-0/+18
| * Fixed a bug in opt_clean and some RTLIL API usage cleanupsClifford Wolf2014-07-272-13/+14
| * Added log_cmd_error_expectionClifford Wolf2014-07-274-8/+7
| * Fixed verific bindings for new RTLIL apiClifford Wolf2014-07-272-55/+42
| * Fixed ilang parser for new RTLIL APIClifford Wolf2014-07-271-10/+10
| * Using new obj iterator API in a few placesClifford Wolf2014-07-2710-87/+85