| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | 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 | 2 | -6/+35 | |
| | | ||||||
| * | 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 | 4 | -18/+74 | |
| | |\| | ||||||
| | * | | verific: no help() when no YOSYS_ENABLE_VERIFIC | Eddie Hung | 2020-01-27 | 1 | -4/+1 | |
| | | | | ||||||
| | * | | Oops | Eddie Hung | 2019-11-19 | 1 | -1/+1 | |
| | | | | ||||||
| | * | | Print help message for verific pass | Eddie Hung | 2019-11-19 | 1 | -9/+12 | |
| | | | | ||||||
| * | | | verific: also unflatten for 'hierarchy' flow as per @cliffordwolf | Eddie Hung | 2020-01-27 | 1 | -0/+3 | |
| | | | | ||||||
| * | | | verific: unflatten struct ports | Eddie Hung | 2020-01-24 | 1 | -0/+3 | |
| | |/ |/| | ||||||
| * | | Send people to symbioticeda.com instead of verific.com | Clifford Wolf | 2019-12-18 | 2 | -5/+26 | |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | Add Verific support for SVA nexttime properties | Clifford Wolf | 2019-11-22 | 1 | -0/+22 | |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | Improve handling of verific primitives in "verific -import -V" mode | Clifford Wolf | 2019-11-22 | 1 | -2/+2 | |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | Add Verific SVA support for "always" properties | Clifford Wolf | 2019-11-22 | 1 | -5/+15 | |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | Correctly treat empty modules as blackboxes in Verific | Clifford Wolf | 2019-11-20 | 1 | -1/+1 | |
| | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | | Do not rename VHDL entities to "entity(impl)" when they are top modules | Clifford Wolf | 2019-11-20 | 2 | -5/+8 | |
| |/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Improve naming scheme for (VHDL) modules imported from Verific | Clifford Wolf | 2019-10-24 | 1 | -3/+26 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Add "verific -L" | Clifford Wolf | 2019-10-24 | 1 | -1/+12 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix handling of "restrict" in Verific front-end | Clifford Wolf | 2019-10-21 | 1 | -1/+1 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix erroneous ifndef-NDEBUG in verific.cc | Clifford Wolf | 2019-08-17 | 1 | -3/+1 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fix various NDEBUG compiler warnings, closes #1255 | Clifford Wolf | 2019-08-13 | 1 | -0/+2 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Merge pull request #1258 from YosysHQ/eddie/cleanup | Clifford Wolf | 2019-08-10 | 2 | -3/+3 | |
| |\ | | | | | Cleanup a few barnacles across codebase | |||||
| | * | substr() -> compare() | Eddie Hung | 2019-08-07 | 1 | -2/+2 | |
| | | | ||||||
| | * | stoi -> atoi | Eddie Hung | 2019-08-07 | 1 | -1/+1 | |
| | | | ||||||
| | * | Use std::stoi instead of atoi(<str>.c_str()) | Eddie Hung | 2019-08-06 | 1 | -1/+1 | |
| | | | ||||||
| | * | Use State::S{0,1} | Eddie Hung | 2019-08-06 | 1 | -1/+1 | |
| | | | ||||||
| * | | Automatically prune init attributes in verific front-end, fixes #1237 | Clifford Wolf | 2019-08-07 | 2 | -7/+60 | |
| |/ | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |