aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | | 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
* | Merge branch 'SergeyDegtyar/ecp5' of https://github.com/SergeyDegtyar/yosys i...Eddie Hung2019-09-3037-0/+801
|\ \ | |/ |/|