aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | | | | | | Update README.mdClifford Wolf2019-10-051-1/+1
* | | | | | | | Merge pull request #1436 from YosysHQ/mmicko/msvc_fixMiodrag Milanović2019-10-052-2/+7
|\ \ \ \ \ \ \ \ | |/ / / / / / / |/| | | | | | |
| * | | | | | | Fixes for MSVC buildMiodrag Milanovic2019-10-042-2/+7
* | | | | | | | Fix typo in check_label()Eddie Hung2019-10-041-1/+1
| |_|/ / / / / |/| | | | | |
* | | | | | | Add temporary `abc9 -nomfs` and use for `synth_xilinx -abc9`Eddie Hung2019-10-042-5/+19
* | | | | | | Remove DSP48E1 from *_cells_xtra.vEddie Hung2019-10-043-178/+2
* | | | | | | Fix xilinx_dsp for unsigned extensionsEddie Hung2019-10-041-1/+3
* | | | | | | Fix for SigSpec() == SigSpec(State::Sx, 0) to be true againEddie Hung2019-10-041-0/+6
* | | | | | | Add Const::{begin,end,empty}()Eddie Hung2019-10-041-0/+3
| |/ / / / / |/| | | | |
* | | | | | Panic over. Model was elsewhere. Re-arrange for consistencyEddie Hung2019-10-045-31/+4
* | | | | | OopsEddie Hung2019-10-041-1/+1
* | | | | | Ohmilord this wasn't added all this time!?!Eddie Hung2019-10-041-0/+29
|/ / / / /
* | | | | Change smtbmc "Warmup failed" status to "PREUNSAT"Clifford Wolf2019-10-031-14/+14
* | | | | Update ABC to git rev 623b5e8Clifford Wolf2019-10-031-1/+1
* | | | | Bump versionClifford Wolf2019-10-031-1/+1
* | | | | Merge pull request #1419 from YosysHQ/eddie/lazy_deriveClifford Wolf2019-10-032-35/+59
|\ \ \ \ \
| * | | | | Fix for svinterfacesEddie Hung2019-09-301-2/+8
| * | | | | module->derive() to be lazy and not touch ast if already derivedEddie Hung2019-09-302-33/+51
* | | | | | Merge pull request #1422 from YosysHQ/eddie/aigmap_selectClifford Wolf2019-10-032-6/+50
|\ \ \ \ \ \
| * | | | | | Add quick testEddie Hung2019-09-301-0/+10
| * | | | | | Add -select option to aigmapEddie Hung2019-09-301-6/+40
* | | | | | | Merge pull request #1429 from YosysHQ/clifford/checkmappedClifford Wolf2019-10-032-27/+56
|\ \ \ \ \ \ \ | |_|_|_|_|/ / |/| | | | | |
| * | | | | | Add "check -allow-tbuf"Clifford Wolf2019-10-031-8/+22
| * | | | | | Add "check -mapped"Clifford Wolf2019-10-022-21/+36
* | | | | | | Merge pull request #1425 from YosysHQ/dave/ecp5_pdp16David Shah2019-10-036-2/+184
|\ \ \ \ \ \ \
| * | | | | | | ecp5: Fix shuffle_enable portDavid Shah2019-10-011-2/+2
| * | | | | | | ecp5: Add support for mapping 36-bit wide PDP BRAMsDavid Shah2019-10-016-1/+183
| | |/ / / / / | |/| | | | |
* | | | | | | Merge pull request #1423 from YosysHQ/eddie/techmap_replace_wireEddie Hung2019-10-022-0/+32
|\ \ \ \ \ \ \ | |_|_|_|/ / / |/| | | | | |
| * | | | | | Also rename cells with _TECHMAP_REPLACE_. prefix, as per @cliffordwolfEddie Hung2019-10-021-4/+8
| * | | | | | Extend test with renaming cells with prefix tooEddie Hung2019-10-021-0/+2
| * | | | | | Add testEddie Hung2019-09-301-0/+16
| * | | | | | techmap wires named _TECHMAP_REPLACE_.<identifier> to create aliasEddie Hung2019-09-301-0/+10
| |/ / / / /
* | | | / / log_dump() to support State enumEddie Hung2019-10-023-0/+6
| |_|_|/ / |/| | | |
* | | | | Merge pull request #1428 from YosysHQ/clifford/fixbtorClifford Wolf2019-10-021-6/+9
|\ \ \ \ \ | |_|/ / / |/| | | |
| * | | | Fix btor back-end to use "state" instead of "input" for undef init bitsClifford Wolf2019-10-021-6/+9
|/ / / /
* | | | Merge pull request #1426 from YosysHQ/mmicko/fix_environMiodrag Milanović2019-10-011-0/+2
|\ \ \ \ | |/ / / |/| | |
| * | | Define environ, fixes #1424Miodrag Milanovic2019-10-011-0/+2
|/ / /
* / / Fix typoEddie Hung2019-09-301-1/+1
|/ /
| * hierarchy - proc reorderMiodrag Milanovic2019-10-189-14/+18
| * Check latches type one by oneMiodrag Milanovic2019-10-042-40/+25
| * Removed top module where not neededMiodrag Milanovic2019-10-044-37/+4
| * Test muxes synth one by oneMiodrag Milanovic2019-10-042-38/+39
| * Cleaned verilog code from not used definesMiodrag Milanovic2019-10-041-6/+0
| * Check for MULT18X18D, since that is working nowMiodrag Milanovic2019-10-042-14/+11
| * Check flops one by oneMiodrag Milanovic2019-10-044-71/+50
| * Removed alu and div_mod tests as agreedMiodrag Milanovic2019-10-044-57/+0
| * equiv_opt with -assertEddie Hung2019-09-301-3/+1
| * Update resource count for alu.ysEddie Hung2019-09-301-3/+3
| * Move $x to end as per 7f0eec8Eddie Hung2019-09-301-1/+1
| * Update fsm.ys resource countEddie Hung2019-09-301-3/+3