Skip to content
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

Jump to bottom

GUI - do computations in a separate thread/process #33

Open
xhajnal opened this issue Jul 8, 2019 · 3 comments
Open

GUI - do computations in a separate thread/process #33

xhajnal opened this issue Jul 8, 2019 · 3 comments
Labels
help wanted Extra attention is needed TODO put this into the SPRINT

Comments

@xhajnal
Copy link
Owner

xhajnal commented Jul 8, 2019

No description provided.

@xhajnal xhajnal added the help wanted Extra attention is needed label Aug 24, 2019
@xhajnal
Copy link
Owner Author

xhajnal commented Aug 27, 2019

lib Thread fails on accessing the plot. lib Process fails when called in Tkinter environment.

@xhajnal
Copy link
Owner Author

xhajnal commented Aug 27, 2019

Sources:
https://stackoverflow.com/questions/2905965/creating-threads-in-python

@xhajnal xhajnal added the TODO put this into the SPRINT label Feb 7, 2020
@xhajnal xhajnal mentioned this issue Feb 7, 2020
Open
@xhajnal xhajnal pinned this issue Jul 22, 2020
@xhajnal
Copy link
Owner Author

xhajnal commented Dec 4, 2020 •
edited
Loading

  • parameteric model checking (property by property)
  • space sampling parallelised in 015677d
    • normal
    • quantitative
  • refinement - problem with locking RefinedSpace
    • run computations without RefinedSpace and create one only after computation finished
    • only get functions
  • MH - simple parallelization slows down

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
help wanted Extra attention is needed TODO put this into the SPRINT
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@xhajnal