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}}
Updated date
Workaround
!774
· created
Nov 06, 2022
by
Michal Kurowski
Merged
Approved
0
updated
Nov 06, 2022
Added simple report opening
!773
· created
Nov 06, 2022
by
Michal Kurowski
Merged
Approved
0
updated
Nov 06, 2022
N7s tmc#200 observer failure
!768
· created
Nov 04, 2022
by
Bartosz Wojczyński
Merged
Approved
12
updated
Nov 04, 2022
TMC: dialog for selection of output directory for spin model checking
!772
· created
Nov 04, 2022
by
Rafal Babski
Merged
Approved
1
updated
Nov 04, 2022
TMC: REAL datatype support in trail generation
!771
· created
Nov 04, 2022
by
Rafal Babski
Merged
Approved
0
updated
Nov 04, 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
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
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: settings with spin executable customization
!764
· created
Nov 03, 2022
by
Rafal Babski
Merged
Approved
4
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: Add constraint checks for real data type
!748
· created
Oct 27, 2022
by
Arkadiusz Koszewski
Merged
Approved
31
updated
Nov 03, 2022
N7S ETB#227 - Failure reporting
!743
· created
Oct 21, 2022
by
Filip Demski
Merged
Approved
10
updated
Nov 03, 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: Refactor and docs in applications tmc and trailgen
!758
· created
Nov 02, 2022
by
Rafal Babski
Merged
Approved
8
updated
Nov 02, 2022
TMC: Documentation in TmcVerifier
!756
· created
Nov 02, 2022
by
Rafal Babski
Merged
Approved
6
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: 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
Prev
1
…
22
23
24
25
26
27
28
29
30
…
64
Next