Skip to content

Issues: ftsrg/semantifyr

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

21 Open 5 Closed
21 Open 5 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

Implement Eclipse IDE
#49 opened Nov 21, 2024 by arminzavada
Support Timed XSTS dialect
#45 opened Nov 15, 2024 by arminzavada
(O)XSTS statement-based witness trace
#44 opened Nov 15, 2024 by arminzavada
2 tasks
Fix XSTS ide scope provider
#43 opened Nov 15, 2024 by arminzavada
Use Xtext XSTS serialization instead of custom serializer
#42 opened Nov 8, 2024 by arminzavada
Feature redefinition skips existing redefining features bug Something isn't working
#36 opened Nov 5, 2024 by arminzavada
Publish VS Code extension
#35 opened Nov 4, 2024 by arminzavada
Move to JDK 21
#34 opened Nov 4, 2024 by arminzavada
1
Extend OXSTS language constructs
#33 opened Oct 29, 2024 by arminzavada
3 tasks
Explicit transition redefinition
#31 opened Oct 24, 2024 by arminzavada
Implement unit testing
#30 opened Oct 24, 2024 by arminzavada
Extend OXSTS validation ruleset
#29 opened Oct 24, 2024 by arminzavada
Design frontend architecture
#28 opened Oct 24, 2024 by arminzavada
SysML v2 frontend
#27 opened Oct 24, 2024 by arminzavada
Gamma frontend
#26 opened Oct 24, 2024 by arminzavada
OXSTS debugger / simulator
#25 opened Oct 24, 2024 by arminzavada
Extend supported XSTS language constructs
#24 opened Oct 24, 2024 by arminzavada
3 tasks
Semantic-preserving model simplification
#23 opened Oct 24, 2024 by arminzavada
Target verification expectation and UI checking
#20 opened Oct 24, 2024 by arminzavada
Support true multi-inheritance
#19 opened Oct 24, 2024 by arminzavada
CEX to (O)XSTS backannotation from Theta verification result
#18 opened Oct 24, 2024 by arminzavada
1
ProTip! Mix and match filters to narrow down what you’re looking for.