aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2015-03-201-2/+2
|\
| * Fixed handling of quotes in liberty parserClifford Wolf2015-03-181-2/+2
* | fix for python 2.6.6Clifford Wolf2015-03-203-165/+172
|/
* 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
* 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
|/
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-06 23:59:14 +0000