Tags

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

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

9c8ce732 · Merge branch 'improve-windows-building' into 'master' · Jun 10, 2022
0.0.62 protected

ba38178a · Merge branch 'fix-compiler-warnings' into 'master' · Jun 09, 2022
0.0.61 protected

cca2c83a · Merge branch 'fix-clang-compile-warnings' into 'master' · Jun 09, 2022
0.0.60 protected

e14ab21e · Merge branch 'handle-option-parse-errors' into 'master' · Jun 04, 2022
0.0.59 protected

fde3b056 · Merge branch 'add-win10-deploy-script' into 'master' · Jun 03, 2022
0.0.58 protected

eab3bb2e · Update user_guide.md: add a note about separating family of sequences (why it... · Jun 02, 2022
0.0.57 protected

0642fe24 · Merge branch 'fix-file-logging-overwriting-log-file' into 'master' · Jun 01, 2022
0.0.56 protected

6f275cb9 · Merge branch 'cleanup-run-sims-script' into 'master' · May 30, 2022
0.0.55 protected

fbfa9fa3 · Merge branch 'logging-refinements' into 'master' · May 21, 2022
0.0.54 protected

d7ced077 · Merge branch '123_display_warning_if_fsm_testgen_algo_used_for_efsms' into 'master' · May 13, 2022
0.0.53 protected

e17d8dff · Update Example.md: small style update · May 12, 2022
0.0.52 protected

3582b666 · Merge branch 'fix-non-deterministic-detection' into 'master' · May 12, 2022
0.0.51 protected

ddd88b50 · Merge branch 'add-notes-for-contrib-test-gen-notes' into 'master' · May 03, 2022

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