Tags

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

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
1.0.1 protected

aa47f8aa · Merge branch 'H-method_and_a_sample_application' into 'master' · Jun 24, 2022
1.0.0 protected

0ef7f5bf · Merge branch 'ug-gui-running-description' into 'master' · Jun 20, 2022

Release: R1: Bee hummingbird
```
R1: Bee Hummingbird (v1.0.0)
```
0.0.68 protected

bd9be6b1 · Merge branch 'fix-gui-app-mtr-path' into 'master' · Jun 18, 2022
0.0.67 protected

dee5e321 · Merge branch 'add-gui-to-win-deploy' into 'master' · Jun 18, 2022
0.0.66 protected

10684b95 · Merge branch 'ug-python-prerequisite-minor-fixes' into 'master' · Jun 18, 2022
0.0.65 protected

c7cf3034 · Merge branch 'fix-findings-before-release-vol2' into 'master' · Jun 16, 2022
0.0.64 protected

fee303c0 · Merge branch 'fix-findings-before-release' into 'master' · Jun 13, 2022

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