| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Make Verific extensions optional | Miodrag Milanovic | 2021-08-20 | 1 | -1/+6 | |
| | | ||||||
| * | Require latest verific | Miodrag Milanovic | 2021-08-02 | 1 | -1/+1 | |
| | | ||||||
| * | Update to latest verific | Miodrag Milanovic | 2021-07-21 | 1 | -3/+3 | |
| | | ||||||
| * | Update to latest Verific with extensions for initial assertions | Miodrag Milanovic | 2021-07-09 | 1 | -14/+9 | |
| | | ||||||
| * | Add additional help | Miodrag Milanovic | 2021-07-05 | 1 | -0/+22 | |
| | | ||||||
| * | Support command files in Verific | Miodrag Milanovic | 2021-06-16 | 1 | -0/+39 | |
| | | ||||||
| * | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 1 | -1/+1 | |
| | | | | | | | | | s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g; | |||||
| * | Ganulate Verific support | Miodrag Milanovic | 2021-02-12 | 1 | -8/+16 | |
| | | ||||||
| * | Require latest Verific build | Miodrag Milanovic | 2021-01-30 | 1 | -1/+1 | |
| | | ||||||
| * | Switch verific bindings from Symbiotic EDA flavored Verific to YosysHQ ↵ | Claire Xenia Wolf | 2021-01-20 | 1 | -18/+18 | |
| | | | | | | | flavored Verific Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | |||||
| * | Bump required Verific version | Miodrag Milanovic | 2020-12-02 | 1 | -1/+1 | |
| | | ||||||
| * | Update verific version | Miodrag Milanovic | 2020-10-30 | 1 | -1/+1 | |
| | | ||||||
| * | extend verific library API for formal apps and generators | Miodrag Milanovic | 2020-10-12 | 1 | -15/+83 | |
| | | ||||||
| * | Update required Verific version | Miodrag Milanović | 2020-10-05 | 1 | -1/+1 | |
| | | ||||||
| * | use sha1 for parameter list in case if they contain spaces | Miodrag Milanovic | 2020-09-30 | 1 | -2/+18 | |
| | | ||||||
| * | Use latest verific | Miodrag Milanovic | 2020-09-02 | 1 | -1/+1 | |
| | | ||||||
| * | Reorder to prevent crash | Miodrag Milanovic | 2020-08-31 | 1 | -3/+3 | |
| | | ||||||
| * | ast recognize lower case x and z and verific gives upper case | Miodrag Milanovic | 2020-08-30 | 1 | -2/+6 | |
| | | ||||||
| * | Do not check for 1 and 0 only | Miodrag Milanovic | 2020-08-30 | 1 | -6/+0 | |
| | | ||||||
| * | Fix import of VHDL enums | Miodrag Milanovic | 2020-08-30 | 1 | -11/+22 | |
| | | ||||||
| * | Add formal apps and template generators | Miodrag Milanovic | 2020-08-26 | 1 | -1/+223 | |
| | | ||||||
| * | Clear last error message | Miodrag Milanovic | 2020-07-29 | 1 | -1/+3 | |
| | | ||||||
| * | Merge pull request #2132 from YosysHQ/eddie/verific_initial | clairexen | 2020-07-02 | 1 | -17/+36 | |
| |\ | | | | | verific: rewrite initial assume/asserts prior to elaboration | |||||
| | * | verific: rewrite initial assume/asserts prior to elaboration | Eddie Hung | 2020-05-15 | 1 | -17/+36 | |
| | | | ||||||
| * | | Update verific API version check | Miodrag Milanovic | 2020-06-30 | 1 | -1/+1 | |
| | | | ||||||
| * | | Fix crash in verific frontend | Miodrag Milanovic | 2020-06-26 | 1 | -1/+2 | |
| | | | ||||||
| * | | Merge pull request #2168 from whitequark/assert-unused-exprs | clairexen | 2020-06-25 | 1 | -1/+1 | |
| |\ \ | | | | | | | Use (and ignore) the expression provided to log_assert in NDEBUG builds | |||||
| | * | | Remove YS_ATTRIBUTE(unused) where present just for log_assert()/log_debug(). | whitequark | 2020-06-19 | 1 | -1/+1 | |
| | | | | ||||||
| * | | | optimization, all items should have same attributes | Miodrag Milanovic | 2020-06-25 | 1 | -0/+1 | |
| | | | | ||||||
| * | | | verific - import attributes for net buses as well | Miodrag Milanovic | 2020-06-24 | 1 | -1/+4 | |
| |/ / | ||||||
| * | | Use C++11 final/override keywords. | whitequark | 2020-06-18 | 1 | -5/+5 | |
| | | | ||||||
| * | | Merge pull request #2131 from YosysHQ/claire/preserveffs | clairexen | 2020-06-10 | 1 | -0/+3 | |
| |\ \ | | | | | | | Do not optimize away FFs in "prep" and Verific front-end | |||||
| | * | | Do not optimize away FFs in "prep" and Verific fron-end | Claire Wolf | 2020-06-09 | 1 | -0/+3 | |
| | | | | | | | | | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | |||||
| * | | | verific - detect missing memory to prevent crash. | Miodrag Milanovic | 2020-06-10 | 1 | -2/+7 | |
| |/ / | ||||||
| * | | Support asymmetric memories for verific frontend | Miodrag Milanovic | 2020-06-01 | 1 | -6/+1 | |
| | | | ||||||
| * | | Revert "Add support for non-power-of-two mem chunks in verific importer" | Claire Wolf | 2020-05-17 | 1 | -12/+2 | |
| |/ | | | | This reverts commit 173aa27ca5ef6e7c0a9277e8da7765adcd63bfe9. | |||||
| * | Add support for non-power-of-two mem chunks in verific importer | Claire Wolf | 2020-05-14 | 1 | -2/+12 | |
| | | | | | Signed-off-by: Claire Wolf <claire@symbioticeda.com> | |||||
| * | verific: ignore anonymous enums | Eddie Hung | 2020-04-30 | 1 | -1/+4 | |
| | | ||||||
| * | verific: support VHDL enums too | Eddie Hung | 2020-04-27 | 1 | -13/+43 | |
| | | ||||||
| * | verific: recover wiretype/enum attr as part of import_attributes() | Eddie Hung | 2020-04-27 | 1 | -5/+34 | |
| | | ||||||
| * | Revert "verific: import enum attributes from verific" | Eddie Hung | 2020-04-24 | 1 | -24/+0 | |
| | | | | | This reverts commit 5028e17f7db11f901ce9e423dfe2c6f7e68259cc. | |||||
| * | verific: do not assert if wire not found; warn instead | Eddie Hung | 2020-04-23 | 1 | -2/+6 | |
| | | ||||||
| * | verific: import enum attributes from verific | Eddie Hung | 2020-04-22 | 1 | -0/+20 | |
| | | ||||||
| * | kernel: big fat patch to use more ID::*, otherwise ID(*) | Eddie Hung | 2020-04-02 | 1 | -48/+48 | |
| | | ||||||
| * | kernel: use more ID::* | Eddie Hung | 2020-04-02 | 1 | -1/+1 | |
| | | ||||||
| * | Merge pull request #1667 from YosysHQ/clifford/verificnand | Claire Wolf | 2020-01-30 | 1 | -0/+8 | |
| |\ | | | | | Add Verific support for OPER_REDUCE_NAND | |||||
| | * | Add Verific support for OPER_REDUCE_NAND | Claire Wolf | 2020-01-30 | 1 | -0/+8 | |
| | | | | | | | | | Signed-off-by: Claire Wolf <clifford@clifford.at> | |||||
| * | | Merge pull request #1503 from YosysHQ/eddie/verific_help | Claire Wolf | 2020-01-30 | 1 | -8/+8 | |
| |\ \ | | | | | | | `verific` pass to print help message when command syntax error | |||||
| | * | | Merge remote-tracking branch 'origin/master' into eddie/verific_help | Eddie Hung | 2020-01-27 | 1 | -10/+30 | |
| | |\| | ||||||
| | * | | verific: no help() when no YOSYS_ENABLE_VERIFIC | Eddie Hung | 2020-01-27 | 1 | -4/+1 | |
| | | | | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |