Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
lafhis
Merge requests
Open
3
Merged
6
Closed
1
All
10
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Created date
Priority
Created date
Last updated
Milestone due date
Popularity
Label priority
Fix intermittent GUI freeze when parsing FSP with syntax errors
mtsa!10
· created
Jul 09, 2026
by
Sebastian Uchitel
MERGED
0
updated
Jul 09, 2026
Bump version to 1.2 and show version and build date in About window
mtsa!9
· created
Jun 13, 2026
by
Sebastian Uchitel
MERGED
0
updated
Jun 13, 2026
Reject LTL check when property alphabet exceeds model alphabet
mtsa!8
· created
Jun 13, 2026
by
Sebastian Uchitel
MERGED
Approved
0
updated
Jun 13, 2026
Remove JUnit from production code; add junit test scope in pom
mtsa!7
· created
Jun 12, 2026
by
Sebastian Uchitel
MERGED
Approved
0
updated
Jun 12, 2026
Revert "Update .gitlab-ci.yml file"
mtsa!6
· created
Apr 07, 2026
by
Florencia Zanollo
MERGED
0
updated
Apr 07, 2026
Algoritmo Branching
mtsa!5
· created
Feb 13, 2026
by
Cindy Levi
0
updated
Jul 02, 2026
adding spectra engine
mtsa!4
· created
Feb 10, 2026
by
Bruno Agustin Gomez
0
updated
May 08, 2026
Feature/synth with spectra
mtsa!3
· created
Feb 02, 2026
by
Bruno Agustin Gomez
symbolicEngine
CLOSED
0
updated
Feb 10, 2026
merge with master
mtsa!2
· created
Nov 04, 2025
by
hernan gabriel gagliardi
Feature
MERGED
Approved
0
updated
Nov 04, 2025
Draft: CompactState can retrieve role and primitive states info
mtsa!1
· created
Oct 09, 2025
by
Florencia Zanollo
0
updated
May 08, 2026
