Tags

Tags give the ability to mark specific points in history as being important

2.0.4 protected

6f11a5f3 · Merge branch 'notes_for_contributors_updates' into 'master' · Sep 27, 2022
2.0.3 protected

1a9376b4 · Merge branch 'documentation_updates' into 'master' · Sep 23, 2022
2.0.2 protected

4baa71a3 · Update .gitlab-ci.yml file · Sep 15, 2022
2.0.1 protected

69b88231 · Merge branch 'split-context-and-cliparser' into 'master' · Aug 16, 2022
2.0.0 protected

f6b930f8 · Merge branch 'fix-findings-for-R2-rel' into 'master' · Jul 07, 2022

Release: R2: Goldcrest
```
R2: Goldcrest (v2.0.0)
```
1.0.16 protected

f6b930f8 · Merge branch 'fix-findings-for-R2-rel' into 'master' · Jul 07, 2022
1.0.15 protected

e091dee0 · Update user_guide.md: fix grammar · Jul 07, 2022
1.0.14 protected

43da2634 · Update user_guide.md: correct "5.4. Log model information" description · Jul 07, 2022
1.0.13 protected

44a8f595 · Merge branch 'apply-hsi-update-in-one-commit' into 'master' · Jul 07, 2022
1.0.12 protected

f3371108 · Update release_notes.md: Add release date for R2 · Jul 07, 2022
1.0.11 protected

859c5be7 · Merge branch 'fix-efsm-transformation' into 'master' · Jul 07, 2022
1.0.10 protected

632f6717 · Merge branch 'implement-minimalization' into 'master' · Jul 06, 2022
1.0.9 protected

34f93fc6 · Merge branch 'H-non-prio-tasks' into 'master' · Jul 04, 2022
1.0.8 protected

d6881c51 · Merge branch 'ReleaseNotes' into 'master' · Jun 30, 2022
1.0.7 protected

dd495d0e · Merge branch 'add-H-to-GUI-sim-script' into 'master' · Jun 29, 2022
1.0.6 protected

54d8baa5 · Merge branch 'improve-lmi-separable-mergable-state-pairs' into 'master' · Jun 29, 2022
1.0.5 protected

2352630e · Merge branch 'UGupdates' into 'master' · Jun 29, 2022
1.0.4 protected

e40a16ae · Merge branch 'H_prio_fixes' into 'master' · Jun 29, 2022
1.0.3 protected

3e30585e · Merge branch 'log_minimized_property' into 'master' · Jun 28, 2022
1.0.2 protected

0f15db55 · Merge branch 'apply-gw-plugin-in-one' into 'master' · Jun 27, 2022

Prev
1
…
10
11
12
13
14
15
16
17
18
Next