aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Started writing appnote 011Clifford Wolf2013-11-287-3/+157
* Added support for "show -pause" and "show -format dot"Clifford Wolf2013-11-281-6/+30
* Added QGraphicsWebView to yosys-svgviewerClifford Wolf2013-11-284-16/+58
* Updated ABC to 9241719523f6Clifford Wolf2013-11-281-5/+5
* Added some svgviewer code for possible future switch to QGraphicsWebViewClifford Wolf2013-11-273-6/+20
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2013-11-271-1/+1
|\
| * Set version number to 0.1.0+Clifford Wolf2013-11-271-1/+1
* | Tighter integration of ABC buildClifford Wolf2013-11-274-7/+35
|/
* Started implementing undef support in "sat" commandClifford Wolf2013-11-251-12/+103
* Bugfixes in new "stat" commandClifford Wolf2013-11-251-7/+1
* Added "stat" commandClifford Wolf2013-11-252-0/+219
* Improvements in satgen undef handlingClifford Wolf2013-11-252-87/+209
* Improvements in satgen undef handlingClifford Wolf2013-11-252-31/+142
* Added ezsat vec_const() apiClifford Wolf2013-11-252-17/+26
* Started implementing undef handling in satgenClifford Wolf2013-11-252-34/+202
* Removed undef feature from ezsat apiClifford Wolf2013-11-252-11/+2
* Using simplemap mappers from techmapClifford Wolf2013-11-243-742/+104
* Added simplemap passClifford Wolf2013-11-242-0/+518
* Renamed stdcells_sim.v to simcells.v and fixed blackbox.vClifford Wolf2013-11-246-22/+25
* Added module->avail_parameters (for advanced techmap features)Clifford Wolf2013-11-243-3/+14
* Added techmap -D and -I optionsClifford Wolf2013-11-241-2/+16
* Added verilog frontend -ignore_redef optionClifford Wolf2013-11-243-5/+19
* Added "techmap -share_map" optionClifford Wolf2013-11-242-4/+13
* Early wire/reg/parameter width calculation in ast/simplifyClifford Wolf2013-11-241-0/+5
* Updated TODOsClifford Wolf2013-11-241-2/+1
* Fixed xilinx/example_sim_counter test benchClifford Wolf2013-11-241-1/+1
* Added proper dumping of signed/unsigned parameters to verilog backendClifford Wolf2013-11-241-4/+6
* Added support for signed parameters in ilangClifford Wolf2013-11-243-2/+9
* Removed now obsolete test casesClifford Wolf2013-11-243-72/+0
* Remove auto_wire framework (smarter than the verilog standard)Clifford Wolf2013-11-249-126/+5
* Implemented correct handling of signed module parametersClifford Wolf2013-11-248-8/+19
* Added modelsim support to autotestClifford Wolf2013-11-243-8/+37
* Fixed "flatten" top-module detection: Only use on fully selected designsClifford Wolf2013-11-241-3/+4
* Fixed "make install" dependenciesClifford Wolf2013-11-241-1/+1
* Added "top" attribute to mark top module in hierarchyClifford Wolf2013-11-246-3/+63
* Updated command-reference-manual.texClifford Wolf2013-11-231-10/+26
* AppNote 010 typo fixes and correctionsClifford Wolf2013-11-231-55/+60
* AppNote 010 progressClifford Wolf2013-11-234-75/+230
* Improved handling of techmap special wiresClifford Wolf2013-11-231-1/+3
* Improved handling of initialized registersClifford Wolf2013-11-231-10/+10
* Added more generic _TECHMAP_ wire mechanism to techmap passClifford Wolf2013-11-233-78/+192
* Making prograss on Appnote 010Clifford Wolf2013-11-232-8/+93
* Progress on AppNote 010Clifford Wolf2013-11-221-6/+63
* Started to write on AppNote 010: Verilog to BLIFClifford Wolf2013-11-222-0/+178
* Updated command-reference-manual.texClifford Wolf2013-11-221-8/+192
* Renamed "placeholder" to "blackbox"Clifford Wolf2013-11-2212-27/+27
* Some driver changes/fixesClifford Wolf2013-11-221-5/+5
* Fixed O(n^2) performance bug in verilog preprocessorClifford Wolf2013-11-221-1/+1
* Added more performance measurement infrastructureClifford Wolf2013-11-222-2/+43
* Enable {* .. *} feature per default (removes dependency to REJECT feature in ...Clifford Wolf2013-11-225-24/+3