aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Also merge $equiv cells in equiv_structClifford Wolf2015-10-231-0/+1
|
* Improvements in equiv_structClifford Wolf2015-10-231-11/+18
|
* Added equiv_purgeClifford Wolf2015-10-222-0/+210
|
* Added equiv_struct commandClifford Wolf2015-10-212-0/+188
|
* Improved inout handling in equiv_makeClifford Wolf2015-10-211-1/+1
|
* Progress on cell help messagesClifford Wolf2015-10-201-18/+114
|
* Progress on cell help messagesClifford Wolf2015-10-173-54/+107
|
* Progress in yosys-smtbmcClifford Wolf2015-10-151-4/+10
|
* Fixed bug in verilog parserClifford Wolf2015-10-151-1/+1
|
* Improvements in yosys-smtbmcClifford Wolf2015-10-153-2/+9
|
* Bugfixes in handling of "keep" attribute on wiresClifford Wolf2015-10-152-2/+8
|
* More "yosys-smtbmc -c" fixesClifford Wolf2015-10-142-9/+30
|
* Fixed yosys-smtbmc -cClifford Wolf2015-10-141-2/+2
|
* Added "prep" commandClifford Wolf2015-10-142-0/+157
|
* Added more cell descriptionsClifford Wolf2015-10-141-0/+85
|
* Added first help messages for cell typesClifford Wolf2015-10-146-6/+336
|
* Added yosys-smtbmc copyrightClifford Wolf2015-10-143-1/+36
|
* Improvements in yosys-smtbmcClifford Wolf2015-10-143-21/+38
|
* Added yosys-smtbmcClifford Wolf2015-10-142-1/+20
|
* Implemented smtbmc.py -iClifford Wolf2015-10-141-25/+60
|
* Added smtbmc.pyClifford Wolf2015-10-134-0/+409
|
* Added write_smt2 -wiresClifford Wolf2015-10-131-7/+15
|
* Added examples/ top-level directoryClifford Wolf2015-10-1317-4/+7
|
* SystemVerilog also has assume(), added implicit -D FORMALClifford Wolf2015-10-133-4/+5
|
* Merge branch 'master' of https://github.com/rubund/yosysClifford Wolf2015-10-131-18/+18
|\
| * Use DESTDIR as defined in ↵Ruben Undheim2015-10-111-13/+13
| | | | | | | | | | | | https://www.gnu.org/prep/standards/html_node/DESTDIR.html This is needed for painless packaging of yosys
| * Use LDFLAGS, CXXFLAGS and CPPFLAGS from the environment when buildingRuben Undheim2015-10-111-7/+7
| |
* | Fixed "flatten" for unconnected inout portsClifford Wolf2015-10-131-1/+1
|/
* Added support for "parameter" and "localparam" in global contextClifford Wolf2015-10-071-0/+2
|
* Fixed complexity of assigning to vectors in constant functionsClifford Wolf2015-10-011-0/+3
|
* Fixed detection of unconditional $readmem[hb]Clifford Wolf2015-09-301-4/+11
|
* Added edgetypes commandClifford Wolf2015-09-272-0/+107
|
* Some cleanups in qwpClifford Wolf2015-09-261-7/+16
|
* Added "test_cell -noeval"Clifford Wolf2015-09-251-1/+10
|
* Added wreduce $mul support and fixed signed $mul opt_const bugClifford Wolf2015-09-252-5/+37
|
* Bugfix in bram read-enable codeClifford Wolf2015-09-251-2/+5
|
* Bugfixes in $readmem[hb]Clifford Wolf2015-09-251-4/+7
|
* Bugfixes in writing of memories as VerilogClifford Wolf2015-09-251-7/+8
|
* Fixed segfault in AstNode::asRealClifford Wolf2015-09-251-1/+1
|
* Added read-enable to memory modelClifford Wolf2015-09-2517-78/+159
|
* Added pivoting to qwp solverClifford Wolf2015-09-241-14/+43
|
* Improved qwp performanceClifford Wolf2015-09-241-49/+25
|
* Added statistics summary to "qwp"Clifford Wolf2015-09-241-0/+77
|
* Fixed memory_bram for ROMs in BRAMs with write-enable inputsClifford Wolf2015-09-241-1/+1
|
* Fixed AstNode::mkconst_bits() segfault on zero-sized constantClifford Wolf2015-09-241-1/+1
|
* Added read_verilog -nodpiClifford Wolf2015-09-231-0/+19
|
* Bugfix in handling of multi-dimensional memoriesClifford Wolf2015-09-231-2/+2
|
* Warning for $display/$write outside initial blockClifford Wolf2015-09-231-7/+8
|
* Fixed support for $write system taskClifford Wolf2015-09-231-1/+1
|
* Fixed detection of "task foo(bar);" syntax errorClifford Wolf2015-09-221-0/+2
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 12:07:41 +0000