summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Removed debug code from write_smt2Clifford Wolf2015-06-14
* Modernized memory_dff (and fixed a bug)Clifford Wolf2015-06-14
* Added "memory -nordff"Clifford Wolf2015-06-14
* Added write_smt2 -memClifford Wolf2015-06-14
* Makefile fix for YosysJS buildClifford Wolf2015-06-11
* Fixed cstr_buf for std::string with small string optimizationClifford Wolf2015-06-11
* Improvements in cellaigs.cc and "json -aig"Clifford Wolf2015-06-11
* AigMaker refactoringClifford Wolf2015-06-10
* Added "json -aig"Clifford Wolf2015-06-10
* Renamed "aig" to "aigmap"Clifford Wolf2015-06-10
* Fixed cellaigs port extendingClifford Wolf2015-06-10
* Added "aig" passClifford Wolf2015-06-09
* synth_ice40 now flattens by defaultClifford Wolf2015-06-09
* Added cellaigs APIClifford Wolf2015-06-09
* Merge clock inverters in memory_dffClifford Wolf2015-06-09
* Merge branch 'verilog-backend-memV2' of github.com:wluker/yosysClifford Wolf2015-06-09
|\
| * $mem cell in verilog backend : grouped writes by clockluke whittlesey2015-06-08
| * Bug fix in $mem verilog backend + changed tests/bram flow of make test.luke whittlesey2015-06-04
* | Fixed "avail_parameters" handling in module clone/copyClifford Wolf2015-06-08
* | Added log_dump() support for IdStringsClifford Wolf2015-06-08
* | Fixed handling of parameters with reversed rangeClifford Wolf2015-06-08
|/
* Added opt_share -share_allClifford Wolf2015-05-31
* Added iCE40 PLL cellsClifford Wolf2015-05-31
* Added liberty dont_use support to dfflibmapClifford Wolf2015-05-31
* Fixed signedness of genvar expressionsClifford Wolf2015-05-29
* Added output args to synth_ice40Clifford Wolf2015-05-26
* Improvements in BLIF front-endClifford Wolf2015-05-24
* improved ice40 SB_IO sim modelClifford Wolf2015-05-23
* Improved "flatten" handlings of inout portsClifford Wolf2015-05-23
* Added simple $dlatch support to opt_rmdffClifford Wolf2015-05-23
* Added ice40 SB_IO sim modelClifford Wolf2015-05-23
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2015-05-22
|\
| * Some fixes for $mem in verilog back-endClifford Wolf2015-05-20
* | preserve used $-wires with init attribute in opt_cleanClifford Wolf2015-05-22
|/
* bugfix in blif front-endClifford Wolf2015-05-18
* added vloghtb test_febe.shClifford Wolf2015-05-17
* Improved .latch support in BLIF front-endClifford Wolf2015-05-17
* Added read_blif commandClifford Wolf2015-05-17
* Generalized blifparse APIClifford Wolf2015-05-17
* abc/blifparse files reorganizationClifford Wolf2015-05-17
* Verific build fixesClifford Wolf2015-05-17
* Added .barbuf support to abc BLIF parserClifford Wolf2015-05-13
* changed file() to open() in python scriptsClifford Wolf2015-05-11
* Merge pull request #63 from wluker/verilog-backend-memClifford Wolf2015-05-11
|\
| * Fixed bug in $mem cell verilog code generation.luke whittlesey2015-05-11
* | Disabled broken $mem support in verilog backendClifford Wolf2015-05-10
|/
* Merge pull request #62 from wluker/verilog-backend-memClifford Wolf2015-05-10
|\
| * Made changes recommended by Clifford Wolf ...luke whittlesey2015-05-10
| * Verilog backend for $mem cells should now be able to handle differentluke whittlesey2015-05-08
| * Added support for $mem cells in the verilog backend.luke whittlesey2015-05-07
|/