aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Merge https://github.com/cliffordwolf/yosysAndrew Zonenberg2017-01-153-3/+7
|\
| * Fix bug in AstNode::mem2reg_as_needed_pass2()Clifford Wolf2017-01-151-0/+2
| |
| * Fix $initstate handling bug in yosys-smtbmcClifford Wolf2017-01-111-0/+2
| |
| * Update ABC to hg id f8cadfe3861fClifford Wolf2017-01-111-3/+3
| |
| * Updated ABC to hg id 38b26a543f1dClifford Wolf2017-01-081-1/+1
| |
* | Merge https://github.com/cliffordwolf/yosysAndrew Zonenberg2017-01-055-42/+135
|\|
| * Fixed handling of local memories in functionsClifford Wolf2017-01-051-2/+2
| |
| * Added "check -initdrv"Clifford Wolf2017-01-041-3/+82
| |
| * Added handling of local memories and error for local decls in unnamed blocksClifford Wolf2017-01-041-1/+10
| |
| * Implicitly set "yosys-smtbmc --noprogress" on windowsClifford Wolf2017-01-041-3/+4
| |
| * Fixed typo in tests/simple/arraycells.vClifford Wolf2017-01-041-1/+1
| |
| * Fixed "yosys-smtbmc --noprogress"Clifford Wolf2017-01-041-1/+1
| |
| * Added Verilog $rtoi and $itor supportClifford Wolf2017-01-031-24/+30
| |
| * Handle "always 1" like "always -1" in .smtc filesClifford Wolf2017-01-021-7/+5
| |
* | Merge https://github.com/cliffordwolf/yosysAndrew Zonenberg2017-01-014-4/+65
|\|
| * Added cell port resizing to hierarchy passClifford Wolf2017-01-011-0/+56
| |
| * Updated ABC to hg id 55cd83f432c0Clifford Wolf2016-12-311-1/+1
| |
| * Bugfix in RTLIL::SigSpec::remove2()Clifford Wolf2016-12-311-3/+4
| |
| * Updated ABC to hg id 8c6a635f7a20Clifford Wolf2016-12-291-1/+1
| |
| * Improved write_json help messageClifford Wolf2016-12-291-0/+4
| |
| * Updated ABC to hg id f591c081d5e7Clifford Wolf2016-12-261-1/+1
| |
| * Merge pull request #284 from azonenberg/masterClifford Wolf2016-12-246-65/+328
| |\ | | | | | | greenpak4: Support for many new cell types
* | | greenpak4: Added POUT to GP_COUNTx cellsAndrew Zonenberg2017-01-011-3/+4
| |/ |/|
* | Merge pull request #1 from azonenberg-hk/masterAndrew Zonenberg2016-12-2319-70/+586
|\ \ | | | | | | Pull changes from HK trip
| * | Merge https://github.com/cliffordwolf/yosysAndrew Zonenberg2016-12-235-4/+44
| |\|
| | * Simplified log_spacer() codeClifford Wolf2016-12-231-6/+2
| | |
| | * Added "yosys -W regex"Clifford Wolf2016-12-223-2/+44
| | |
| | * Added AIGER back-end to automatic back-end detectionClifford Wolf2016-12-211-0/+2
| | |
| | * Updated ABC to hg rev a4872e22c646Clifford Wolf2016-12-211-1/+1
| | |
| | * Updated ABC to hg rev 8bab2eedbba4Clifford Wolf2016-12-211-1/+1
| | |
| * | greenpak4: Added INT pin to GP_SPIAndrew Zonenberg2016-12-211-1/+3
| | |
| * | greenpak4: removed unused MISO pin from GP_SPIAndrew Zonenberg2016-12-211-1/+0
| | |
| * | greenpak4: Removed SPI_BUFFER parameterAndrew Zonenberg2016-12-201-1/+0
| | |
| * | greenpak4: replaced MOSI/MISO with single one-way SDAT pinAndrew Zonenberg2016-12-201-2/+1
| | |
| * | greenpak4: Changed port names on GP_SPI for clarityAndrew Zonenberg2016-12-201-4/+4
| | |
| * | greenpak4: Initial implementation of GP_SPI cellAndrew Zonenberg2016-12-201-0/+27
| | |
| * | Merge https://github.com/cliffordwolf/yosysAndrew Zonenberg2016-12-172-1/+61
| |\|
| | * Added "verilog_defines" commandClifford Wolf2016-12-151-0/+60
| | |
| | * Bugfix in comment handlingClifford Wolf2016-12-131-1/+1
| | |
| * | greenpak4: Updated GP_DCMP cell modelAndrew Zonenberg2016-12-171-2/+20
| | |
| * | greenpak: Fixes to GP_DCMP* blocks. Added GP_CLKBUF.Andrew Zonenberg2016-12-161-5/+10
| | |
| * | greenpak4: Initial version of GP_DCMP skeleton (not yet usable). Changed ↵Andrew Zonenberg2016-12-151-5/+24
| | | | | | | | | | | | interface to GP_DCMPMUX
| * | greenpak4: More fixups of GP_DCMPx cellsAndrew Zonenberg2016-12-151-9/+3
| | |
| * | greenpak4: And another typo :(Andrew Zonenberg2016-12-151-1/+1
| | |
| * | greenpak4: Fixed another typoAndrew Zonenberg2016-12-151-1/+1
| | |
| * | greenpak4: Fixed typoAndrew Zonenberg2016-12-151-1/+1
| | |
| * | greenpak4: Cleaned up trailing spaces in cells_simAndrew Zonenberg2016-12-141-60/+60
| | |
| * | greenpak4: Added GP_DCMPREF / GP_DCMPMUXAndrew Zonenberg2016-12-141-0/+23
| | |
| * | Merge https://github.com/cliffordwolf/yosysAndrew Zonenberg2016-12-127-0/+153
| |\|
| | * Added $anyconst support to AIGER back-endClifford Wolf2016-12-111-0/+7
| | |