-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: uniba-swt/ia-toolset
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Null Pointer Exception: Content Assistant is Unable to Find Follow Elements
bug
Something isn't working
lsp-server
Languge server - part of the IDE app
#14
opened Dec 6, 2021 by
eyip002
New "print" operator to dump the IA internal structure to standard output
good-first-issue
iac
Xtext and interpreter
#10
opened Jul 16, 2021 by
trinnguyen
MIA: find refinement counter-example simulator
lsp-server
Languge server - part of the IDE app
vscode
VSCode extension
#9
opened Jul 16, 2021 by
trinnguyen
MIA: refinement simulator
lsp-server
Languge server - part of the IDE app
vscode
VSCode extension
#8
opened Jul 16, 2021 by
trinnguyen
MIA: explore state-space of process simulator
lsp-server
Languge server - part of the IDE app
vscode
VSCode extension
#7
opened Jul 16, 2021 by
trinnguyen
MIA: debug product view
debugger
Debugger - part of the IDE app
vscode
VSCode extension
#6
opened Jul 16, 2021 by
trinnguyen
MIA: implement prune semantics
theory-backend
Theory semantics (ialib)
#5
opened Jul 16, 2021 by
trinnguyen
MIA: implement the semantics for error state in product
theory-backend
Theory semantics (ialib)
#4
opened Jul 16, 2021 by
trinnguyen
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.