aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Add doc on pattern detector for overflowEddie Hung2019-09-181-0/+5
|
* Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-1818-970/+19474
|\
| * Merge pull request #1379 from mmicko/sim_modelsEddie Hung2019-09-182-7/+162
| |\ | | | | | | Added simulation models for Efinix and Anlogic
| | * make note that it is for latch modeMiodrag Milanovic2019-09-181-0/+1
| | |
| | * better lut handlingMiodrag Milanovic2019-09-181-4/+14
| | |
| | * better handling of lut and begin/end addMiodrag Milanovic2019-09-181-4/+10
| | |
| | * Added simulation models for Efinix and AnlogicMiodrag Milanovic2019-09-152-3/+141
| | |
| * | Add "write_aiger -L"Clifford Wolf2019-09-181-5/+16
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Fix stupid bug in btor back-endClifford Wolf2019-09-181-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Bump versionClifford Wolf2019-09-161-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Merge pull request #1380 from YosysHQ/clifford/fix1372Clifford Wolf2019-09-161-2/+9
| |\ \ | | | | | | | | Fix handling of range selects on loop variables
| | * | Fix handling of range selects on loop variables, fixes #1372Clifford Wolf2019-09-161-2/+9
| |/ / | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Merge pull request #1374 from YosysHQ/eddie/fix1371Eddie Hung2019-09-152-5/+25
| |\ \ | | | | | | | | Fix two non-deterministic behaviours that cause divergence between compilers
| | * | SpacingEddie Hung2019-09-131-1/+1
| | | |
| | * | Explicitly order function argumentsEddie Hung2019-09-131-4/+15
| | | |
| | * | Use template specialisationEddie Hung2019-09-131-2/+9
| | | |
| | * | Revert "SigSet<Cell*> to use stable compare class"Eddie Hung2019-09-135-6/+6
| | | | | | | | | | | | | | | | This reverts commit 4ea34aaacdf6f76e11a83d5eb2a53ba7e75f7c11.
| | * | GrammarEddie Hung2019-09-121-1/+1
| | | |
| | * | static_assert to enforce this going forwardEddie Hung2019-09-121-0/+2
| | | |
| | * | SigSet<Cell*> to use stable compare classEddie Hung2019-09-125-6/+6
| | | |
| * | | xilinx: Make blackbox library family-dependent.Marcin Kościelnicki2019-09-157-1024/+19252
| | | | | | | | | | | | | | | | Fixes #1246.
| * | | Merge pull request #1377 from YosysHQ/clifford/fixzdigitClifford Wolf2019-09-152-5/+5
| |\ \ \ | | |_|/ | |/| | Fix handling of z_digit "?" and fix optimization of cmp with "z"
| | * | Fix handling of z_digit "?" and fix optimization of cmp with "z"Clifford Wolf2019-09-132-5/+5
| |/ / | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Merge pull request #1373 from YosysHQ/clifford/fix1364Clifford Wolf2019-09-132-3/+3
| |\ \ | | |/ | |/| Fix lexing of integer literals
| | * Fix lexing of integer literals without radixClifford Wolf2019-09-131-1/+1
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | * Fix lexing of integer literals, fixes #1364Clifford Wolf2019-09-122-3/+3
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | Fix copy-pasteEddie Hung2019-09-181-2/+2
| | |
* | | Check overflow condition is power of 2 without using int32Eddie Hung2019-09-182-5/+15
| | |
* | | Add .gitignoreEddie Hung2019-09-181-0/+1
| | |
* | | Refine macc testcaseEddie Hung2019-09-182-9/+17
| | |
* | | Mis-spellEddie Hung2019-09-181-10/+25
| | |
* | | Add pattern detection support for DSP48E1 model, check against vendorEddie Hung2019-09-183-8/+102
| | |
* | | Add support for overflow using pattern detectorEddie Hung2019-09-182-1/+31
| | |
* | | Separate dffrstmux from dffcemux, fix typosEddie Hung2019-09-181-20/+32
| | |
* | | Add `undef DSP48E1_INSTEddie Hung2019-09-131-4/+5
| | |
* | | Fix D -> P{,COUT} delayEddie Hung2019-09-131-43/+43
| | |
* | | Add no MULT no DPORT configEddie Hung2019-09-134-226/+471
| | |
* | | Add support for MULT and DPORTEddie Hung2019-09-134-10/+588
| | |
* | | Refine diagramEddie Hung2019-09-131-12/+14
| | |
* | | Add an ASCII drawingEddie Hung2019-09-121-3/+22
| | |
* | | Finish explanationEddie Hung2019-09-122-5/+20
| | |
* | | Rename to techmap_guardEddie Hung2019-09-121-2/+3
| | |
* | | Initial DSP48E1 box supportEddie Hung2019-09-124-0/+867
| | |
* | | Set more ports explicitlyEddie Hung2019-09-122-1/+4
| | |
* | | Merge remote-tracking branch 'origin/master' into xc7dspEddie Hung2019-09-129-13/+110
|\| |
| * | Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclockDavid Shah2019-09-122-1/+23
| |\ \ | | |/ | |/| Add equiv_opt -multiclock
| | * Add equiv_opt -multiclockDavid Shah2019-09-112-1/+23
| | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
| * | Add -match-init option to dff2dffs.Marcin Kościelnicki2019-09-113-3/+77
| |/
| * Merge pull request #1362 from xobs/smtbmc-msvc2-build-fixesDavid Shah2019-09-114-9/+10
| |\ | | | | | | MSVC2 fixes
| | * tests: ice40: fix div_mod SB_LUT4 countSean Cross2019-09-101-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | | | | This test is failing due to one of the changes present in this patchset. Adjust the test to match the newly-observed values. https://github.com/xobs/yosys/compare/smtbmc-msvc2-build-fixes...YosysHQ:xobs/pr1362 Signed-off-by: Sean Cross <sean@xobs.io>
generated by cgit v1.2.3 (git 2.25.1) at 2025-06-01 23:04:03 +0000