Skip to content
GitLab
Explore
Sign in
TASTE
SpaceCreator
Merge requests
Open
0
Merged
1,221
Closed
49
All
1,270
Actions
Subscribe to RSS feed
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{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}}
{{title}}
Created date
N7S ETB#257 - Swap translation
!770
· created
Nov 04, 2022
by
Filip Demski
Merged
Approved
4
updated
Nov 10, 2022
TMC: bugfix - invalid version of spin was used for trace creation
!769
· created
Nov 04, 2022
by
Rafal Babski
Merged
Approved
0
updated
Nov 04, 2022
N7s tmc#200 observer failure
!768
· created
Nov 04, 2022
by
Bartosz Wojczyński
Merged
Approved
12
updated
Nov 04, 2022
TMC: Added settings required to support REAL datatype in modelchecking
!767
· created
Nov 04, 2022
by
Rafal Babski
Merged
Approved
0
updated
Nov 04, 2022
TMC: Fix in simulator trail, when project with subtypes is translated
!766
· created
Nov 04, 2022
by
Rafal Babski
Merged
Approved
0
updated
Nov 04, 2022
N7S TMC#258 VECTORSZ increase
!765
· created
Nov 03, 2022
by
Michal Kurowski
Merged
Approved
0
updated
Nov 04, 2022
TMC: settings with spin executable customization
!764
· created
Nov 03, 2022
by
Rafal Babski
Merged
Approved
4
updated
Nov 03, 2022
N7S TMC#238 - Setting input vector limit to 0 disables the interface
!763
· created
Nov 03, 2022
by
Filip Demski
Merged
Approved
2
updated
Nov 03, 2022
TMC: observer.asn is generated with support for subtypes
!762
· created
Nov 03, 2022
by
Rafal Babski
Merged
Approved
2
updated
Nov 03, 2022
TMC: TmcVerifier, run `make observer_dataview` automatically
!761
· created
Nov 02, 2022
by
Rafal Babski
Merged
Approved
0
updated
Nov 02, 2022
TMC: Fix close button in GUI
!760
· created
Nov 02, 2022
by
Rafal Babski
Merged
Approved
0
updated
Nov 02, 2022
TMC: Added option -E to pan executable, also comments
!759
· created
Nov 02, 2022
by
Rafal Babski
Merged
Approved
0
updated
Nov 02, 2022
Tmc: Refactor and docs in applications tmc and trailgen
!758
· created
Nov 02, 2022
by
Rafal Babski
Merged
Approved
8
updated
Nov 02, 2022
N7S TMC#255 - Fix case when there is a parameter requirement, but any value is allowed
!757
· created
Nov 02, 2022
by
Filip Demski
Merged
Approved
0
updated
Nov 03, 2022
TMC: Documentation in TmcVerifier
!756
· created
Nov 02, 2022
by
Rafal Babski
Merged
Approved
6
updated
Nov 02, 2022
Draft: N7s tmc#200 observer failure
!755
· created
Nov 02, 2022
by
Bartosz Wojczyński
Merged
0
updated
Nov 02, 2022
N7S TMC#251 CDR demo
!754
· created
Nov 01, 2022
by
Michal Kurowski
Merged
Approved
0
updated
Nov 08, 2022
TMC: calling spin from gui
!753
· created
Oct 31, 2022
by
Rafal Babski
Merged
Approved
24
updated
Oct 31, 2022
IVE: source code file loss
!752
· created
Oct 31, 2022
by
Alex Diev
Bug
Critical
IVE
To Do
Merged
Approved
4
updated
Nov 02, 2022
TMC: Fix in IvToPromelaTranslator related to changes in kazoo and opengeode, test update
!751
· created
Oct 28, 2022
by
Rafal Babski
Merged
Approved
1
updated
Oct 28, 2022
Prev
1
…
22
23
24
25
26
27
28
29
30
…
64
Next