aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Fixed handling of quotes in liberty parserClifford Wolf2015-03-181-2/+2
|
* Added hierarchy -auto-topClifford Wolf2015-03-181-1/+33
|
* Added Verilog backend $dffsr supportClifford Wolf2015-03-181-1/+51
|
* Documentation for JSON format, added attributesClifford Wolf2015-03-061-16/+156
|
* Added very first version of "synth_ice40"Clifford Wolf2015-03-054-0/+211
|
* Fixed bug in "hierarchy" for parametric designsClifford Wolf2015-03-041-20/+19
|
* Json bugfixClifford Wolf2015-03-031-1/+1
|
* Json backend improvementsClifford Wolf2015-03-031-4/+12
|
* Added write_blif -attrClifford Wolf2015-03-021-18/+33
|
* Added JSON backendClifford Wolf2015-03-022-0/+262
|
* Const-fold parameter defs on-demand in AstNode::detectSignWidthWorker()Clifford Wolf2015-03-011-2/+4
|
* Added $assume support to write_smt2Clifford Wolf2015-02-261-4/+19
|
* Added non-std verilog assume() statementClifford Wolf2015-02-2610-25/+67
|
* Added $assume cell typeClifford Wolf2015-02-265-2/+57
|
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2015-02-252-14/+54
|\
| * Added "keep_hierarchy" attributeClifford Wolf2015-02-252-14/+54
| |
* | Bugfix in iopadmapClifford Wolf2015-02-251-10/+3
|/
* Some cleanups in "clean"Clifford Wolf2015-02-243-7/+26
|
* Fixed compilation problems with gcc 4.6.3; use enum instead of const ints.Clifford Wolf2015-02-241-2/+4
| | | | (original patch by Andrew Becker <andrew.becker@epfl.ch>)
* Minor "write_smt2" help msg changeClifford Wolf2015-02-221-1/+1
|
* Fixed "check -assert"Clifford Wolf2015-02-221-1/+1
|
* Added "<mod>_a" and "<mod>_i" to write_smt2 outputClifford Wolf2015-02-221-23/+149
|
* Added "check -assert" docClifford Wolf2015-02-221-0/+3
|
* Added "check -assert"Clifford Wolf2015-02-221-0/+8
|
* Fixed "sat -initsteps" off-by-one bugClifford Wolf2015-02-221-1/+1
|
* Added "sat -stepsize" and "sat -tempinduct-step"Clifford Wolf2015-02-211-21/+64
|
* sat docu changeClifford Wolf2015-02-211-0/+3
|
* When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing.Clifford Wolf2015-02-211-0/+5
|
* Added "sat -tempinduct-baseonly -tempinduct-inductonly"Clifford Wolf2015-02-211-66/+92
|
* Fixed basecase init for "sat -tempinduct"Clifford Wolf2015-02-211-1/+6
|
* Fixed "flatten" for non-pre-derived modulesClifford Wolf2015-02-211-2/+2
|
* Hotfix for yosysjs/demo03.htmlClifford Wolf2015-02-211-4/+4
|
* YosysJS: Wait for Viz to loadClifford Wolf2015-02-212-16/+33
|
* Replaced ezDefaultSAT with ezSatPtrClifford Wolf2015-02-2112-139/+186
|
* Catch constants assigned to cell outputs in "flatten"Clifford Wolf2015-02-211-0/+6
|
* Added deep recursion warning to AST simplifyClifford Wolf2015-02-201-1/+7
|
* Parser support for complex delay expressionsClifford Wolf2015-02-202-8/+21
|
* YosysJS firefox fixesClifford Wolf2015-02-192-5/+5
|
* YosysJS stuffClifford Wolf2015-02-197-16/+156
|
* format fixes in "sat -dump_json"Clifford Wolf2015-02-191-18/+17
|
* Added "sat -dump_json" (WaveJSON format)Clifford Wolf2015-02-191-4/+92
|
* Changed "show" defaults for Win32Clifford Wolf2015-02-191-1/+4
|
* Convert floating point cell parameters to stringsClifford Wolf2015-02-181-9/+12
|
* Fixed clang (svn trunk) warningsClifford Wolf2015-02-182-4/+2
|
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2015-02-182-1/+36
|\
| * wreduce help typo fixClifford Wolf2015-02-171-1/+1
| |
| * CodingReadmeClifford Wolf2015-02-171-0/+35
| |
* | Added "select %xe %cie %coe"Clifford Wolf2015-02-181-7/+28
|/
* YosysJS fixes for firefoxClifford Wolf2015-02-162-23/+41
|
* More YosysJS stuffClifford Wolf2015-02-165-105/+83
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-19 06:56:08 +0000