aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Update READMEAhmed Irfan2015-04-031-1/+1
* separated memory next from write cellAhmed Irfan2015-04-031-7/+55
* Merge branch 'master' of https://github.com/cliffordwolf/yosysAhmed Irfan2015-04-03266-4671/+18443
|\
| * documentation improvementsClifford Wolf2015-03-292-1/+5
| * Ignore celldefine directive in verilog front-endClifford Wolf2015-03-251-0/+3
| * Fixes in cmos_cells.vClifford Wolf2015-03-251-3/+12
| * Fixed detection of absolute paths in ABC for win32Clifford Wolf2015-03-223-3/+13
| * Added blif reference to appnote 010Clifford Wolf2015-03-221-1/+5
| * 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-21 22:27:31 +0000