aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | 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
|/ /
* | YosysJS fixes for firefoxClifford Wolf2015-02-162-23/+41
* | More YosysJS stuffClifford Wolf2015-02-165-105/+83
* | Added YosysJS wrapperClifford Wolf2015-02-166-5/+273
* | Bugfix in wreduceClifford Wolf2015-02-161-7/+14
* | More yosys.js improvementsClifford Wolf2015-02-161-4/+29
* | Added Viz to yosys.jsClifford Wolf2015-02-154-8/+87
* | Added yosys.js FS supportClifford Wolf2015-02-151-2/+61
* | More emcc stuffClifford Wolf2015-02-153-17/+39
* | Improved yosys.js exampleClifford Wolf2015-02-151-60/+72
* | Added "stat" to "synth" and "synth_xilinx"Clifford Wolf2015-02-152-0/+4
* | Added final checks to "synth" and "synth_xilinx"Clifford Wolf2015-02-152-7/+24
* | Added "check -noinit"Clifford Wolf2015-02-151-3/+19
* | Cosmetic fixes in "hierarchy" for blackbox modulesClifford Wolf2015-02-151-2/+4
* | More emscripten stuff, Added example appClifford Wolf2015-02-155-4/+99
* | Fixed default EMCCFLAGSClifford Wolf2015-02-151-5/+8
* | Smaller default parameters in $mem simlib modelClifford Wolf2015-02-151-2/+2