summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Added QGraphicsWebView to yosys-svgviewerClifford Wolf2013-11-28
* Updated ABC to 9241719523f6Clifford Wolf2013-11-28
* Added some svgviewer code for possible future switch to QGraphicsWebViewClifford Wolf2013-11-27
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2013-11-27
|\
| * Set version number to 0.1.0+Clifford Wolf2013-11-27
* | Tighter integration of ABC buildClifford Wolf2013-11-27
|/
* Started implementing undef support in "sat" commandClifford Wolf2013-11-25
* Bugfixes in new "stat" commandClifford Wolf2013-11-25
* Added "stat" commandClifford Wolf2013-11-25
* Improvements in satgen undef handlingClifford Wolf2013-11-25
* Improvements in satgen undef handlingClifford Wolf2013-11-25
* Added ezsat vec_const() apiClifford Wolf2013-11-25
* Started implementing undef handling in satgenClifford Wolf2013-11-25
* Removed undef feature from ezsat apiClifford Wolf2013-11-25
* Using simplemap mappers from techmapClifford Wolf2013-11-24
* Added simplemap passClifford Wolf2013-11-24
* Renamed stdcells_sim.v to simcells.v and fixed blackbox.vClifford Wolf2013-11-24
* Added module->avail_parameters (for advanced techmap features)Clifford Wolf2013-11-24
* Added techmap -D and -I optionsClifford Wolf2013-11-24
* Added verilog frontend -ignore_redef optionClifford Wolf2013-11-24
* Added "techmap -share_map" optionClifford Wolf2013-11-24
* Early wire/reg/parameter width calculation in ast/simplifyClifford Wolf2013-11-24
* Updated TODOsClifford Wolf2013-11-24
* Fixed xilinx/example_sim_counter test benchClifford Wolf2013-11-24
* Added proper dumping of signed/unsigned parameters to verilog backendClifford Wolf2013-11-24
* Added support for signed parameters in ilangClifford Wolf2013-11-24
* Removed now obsolete test casesClifford Wolf2013-11-24
* Remove auto_wire framework (smarter than the verilog standard)Clifford Wolf2013-11-24
* Implemented correct handling of signed module parametersClifford Wolf2013-11-24
* Added modelsim support to autotestClifford Wolf2013-11-24
* Fixed "flatten" top-module detection: Only use on fully selected designsClifford Wolf2013-11-24
* Fixed "make install" dependenciesClifford Wolf2013-11-24
* Added "top" attribute to mark top module in hierarchyClifford Wolf2013-11-24
* Updated command-reference-manual.texClifford Wolf2013-11-23
* AppNote 010 typo fixes and correctionsClifford Wolf2013-11-23
* AppNote 010 progressClifford Wolf2013-11-23
* Improved handling of techmap special wiresClifford Wolf2013-11-23
* Improved handling of initialized registersClifford Wolf2013-11-23
* Added more generic _TECHMAP_ wire mechanism to techmap passClifford Wolf2013-11-23
* Making prograss on Appnote 010Clifford Wolf2013-11-23
* Progress on AppNote 010Clifford Wolf2013-11-22
* Started to write on AppNote 010: Verilog to BLIFClifford Wolf2013-11-22
* Updated command-reference-manual.texClifford Wolf2013-11-22
* Renamed "placeholder" to "blackbox"Clifford Wolf2013-11-22
* Some driver changes/fixesClifford Wolf2013-11-22
* Fixed O(n^2) performance bug in verilog preprocessorClifford Wolf2013-11-22
* Added more performance measurement infrastructureClifford Wolf2013-11-22
* Enable {* .. *} feature per default (removes dependency to REJECT feature in ...Clifford Wolf2013-11-22
* Massive performance improvement from refactoring RTLIL::SigSpec::optimize()Clifford Wolf2013-11-22
* Added SigBit struct and refactored RTLIL::SigSpec::extractClifford Wolf2013-11-22