aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Update ABC to hg id f8cadfe3861fClifford Wolf2017-01-111-3/+3
* Updated ABC to hg id 38b26a543f1dClifford Wolf2017-01-081-1/+1
* 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
* 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
|\
| * Merge pull request #1 from azonenberg-hk/masterAndrew Zonenberg2016-12-2319-70/+586
| |\
| | * 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 inte...Andrew Zonenberg2016-12-151-5/+24
| | * 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
* | | Merge branch 'LSS-USP-unit-test-structure'Clifford Wolf2016-12-116-0/+146
|\ \ \ | |/ / |/| |
| * | Some minor CodingReadme changes in unit test sectionClifford Wolf2016-12-111-10/+4
| * | Build hotfix in tests/unit/MakefileClifford Wolf2016-12-111-1/+1
| * | Improved unit test structurerodrigosiqueira2016-12-103-16/+20
| * | Added explanation about configure and create testrodrigosiqueira2016-12-041-0/+75
| * | Added required structure to implement unit testsrodrigosiqueira2016-12-045-0/+73
|/ /