aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | | | | | initialize more registers in setundef -initJakob Wenzel2019-05-091-16/+23
| * | | | | | | Fix typo in fmcombine log message, fixes #1063Clifford Wolf2019-06-051-2/+2
| | |/ / / / / | |/| | | | |
| * | | | | | Merge pull request #1062 from tux3/patch-1Clifford Wolf2019-06-041-1/+1
| |\ \ \ \ \ \
| | * | | | | | README.md: Missing formatting for <tag>Tux32019-06-041-1/+1
| |/ / / / / /
| * | | | | | Merge pull request #1061 from YosysHQ/eddie/techmap_and_arith_mapEddie Hung2019-06-031-6/+5
| |\ \ \ \ \ \
| | * | | | | | Remove extra newlineEddie Hung2019-06-031-1/+0
| | * | | | | | Execute techmap and arith_map simultaneouslyEddie Hung2019-06-031-6/+6
| |/ / / / / /
| * | | / / / Only support Symbiotic EDA flavored VerificClifford Wolf2019-06-021-0/+8
| | |_|/ / / | |/| | | |
| * | | | | Fix "tee" handling of log_streamsClifford Wolf2019-05-311-0/+5
| * | | | | Enable Verific flag veri_elaborate_top_level_modules_having_interface_ports, ...Clifford Wolf2019-05-301-0/+3
| * | | | | Merge pull request #1057 from mmicko/fix_478Clifford Wolf2019-05-301-0/+4
| |\ \ \ \ \
| | * | | | | Aded one more load of .conf to support change of prefixMiodrag Milanovic2019-05-291-0/+4
| |/ / / / /
| * | | | | Merge pull request #1049 from YosysHQ/clifford/fix1047Clifford Wolf2019-05-282-4/+15
| |\ \ \ \ \
| | * | | | | Do not use shiftmul peepopt pattern when mul result is truncated, fixes #1047Clifford Wolf2019-05-282-4/+15
| * | | | | | Merge pull request #1050 from YosysHQ/clifford/wandworClifford Wolf2019-05-289-40/+207
| |\ \ \ \ \ \
| | * | | | | | Refactor hierarchy wand/wor handlingClifford Wolf2019-05-283-103/+145
| | * | | | | | Add actual wandwor test that is part of "make test"Clifford Wolf2019-05-282-33/+36
| | * | | | | | Merge branch 'wandwor' of https://github.com/thasti/yosys into clifford/wandworClifford Wolf2019-05-288-5/+127
| | |\ \ \ \ \ \ | | | |/ / / / / | | |/| | | | |
| | | * | | | | Merge branch 'master' into wandworStefan Biereigel2019-05-2715-32/+274
| | | |\ \ \ \ \
| | | * | | | | | reformat wand/wor testStefan Biereigel2019-05-271-22/+21
| | | * | | | | | remove port direction workaround from test caseStefan Biereigel2019-05-271-2/+1
| | | * | | | | | update README.md with wand/wor informationStefan Biereigel2019-05-271-2/+2
| | | * | | | | | remove leftovers from ast data structuresStefan Biereigel2019-05-272-4/+0
| | | * | | | | | move wand/wor resolution into hierarchy passStefan Biereigel2019-05-272-98/+91
| | | * | | | | | fix assignment of non-wiresStefan Biereigel2019-05-231-16/+19
| | | * | | | | | add simple test case for wand/worStefan Biereigel2019-05-231-0/+35
| | | * | | | | | fix indentation across filesStefan Biereigel2019-05-234-63/+83
| | | * | | | | | implementation for assignments workingStefan Biereigel2019-05-233-14/+83
| | | * | | | | | make lexer/parser aware of wand/wor net typesStefan Biereigel2019-05-233-2/+10
| * | | | | | | | Merge pull request #1048 from mmicko/fix_enable_pyosysClifford Wolf2019-05-281-8/+15
| |\ \ \ \ \ \ \ \ | | |/ / / / / / / | |/| | | | | | |
| | * | | | | | | Remove info line in 2nd load of conf fileMiodrag Milanovic2019-05-281-1/+0
| | * | | | | | | Moved pyosys block in MakefileMiodrag Milanovic2019-05-281-8/+16
| |/ / / / / / /
* | | | | | | | Prepare for situation when port of the signal cannot be foundBogdan Vukobratovic2019-06-142-2/+8
* | | | | | | | Some cleanup, revert sat.ccBogdan Vukobratovic2019-06-142-13/+11
* | | | | | | | Implement disconnection of constant register bitsBogdan Vukobratovic2019-06-132-44/+109
* | | | | | | | Pass SigBit by value to Netlist algorithmsBogdan Vukobratovic2019-06-131-65/+84
* | | | | | | | Rename satgen_algo.h -> algo.h, code cleanup and refactoringBogdan Vukobratovic2019-06-124-279/+265
* | | | | | | | Generate satgen instance instead of calling sat passBogdan Vukobratovic2019-06-112-24/+129
* | | | | | | | Refactor driver map generationBogdan Vukobratovic2019-06-101-0/+158
* | | | | | | | Fix the regressionBogdan Vukobratovic2019-05-281-1/+2
* | | | | | | | Merge remote-tracking branch 'upstream/master'Bogdan Vukobratovic2019-05-281-1/+11
|\| | | | | | |
| * | | | | | | Merge pull request #1045 from mmicko/afl-gcc-targetClifford Wolf2019-05-281-1/+11
| |\ \ \ \ \ \ \ | | |_|/ / / / / | |/| | | | | |
| | * | | | | | make config-afl-gcc to help creating conf fileMiodrag Milanovic2019-05-271-1/+4
| | * | | | | | Added afl-gcc as target for fuzzerMiodrag Milanovic2019-05-271-0/+7
| |/ / / / / /
* / / / / / / Optimizing DFFs whose initial value prevents their value from changingBogdan Vukobratovic2019-05-284-3/+78
|/ / / / / /
* | | | | | Merge pull request #1044 from mmicko/invalid_width_rangeClifford Wolf2019-05-271-1/+2
|\ \ \ \ \ \
| * | | | | | Give error instead of asserting for invalid range, fixes #947Miodrag Milanovic2019-05-271-1/+2
* | | | | | | Merge pull request #1043 from mmicko/unsized_constantClifford Wolf2019-05-275-13/+45
|\ \ \ \ \ \ \
| * | | | | | | Added support for unsized constants, fixes #1022Miodrag Milanovic2019-05-275-13/+45
| |/ / / / / /
* | | | | | | Merge pull request #1026 from YosysHQ/clifford/fix1023Clifford Wolf2019-05-272-2/+12
|\ \ \ \ \ \ \