aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* add IdString::isPublic()N. Engelhardt2020-09-031-0/+2
* Merge pull request #2371 from whitequark/cxxrtl-debug-infowhitequark2020-09-033-30/+177
|\
| * cxxrtl: expose driver kind in debug information.whitequark2020-09-023-12/+112
| * cxxrtl: improve handling of FFs with async inputs (other than CLK).whitequark2020-09-021-22/+23
| * cxxrtl: expose port direction in debug information.whitequark2020-09-023-5/+51
| * cxxrtl: fix typo in comment. NFC.whitequark2020-09-021-1/+1
| * cxxrtl: fix inaccuracy in CXXRTL_ALIAS documentation. NFC.whitequark2020-09-021-1/+1
* | Bump versionYosys Bot2020-09-031-1/+1
|/
* Use latest verificMiodrag Milanovic2020-09-021-1/+1
* Bump versionYosys Bot2020-09-021-1/+1
* Merge pull request #2352 from zachjs/const-func-localparamclairexen2020-09-012-3/+18
|\
| * Allow localparams in constant functionsZachary Snow2020-08-202-3/+18
* | Merge pull request #2366 from zachjs/library-formatclairexen2020-09-011-0/+11
|\ \
| * | Simple support for %l format specifierZachary Snow2020-08-291-0/+11
| |/
* | Merge pull request #2353 from zachjs/top-scopeclairexen2020-09-012-0/+23
|\ \
| * | 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