Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
3.0.7
protected
1828fd7c
·
Merge branch 'fix-att-fault-detection' into 'master'
·
Jul 05, 2023
3.0.6
protected
03bef300
·
Update user_guide: Correct formula in ATT test gen complexity
·
Jul 04, 2023
3.0.5
protected
7c80cf68
·
Update user_guide.md: Correct ATT test gen complexity
·
Jul 04, 2023
3.0.4
protected
6f316397
·
Merge branch 'nswitch_3' into 'master'
·
Jul 04, 2023
3.0.3
protected
182d5844
·
Merge branch 'improve-mem-usage-measurement' into 'master'
·
Jun 30, 2023
3.0.2
protected
5580276f
·
Merge branch '69-handle-strings-and-enums' into 'master'
·
Jun 29, 2023
3.0.1
protected
a4cbb13e
·
Merge branch 'fix-random-coverage-type-csv-field' into 'master'
·
Jun 21, 2023
3.0.0
protected
3de61b4a
·
Set release date in release notes
·
Jun 20, 2023
Release:
R3: Common kingfisher
Tag for R3: Common Kingfisher release
2.0.83
protected
3de61b4a
·
Set release date in release notes
·
Jun 20, 2023
2.0.82
protected
4bb6e18b
·
Merge branch 'update-notes-for-contrib-release-creation' into 'master'
·
Jun 20, 2023
2.0.81
protected
ae4ea0b0
·
Merge branch 'modify-user-guide-for-pdf-generation' into 'master'
·
Jun 19, 2023
2.0.80
protected
1c49a1c7
·
Fix R3 release name (Common kingfisher)
·
Jun 18, 2023
2.0.79
protected
d3535df5
·
Merge branch '273-extend-fault-detection' into 'master'
·
Jun 18, 2023
2.0.78
protected
06fcbe93
·
Merge branch 'nswitch_2' into 'master'
·
Jun 11, 2023
2.0.77
protected
bd653e8e
·
Merge branch '262-ATT-bug' into 'master'
·
May 26, 2023
2.0.76
protected
51ebbd35
·
Revert "Update user_guide.md: add --transition_list to an N-switch coverage usage example."
·
May 25, 2023
2.0.75
protected
dc195df5
·
Update user_guide.md: add --transition_list to an N-switch coverage usage example.
·
May 25, 2023
2.0.74
protected
fb188bc1
·
Merge branch 'GUI-fixes' into 'master'
·
May 18, 2023
2.0.73
protected
66368521
·
Merge branch 'fix-transition-id-param-constness' into 'master'
·
May 11, 2023
2.0.72
protected
28b0165f
·
Merge branch '242-handle-all-gw-json-entities' into 'master'
·
May 11, 2023
Prev
1
…
7
8
9
10
11
12
13
14
15
…
19
Next