Tags
Tags give the ability to mark specific points in history as being important
3.10.37
protected
5e8d0d15
·
Merge branch '572-min-wrong-start-state' into 'master'
·
Mar 30, 2026
3.10.36
protected
7b28e75a
·
Merge branch '392-add-requirements-to-model' into 'master'
·
Mar 30, 2026
3.10.35
protected
1a9c8a5a
·
Merge branch 'tests.md-updates' into 'master'
·
Mar 25, 2026
3.10.34
protected
5a7f9b92
·
Merge branch '469-weakly_connectedness_check' into 'master'
·
Mar 25, 2026
3.10.33
protected
6ee8f37d
·
Merge branch 'MinorDocUpdates' into 'master'
·
Mar 02, 2026
3.10.32
protected
d6458c93
·
Merge branch '504_fix_regression_test' into 'master'
·
Mar 02, 2026
3.10.31
protected
5328be98
·
Merge branch 'fix-master-conflict' into 'master'
·
Feb 27, 2026
3.10.30
protected
b94b863e
·
Temporary set compare_with_previous_csv flag to true in RegressionTest.h (504)
·
Feb 26, 2026
3.10.29
protected
772d92d6
·
Merge branch '504-DCP_regression_changes' into 'master'
·
Feb 26, 2026
3.10.28
protected
61d3033b
·
Merge branch '566-improve-CI-build-time-vol2' into 'master'
·
Feb 26, 2026
3.10.27
protected
0279e792
·
Merge branch '566-improve-CI-build-time' into 'master'
·
Feb 25, 2026
3.10.26
protected
301a800f
·
Merge branch 'add-powerful-job-tag' into 'master'
·
Feb 25, 2026
3.10.25
protected
a2d8df43
·
Merge branch '367-graphviz-next-node-representation' into 'master'
·
Feb 23, 2026
3.10.24
protected
2faa49e6
·
Merge branch '311-check_unreliable_reset' into 'master'
·
Feb 23, 2026
3.10.23
protected
5aa16f2a
·
Merge branch '555-graphviz-string-literals' into 'master'
·
Feb 10, 2026
3.10.22
protected
27b5bc94
·
Merge branch '554-lmi-conversion-mode-err' into 'master'
·
Feb 09, 2026
3.10.21
protected
78f64e24
·
Merge branch '543-model-comparator' into 'master'
·
Feb 06, 2026
3.10.20
protected
7763e4e1
·
Merge branch '551-ATS-auxiliary-graph-corrupt' into 'master'
·
Feb 03, 2026
3.10.19
protected
0cc7b6f3
·
Merge branch 'ConvTests_UG_small_updates' into 'master'
·
Jan 23, 2026
3.10.18
protected
76ed7aa9
·
Revert "Update conversion test version"
·
Jan 23, 2026
1
2
3
4
5
6
…
23