Skip to content

GitLab

Explore

Sign in
Register

Tags

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

0.0.21 protected

93934bab · Merge branch 'revert-d9dc67f7 ' into 'master' · Mar 24, 2022
0.0.20 protected

d9dc67f7 · Update user_guide.md: add little clarifications in example descriptions, use... · Mar 24, 2022
0.0.19 protected

a75562f0 · Update user_guide.md: correct a broken link · Mar 24, 2022
0.0.18 protected

d71bd19a · Merge branch 'fix-lmi-ug-section' into 'master' · Mar 24, 2022
0.0.17 protected

821b7550 · Merge branch... · Mar 24, 2022
0.0.16 protected

c7e15d95 · Merge branch 'issue#80-V2' into 'master' · Mar 24, 2022
0.0.15 protected

a62c2406 · Merge branch '104-bug-hsi-uses-state-id-name-interchangebly' into 'master' · Mar 21, 2022
0.0.14 protected

152d7b0e · Merge branch 'fix-windows-compile-warnings' into 'master' · Mar 19, 2022
0.0.13 protected

51173fca · Merge branch 'UserGuide' into 'master' · Mar 18, 2022
0.0.12 protected

3d93efc6 · Merge branch 'revert-94be8902 ' into 'master' · Mar 17, 2022
0.0.11 protected

94be8902 · Merge branch 'ci-gui-build' into 'master' · Mar 17, 2022
0.0.10 protected

ed131282 · Merge branch 'license_86' into 'master' · Mar 10, 2022
0.0.9 protected

f81ea6d1 · Merge branch 'add-graphviz-options' into 'master' · Mar 03, 2022
0.0.8 protected

61ece8d5 · Merge branch 'improve-test-suite-writing' into 'master' · Feb 24, 2022
0.0.7 protected

e9a41f4a · Merge branch 'add-ci-versioning-scripts' into 'master' · Feb 12, 2022
0.0.6 protected

53437217 · Change permissions for bump version · Feb 12, 2022
0.0.5 protected

cc2fb733 · Merge branch 'cli-improve-edge-case-handling' into 'master' · Feb 12, 2022
```
Baseline tag for automatic versioning
```

Prev
1
…
13
14
15
16
17
Next