Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
3.0.17
protected
177e1bdb
·
Revert "Remove duplicated deterministic precondition check"
·
Nov 16, 2023
3.0.16
protected
dbbd4dc3
·
Merge branch 'fix-301-duplicate-graphviz-hsi' into 'master'
·
Nov 10, 2023
3.0.15
protected
a6f340f4
·
Merge branch 'minor_doc_updates' into 'master'
·
Nov 10, 2023
3.0.14
protected
ac061f28
·
Merge branch 'fix-unhandled-exceptions-efsm' into 'master'
·
Nov 01, 2023
3.0.13
protected
0e790fe5
·
Merge branch 'fix-294' into 'master'
·
Oct 29, 2023
3.0.12
protected
fdbfff22
·
Update user_guide.md: Refine the ATS graphviz output file naming
·
Oct 26, 2023
3.0.11
protected
7ee6f555
·
Merge branch '217-expand-logging-model-information' into 'master'
·
Oct 20, 2023
3.0.10
protected
47a3c6e5
·
Merge branch 'remaining-sim-script-stuff' into 'master'
·
Oct 18, 2023
3.0.9
protected
40de67da
·
Merge branch '69-handle-enums' into 'master'
·
Oct 12, 2023
3.0.8
protected
5c717bd9
·
Merge branch 'improve-sim-script' into 'master'
·
Sep 26, 2023
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
Prev
1
…
8
9
10
11
12
13
14
15
16
…
21
Next