aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | | | | Add #1460 testcaseEddie Hung2019-12-121-0/+34
| | * | | | | Add memory rules for RAM16X1D, RAM32M, RAM64MEddie Hung2019-12-122-0/+168
| | * | | | | Rename memory tests to lutram, add more xilinx testsEddie Hung2019-12-129-53/+156
| * | | | | | Merge pull request #1521 from dh73/diego/memattrEddie Hung2019-12-167-48/+374
| |\ \ \ \ \ \
| | * | | | | | Enforce non-existenceEddie Hung2019-12-161-0/+4
| | * | | | | | Update docEddie Hung2019-12-161-4/+6
| | * | | | | | Add another testEddie Hung2019-12-161-1/+8
| | * | | | | | More sloppiness, thanks @dh73 for spottingEddie Hung2019-12-161-4/+4
| | * | | | | | Accidentally commented out testsEddie Hung2019-12-161-47/+47
| | * | | | | | Add unconditional match blocks for force RAMEddie Hung2019-12-162-4/+45
| | * | | | | | OopsEddie Hung2019-12-161-4/+1
| | * | | | | | Merge blockram testsEddie Hung2019-12-163-47/+81
| | * | | | | | Update xc7/xcu bram rulesEddie Hung2019-12-161-8/+4
| | * | | | | | Implement 'attributes' grammarEddie Hung2019-12-161-80/+88
| | * | | | | | Merge branch 'diego/memattr' of https://github.com/dh73/yosys into diego/memattrEddie Hung2019-12-164-1/+238
| |/| | | | | |
| | * | | | | | Fixing compiler warning/issues. Moving test script to the correct placeDiego H2019-12-162-14/+14
| | * | | | | | Removing fixed attribute value to !ramstyle rulesDiego H2019-12-152-3242/+4
| | * | | | | | Merging attribute rules into a single match block; Adding testsDiego H2019-12-155-86/+3465
| | * | | | | | Refactoring memory attribute matching based on IEEE 1364.1 and Tool specificDiego H2019-12-132-0/+96
| * | | | | | | Merge pull request #1575 from rodrigomelo9/masterEddie Hung2019-12-153-4/+4
| |\ \ \ \ \ \ \
| | * | | | | | | Fixed some missing "verilog_" in documentationRodrigo Alejandro Melo2019-12-133-4/+4
| | | |/ / / / / | | |/| | | | |
| * | | | | | | Merge pull request #1577 from gromero/for-yosysEddie Hung2019-12-151-1/+1
| |\ \ \ \ \ \ \
| | * | | | | | | manual: Fix text in Abstract sectionGustavo Romero2019-12-111-1/+1
| * | | | | | | | Merge pull request #1578 from noopwafel/eqneq-debugEddie Hung2019-12-151-1/+1
| |\ \ \ \ \ \ \ \ | | |_|_|/ / / / / | |/| | | | | | |
| | * | | | | | | Fix opt_expr.eqneq.cmpzero debug printAlyssa Milburn2019-12-151-1/+1
| |/ / / / / / /
| * | | | | | | Merge pull request #1533 from dh73/bram_xilinxEddie Hung2019-12-133-6/+101
| |\ \ \ \ \ \ \ | | |_|/ / / / / | |/| | | | | |
| | * | | | | | Renaming BRAM memory tests for the sake of uniformityDiego H2019-12-132-6/+6
| | * | | | | | Fixing citation in xc7_xcu_brams.txt file. Fixing RAMB36E1 test.Diego H2019-12-122-7/+7
| | * | | | | | Adding a note (TODO) in the memory_params.ys check fileDiego H2019-12-121-0/+2
| | * | | | | | Updating RAMB36E1 thresholds. Adding test for both RAMB18E1/RAMB36E1Diego H2019-12-123-2/+92
| | * | | | | | Merge https://github.com/YosysHQ/yosys into bram_xilinxDiego H2019-12-1243-1053/+2108
| | |\ \ \ \ \ \ | | | | |/ / / / | | | |/| | | |
| | * | | | | | Adjusting Vivado's BRAM min bits threshold for RAMB18E1Diego H2019-11-271-2/+5
* | | | | | | | Bump ABC againEddie Hung2019-12-181-1/+1
* | | | | | | | Remove &verify -sEddie Hung2019-12-171-1/+1
* | | | | | | | Bump ABC for upstream fixEddie Hung2019-12-171-1/+1
* | | | | | | | Use pool<> instead of std::set<> to preserver orderingEddie Hung2019-12-171-6/+6
* | | | | | | | aiger frontend to user shorter, $-prefixed, namesEddie Hung2019-12-171-14/+14
* | | | | | | | Cleanup xaiger, remove unnecessary complexity with inoutEddie Hung2019-12-172-84/+24
* | | | | | | | read_xaiger to cope with optional '\n' after 'c'Eddie Hung2019-12-171-2/+2
* | | | | | | | Do not sigmapEddie Hung2019-12-171-1/+1
* | | | | | | | Revert "Use sigmap signal"Eddie Hung2019-12-171-1/+1
* | | | | | | | abc9 needs a clean afterwardsEddie Hung2019-12-161-2/+4
* | | | | | | | Put $__ABC9_{FF_,ASYNC} into same clock domain as abc9_flopEddie Hung2019-12-161-5/+27
* | | | | | | | Use sigmap signalEddie Hung2019-12-161-1/+1
* | | | | | | | Skip $inout transformation if not a PIEddie Hung2019-12-161-3/+5
* | | | | | | | Revert "write_xaiger: use sigmap bits more consistently"Eddie Hung2019-12-161-4/+5
* | | | | | | | write_xaiger: use sigmap bits more consistentlyEddie Hung2019-12-161-5/+4
* | | | | | | | Name inputs/outputs of aiger 'i%d' and 'o%d'Eddie Hung2019-12-131-13/+6
* | | | | | | | Remove 'clkpart' entry in CHANGELOGEddie Hung2019-12-121-1/+0
* | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-12-1218-64/+238
|\| | | | | | |