aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Do not check for 1 and 0 onlyMiodrag Milanovic2020-08-301-6/+0
* Fix import of VHDL enumsMiodrag Milanovic2020-08-301-11/+22
* Bump versionYosys Bot2020-08-301-1/+1
* write_smt2: fix SMT-LIB tutorial URLwhitequark2020-08-291-1/+1
* Bump versionYosys Bot2020-08-291-1/+1
* intel_alm: better map wide but shallow multipliesDan Ravensloft2020-08-281-2/+6
* Bump versionYosys Bot2020-08-281-1/+1
* Merge pull request #2364 from whitequark/manual-typoMiodrag Milanović2020-08-271-1/+1
|\
| * manual: fix typo.whitequark2020-08-271-1/+1
|/
* Merge pull request #2357 from whitequark/cxxflags-MPwhitequark2020-08-271-1/+1
|\
| * Add -MP to CXXFLAGS.whitequark2020-08-261-1/+1
* | Merge pull request #2356 from whitequark/flatten-techmap-no-tpl_driven-sigmapwhitequark2020-08-273-9/+17
|\ \
| * | flatten, techmap: don't canonicalize tpl driven bits via sigmap.whitequark2020-08-263-9/+17
* | | Merge pull request #2358 from whitequark/rename-ilang-to-rtlilwhitequark2020-08-2728-178/+206
|\ \ \
| * | | Replace "ILANG" with "RTLIL" everywhere.whitequark2020-08-2628-178/+206
| | |/ | |/|
* | | dfflegalize: Fix decision tree for adffe.Marcelina Kościelnicka2020-08-271-1/+5
* | | Bump versionYosys Bot2020-08-271-1/+1
* | | intel_alm: Add multiply signedness to cellsDan Ravensloft2020-08-267-16/+147
|/ /
* | Merge pull request #2355 from YosysHQ/verific_improvementsMiodrag Milanović2020-08-261-1/+223
|\ \ | |/ |/|
| * Add formal apps and template generatorsMiodrag Milanovic2020-08-261-1/+223
* | Merge pull request #2351 from pbsds/proc_nomuxwhitequark2020-08-261-1/+10
|\ \ | |/ |/|
| * proc: Add -nomux switchPeder Bergebakken Sundt2020-08-201-1/+10
* | Bump versionYosys Bot2020-08-231-1/+1
* | Merge pull request #2349 from nmoroze/smt2-bugfixclairexen2020-08-221-9/+20
|\ \
| * | Ensure smt2 comments are associated with accessorsNoah Moroze2020-08-201-9/+20
* | | Bump versionYosys Bot2020-08-211-1/+1
* | | synth_intel: Remove incomplete Arria 10 GX support.Marcelina Kościelnicka2020-08-215-192/+4
| |/ |/|
* | intel: move Cyclone V support to intel_almDan Ravensloft2020-08-207-203/+11
* | Merge pull request #2347 from YosysHQ/mwk/techmap-shift-fixesclairexen2020-08-203-81/+38
|\ \
| * | techmap/shift_shiftx: Remove the "shiftx2mux" special path.Marcelina Kościelnicka2020-08-203-81/+38
* | | Merge pull request #2344 from YosysHQ/mwk/opt_share-fixesclairexen2020-08-204-223/+192
|\ \ \
| * | | opt_share: Refactor, fix some bugs.Marcelina Kościelnicka2020-08-174-223/+192
* | | | Merge pull request #2337 from YosysHQ/mwk/clean-keep-wireclairexen2020-08-201-4/+9
|\ \ \ \
| * | | | opt_clean: Fix module keep rules.Marcelina Kościelnicka2020-08-091-4/+9
| |/ / /
* | | | Merge pull request #2333 from YosysHQ/mwk/peepopt-shiftmul-signedclairexen2020-08-202-5/+12
|\ \ \ \
| * | | | peeopt.shiftmul: Add a signedness check.Marcelina Kościelnicka2020-08-052-5/+12
* | | | | Merge pull request #2328 from YosysHQ/mwk/opt_dff-cleanupclairexen2020-08-2011-1661/+129
|\ \ \ \ \
| * | | | | Remove now-redundant dff2dffe pass.Marcelina Kościelnicka2020-08-072-415/+0
| * | | | | Remove now-redundant dff2dffs pass.Marcelina Kościelnicka2020-08-073-216/+0
| * | | | | peepopt: Remove now-redundant dffmux pattern.Marcelina Kościelnicka2020-08-075-318/+129
| * | | | | Remove now-redundant opt_rmdff pass.Marcelina Kościelnicka2020-08-072-712/+0
| | |/ / / | |/| | |
* | | | | Merge pull request #2327 from YosysHQ/mwk/techmap-constmap-fixclairexen2020-08-202-1/+37
|\ \ \ \ \
| * | | | | techmap.CONSTMAP: Handle outputs before inputs.Marcelina Kościelnicka2020-08-052-1/+37
| | |/ / / | |/| | |
* | | | | Merge pull request #2326 from YosysHQ/mwk/peeopt-muldiv-signclairexen2020-08-202-1/+16
|\ \ \ \ \
| * | | | | peepopt.muldiv: Add a signedness check.Marcelina Kościelnicka2020-08-042-1/+16
| |/ / / /
* | | | | Merge pull request #2319 from YosysHQ/mwk/techmap-celltype-patternclairexen2020-08-203-8/+36
|\ \ \ \ \
| * | | | | techmap: Add support for [] wildcards in techmap_celltype.Marcelina Kościelnicka2020-08-023-8/+36
| |/ / / /
* | | | / Bump versionYosys Bot2020-08-201-1/+1
| |_|_|/ |/| | |
* | | | Merge pull request #2122 from PeterCrozier/struct_array2clairexen2020-08-192-29/+83
|\ \ \ \ | |_|_|/ |/| | |
| * | | include both power-of-two and non-power-of-two testcasesN. Engelhardt2020-08-181-6/+23