If you have encountered
a problem with DIVINE, please check below whether there is an active ticket
for your issue. Otherwise, please login with
GitHub and report your issue. Thank
you.
{4} Accepted, Active Tickets by Owner (8 matches)
List accepted tickets, group by ticket owner, sorted by priority.
mornfall (5 matches)
Ticket | Summary | Component | Milestone | Type | Created | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
#43 | Fix thread_local | VM | 4.5 | defect | 01/21/2019 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#87 | Struct self-assignment results in assertion failure in memcpy | DiOS | 4.3 | defect | 10/08/2019 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#95 | sim: Integers < -5 appearing in dbg.value are discarded. | sim | 4.4 | defect | 10/21/2019 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#105 | make: Move any compilation out of make install | other | 4.4 | feature | 01/21/2020 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#44 | Multi-Threaded Performance Doesn't Scale | other | 5.0 | defect | 01/25/2019 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Vladimír Štill (3 matches) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Ticket | Summary | Component | Milestone | Type | Created | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#94 | sim: Signed integer value is shown as unsigned. | sim | 4.4 | defect | 10/21/2019 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#106 | make: CMake does not set PYTHON_INTERP during libcxx configuration | other | 4.4 | defect | 01/28/2020 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
#92 | divine info is outdated | DiOS | 4.3 | defect | 10/17/2019 |
Note:
See TracReports for help on using and creating reports.