aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | Module name scope supportZachary Snow2020-08-202-0/+23
| |/ / /
* | | | Merge pull request #2365 from zachjs/const-arg-loop-split-typeclairexen2020-09-012-3/+24
|\ \ \ \
| * | | | Fix constant args used with function ports split across declarationsZachary Snow2020-08-292-3/+24
| |/ / /
* | / / Bump versionYosys Bot2020-09-011-1/+1
| |/ / |/| |
* | | Reorder to prevent crashMiodrag Milanovic2020-08-311-3/+3
* | | Merge pull request #2368 from YosysHQ/verific_portrangeclairexen2020-08-311-11/+20
|\ \ \
| * | | ast recognize lower case x and z and verific gives upper caseMiodrag Milanovic2020-08-301-2/+6
| * | | 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
| | |/ / / | |/| | |