Skip to content

Issues: DeepSec-prover/deepsec_ui

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

28 Open 35 Closed
28 Open 35 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

infinite initialization
#88 opened Jun 4, 2021 by irakoton
1
1
Error when quitting the application bug Something isn't working
#81 opened Jan 29, 2020 by VincentCheval
@VincentCheval
1
Canceling too many time raises an error bug Something isn't working
#80 opened Jan 29, 2020 by VincentCheval
@VincentCheval
1
Stderr messages bug Something isn't working
#79 opened Jan 23, 2020 by LCBH
@VincentCheval
1
Error when manually removing elements from result_files bug Something isn't working
#78 opened Jan 22, 2020 by VincentCheval
@VincentCheval
Prevent dragable ActionPopup when focus on the editable recipe enhancement New feature or request
#77 opened Jan 20, 2020 by VincentCheval
@VincentCheval
Change the font of filter menu in result page enhancement New feature or request
#76 opened Jan 20, 2020 by VincentCheval
@VincentCheval
Deal with result in the database but not in the result directory enhancement New feature or request
#75 opened Jan 20, 2020 by victor-yon
Tab "runs" in result page enhancement New feature or request
#74 opened Jan 20, 2020 by victor-yon
Bookmark a batch, run or query enhancement New feature or request
#73 opened Jan 20, 2020 by victor-yon
Auto focus actions enhancement New feature or request ui Related to user interface
#56 opened Jan 13, 2020 by victor-yon
Build Linux + Mac package from anywhere enhancement New feature or request
#54 opened Jan 13, 2020 by victor-yon
@victor-yon
Allow the user to change the code block color enhancement New feature or request
#42 opened Jan 8, 2020 by victor-yon
@victor-yon
Refresh issue with progression when the status changes bug Something isn't working
#36 opened Jan 7, 2020 by VincentCheval
Clean up and update documentation documentation Improvements or additions to documentation
#25 opened Dec 20, 2019 by victor-yon
Auto completion in recipe input enhancement New feature or request
#24 opened Dec 20, 2019 by victor-yon
Remove a batch enhancement New feature or request
#23 opened Dec 20, 2019 by victor-yon
Clean up electron menu enhancement New feature or request ui Related to user interface
#22 opened Dec 20, 2019 by victor-yon
Review logging messages and files enhancement New feature or request
#21 opened Dec 20, 2019 by victor-yon
Progression refresh latency bug Something isn't working ui Related to user interface
#18 opened Nov 26, 2019 by victor-yon
Add attack indicator for batch and run in results view enhancement New feature or request ui Related to user interface
#17 opened Nov 21, 2019 by victor-yon
Rename title Batch after the end enhancement New feature or request
#14 opened Nov 7, 2019 by victor-yon
Connexion to distant server enhancement New feature or request
#10 opened Nov 6, 2019 by VincentCheval
Soft wrap for code block enhancement New feature or request ui Related to user interface
#9 opened Oct 24, 2019 by victor-yon
Send Dps file when internal error
#5 opened Oct 8, 2019 by VincentCheval
ProTip! Mix and match filters to narrow down what you’re looking for.