Activity
Merge maintenance/MPS-2023.2 into merge/master
Merge maintenance/MPS-2023.2 into merge/master
ran gradlew migrate remigrate
ran gradlew migrate remigrate
Merge remote-tracking branch 'origin/maintenance/MPS-2023.2' into bug…
Merge remote-tracking branch 'origin/maintenance/MPS-2023.2' into bug…
Merge remote-tracking branch 'refs/remotes/origin/master' into merge/…
Merge remote-tracking branch 'refs/remotes/origin/master' into merge/…
safety.process.review: removed editor tabs
safety.process.review: removed editor tabs
safety.tutorial: extended example for confidence based on ACP
safety.tutorial: extended example for confidence based on ACP
safety: File -> Force Save All
safety: File -> Force Save All
update the new actions in the background
update the new actions in the background
Force push
10 days ago
update the mbeddr platform to 2024.1.25188.dffcb5d
update the mbeddr platform to 2024.1.25188.dffcb5d
safety: add FTTI req attribute and set MPS-editor text-width automati…
safety: add FTTI req attribute and set MPS-editor text-width automati…
safety: add FTTI req attribute and set MPS-editor text-width automati…
safety: add FTTI req attribute and set MPS-editor text-width automati…
Pull request merge
safety.rcp: added an application plugin to set vertical-bound (text-w…
safety.rcp: added an application plugin to set vertical-bound (text-w…
safety: ran "gradlew migrate"
safety: ran "gradlew migrate"
safety: File -> Force Save All
safety: File -> Force Save All
safety: mini improvement of artefact
safety: mini improvement of artefact
safety: create new fasten root nodes menus for confidence arguments
safety: create new fasten root nodes menus for confidence arguments