Skip to content

Issues: xhajnal/DiPS

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

37 Open 63 Closed
37 Open 63 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

add mh show true point for multidimensional case enhancement New feature or request Future work Possible extension that has to be discusses how to do this good first issue Good for newcomers TODO put this into the SPRINT
#107 opened Feb 27, 2022 by xhajnal
random error
#106 opened Feb 10, 2022 by xhajnal
Metadata of MH may crash DiPS
#105 opened Feb 10, 2022 by xhajnal
not loading data samples
#104 opened Feb 3, 2022 by xhajnal
error logs
#103 opened Feb 3, 2022 by xhajnal
consider herman protocol for benchmarking
#97 opened Apr 27, 2021 by xhajnal
parse multidimensional Storm refinement enhancement New feature or request TODO put this into the SPRINT
#95 opened Apr 10, 2021 by xhajnal
1
loading data as dictionary stopped working bug Something isn't working
#90 opened Jan 5, 2021 by xhajnal
progress bar really slows down Metropolis-Hastings enhancement New feature or request good first issue Good for newcomers TODO put this into the SPRINT
#88 opened Dec 10, 2020 by xhajnal
1
test PRISM input models enhancement New feature or request hard to fix Requires nontrivial amounts of knwoledge
#87 opened Dec 4, 2020 by xhajnal
3
reviews CMSB
#79 opened Jul 2, 2020 by xhajnal
13 of 41 tasks
1
Saving all input in the space and hastings class enhancement New feature or request help wanted Extra attention is needed
#78 opened Jun 25, 2020 by xhajnal
(Perfomance) dropped drastically with nondecreasing MH *CASE STUDY* enhancement New feature or request good first issue Good for newcomers
#77 opened May 27, 2020 by xhajnal
3
dreal import not working properly on some machines 3rd party This issue is a matter of 3rd party functionality bug Something isn't working hard to fix Requires nontrivial amounts of knwoledge help wanted Extra attention is needed
#76 opened May 27, 2020 by xhajnal
Save only file destination instead of copy of the file good first issue Good for newcomers tweak low priority tweak
#75 opened May 27, 2020 by xhajnal
progress in gui jumps around due to rounding problem good first issue Good for newcomers tweak low priority tweak
#73 opened May 20, 2020 by xhajnal
Space sampling (refinement) - unsat points can be coloured by the amount of constraints they do not sat. enhancement New feature or request good first issue Good for newcomers
#69 opened Mar 23, 2020 by xhajnal
1
Param Synth for bees 20 did not finish *CASE STUDY* 3rd party This issue is a matter of 3rd party functionality
#64 opened Jan 16, 2020 by xhajnal
MH - progress shows only iteration progress and not time enhancement New feature or request good first issue Good for newcomers
#63 opened Jan 15, 2020 by xhajnal
1
(Performance) compare perf. with other tools
#62 opened Jan 10, 2020 by xhajnal
3 of 5 tasks
1
translate python expression to z3 expression when calling z3 SMT solver good first issue Good for newcomers
#51 opened Nov 8, 2019 by xhajnal
4
Check whether there are no parameters in constraints/functions called as one of the code variable (e.g. delta) good first issue Good for newcomers
#49 opened Oct 30, 2019 by xhajnal
1
Finish tests help wanted Extra attention is needed
#45 opened Oct 15, 2019 by xhajnal
@huypn12
support standard for time series data in data import Future work Possible extension that has to be discusses how to do this
#42 opened Sep 23, 2019 by xhajnal
1
space sampling - weird holes in the sample set 3rd party This issue is a matter of 3rd party functionality wontfix This will not be worked on
#40 opened Aug 20, 2019 by xhajnal
1
ProTip! What’s not been updated in a month: updated:<2024-09-05.