Tags

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

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

66ec3040 · Merge branch 'fix-efsm-conversion-issues' into 'master' · May 03, 2022
0.0.49 protected

ac9f4a02 · Merge branch 'Application_example_for_adaptation_code' into 'master' · Apr 29, 2022
0.0.48 protected

0ee428b2 · Merge branch 'fix-hsi-input-output-long-sequences' into 'master' · Apr 29, 2022
0.0.47 protected

3d6cf071 · Merge branch 'fix-hsi-input-output-sequences' into 'master' · Apr 28, 2022
0.0.46 protected

55867af6 · Merge branch 'add-conversion-lmi-tests' into 'master' · Apr 27, 2022
0.0.45 protected

62fa0598 · Merge branch 'fix-time-format-for-log-files' into 'master' · Apr 20, 2022
0.0.44 protected

3d5514fb · Merge branch 'add-att-to-gui' into 'master' · Apr 20, 2022

Prev
1
…
12
13
14
15
16
17
18
Next