aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * Fix UBEddie Hung2019-09-111-2/+2
* | | 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
| |\ \
| | * | 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
| * | | Fix stupid bug in btor back-endClifford Wolf2019-09-181-1/+1
| * | | Bump versionClifford Wolf2019-09-161-1/+1
| * | | Merge pull request #1380 from YosysHQ/clifford/fix1372Clifford Wolf2019-09-161-2/+9
| |\ \ \
| | * | | Fix handling of range selects on loop variables, fixes #1372Clifford Wolf2019-09-161-2/+9
| |/ / /
| * | | Merge pull request #1374 from YosysHQ/eddie/fix1371Eddie Hung2019-09-152-5/+25
| |\ \ \
| | * | | 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
| | * | | 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
| * | | | 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"Clifford Wolf2019-09-132-5/+5
| |/ / /
| * | | Merge pull request #1373 from YosysHQ/clifford/fix1364Clifford Wolf2019-09-132-3/+3
| |\ \ \ | | |/ / | |/| |
| | * | Fix lexing of integer literals without radixClifford Wolf2019-09-131-1/+1
| | * | Fix lexing of integer literals, fixes #1364Clifford Wolf2019-09-122-3/+3
* | | | 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 -multiclockDavid Shah2019-09-112-1/+23
| * | | 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
| |\ \