-
Notifications
You must be signed in to change notification settings - Fork 14
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merge maintenance/MPS-2022.3_merge_2022.2_dan into master #83
Commits on Dec 20, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 78a0956 - Browse repository at this point
Copy the full SHA 78a0956View commit details -
Configuration menu - View commit details
-
Copy full SHA for bf8209a - Browse repository at this point
Copy the full SHA bf8209aView commit details -
Configuration menu - View commit details
-
Copy full SHA for b5a852f - Browse repository at this point
Copy the full SHA b5a852fView commit details -
Configuration menu - View commit details
-
Copy full SHA for b047a9c - Browse repository at this point
Copy the full SHA b047a9cView commit details
Commits on Dec 22, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 7108ccb - Browse repository at this point
Copy the full SHA 7108ccbView commit details -
Configuration menu - View commit details
-
Copy full SHA for a9bcf4d - Browse repository at this point
Copy the full SHA a9bcf4dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 93562d7 - Browse repository at this point
Copy the full SHA 93562d7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 37afc9a - Browse repository at this point
Copy the full SHA 37afc9aView commit details -
Configuration menu - View commit details
-
Copy full SHA for b6c9bac - Browse repository at this point
Copy the full SHA b6c9bacView commit details -
Extract docx4j-diffx into a separate solution and create a separate p…
…lugin com.mpsbasics.testutils for it and the test class
Configuration menu - View commit details
-
Copy full SHA for a7d6265 - Browse repository at this point
Copy the full SHA a7d6265View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1946449 - Browse repository at this point
Copy the full SHA 1946449View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7263d62 - Browse repository at this point
Copy the full SHA 7263d62View commit details -
Configuration menu - View commit details
-
Copy full SHA for b3143a9 - Browse repository at this point
Copy the full SHA b3143a9View commit details
Commits on Dec 24, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 2638d3b - Browse repository at this point
Copy the full SHA 2638d3bView commit details -
rcp: fixed the creation of FASTEN RCP
base.tooling: fixed ProjectHelper
Configuration menu - View commit details
-
Copy full SHA for 902cf52 - Browse repository at this point
Copy the full SHA 902cf52View commit details -
Configuration menu - View commit details
-
Copy full SHA for 84c0de1 - Browse repository at this point
Copy the full SHA 84c0de1View commit details
Commits on Dec 25, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 522b7d1 - Browse repository at this point
Copy the full SHA 522b7d1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5e67df2 - Browse repository at this point
Copy the full SHA 5e67df2View commit details -
Configuration menu - View commit details
-
Copy full SHA for ca83bef - Browse repository at this point
Copy the full SHA ca83befView commit details
Commits on Dec 30, 2023
-
Configuration menu - View commit details
-
Copy full SHA for b592101 - Browse repository at this point
Copy the full SHA b592101View commit details
Commits on Dec 31, 2023
-
Configuration menu - View commit details
-
Copy full SHA for c779932 - Browse repository at this point
Copy the full SHA c779932View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3df2774 - Browse repository at this point
Copy the full SHA 3df2774View commit details -
Configuration menu - View commit details
-
Copy full SHA for b0dc2bc - Browse repository at this point
Copy the full SHA b0dc2bcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9ede04d - Browse repository at this point
Copy the full SHA 9ede04dView commit details
Commits on Jan 2, 2024
-
safety.rcp: enabled the actionsfilter plugin to filter out irrelevant…
… menus for FASTEN build.gradle: enable installation of actionsfilter into MPS\plugins directory
Configuration menu - View commit details
-
Copy full SHA for 8d2fbfc - Browse repository at this point
Copy the full SHA 8d2fbfcView commit details
Commits on Jan 3, 2024
-
safety.tutorial: converted all models to file-per-root format to refl…
…ect the default settings of the FASTEN RCP
Configuration menu - View commit details
-
Copy full SHA for ec71c9d - Browse repository at this point
Copy the full SHA ec71c9dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 16b6d25 - Browse repository at this point
Copy the full SHA 16b6d25View commit details
Commits on Jan 4, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 422d396 - Browse repository at this point
Copy the full SHA 422d396View commit details
Commits on Jan 8, 2024
-
Merge remote-tracking branch 'origin/feature/upgrade_docx4j' into mai…
…ntenance/MPS-2022.2 # Conflicts: # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._020_hazards_and_risk_analysis/_010_airbag_controller_functional_control_structure.mpsr # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/_015_cross_referencing_goal_structure.mpsr # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/Safety Requirements Are Well Defined.mpsr # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._070_assurance_cases_linked_to_artifacts_models/_100_top_level.mpsr # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._000_hara.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._010_scenarios.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._020_requirements.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/_010_uber_atg_safety_case_top.mpsr # code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/models/doc.mps # gradle.lockfile
Configuration menu - View commit details
-
Copy full SHA for 60362ab - Browse repository at this point
Copy the full SHA 60362abView commit details
Commits on Feb 7, 2024
-
mpsbasics: initial pdfexporter infrastructure
formal.base: moved the screenshooters functionality to mpsbasics
Configuration menu - View commit details
-
Copy full SHA for 2f56b25 - Browse repository at this point
Copy the full SHA 2f56b25View commit details -
refactoring: moved ProjectHelper to mpsbasic.project.utils
moved FASTENNotification to mpsbasic.project.utils
Configuration menu - View commit details
-
Copy full SHA for 9fabf63 - Browse repository at this point
Copy the full SHA 9fabf63View commit details -
Configuration menu - View commit details
-
Copy full SHA for 32d2837 - Browse repository at this point
Copy the full SHA 32d2837View commit details -
Configuration menu - View commit details
-
Copy full SHA for 561273e - Browse repository at this point
Copy the full SHA 561273eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1d125d3 - Browse repository at this point
Copy the full SHA 1d125d3View commit details
Commits on Feb 8, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 37c0ddd - Browse repository at this point
Copy the full SHA 37c0dddView commit details -
Configuration menu - View commit details
-
Copy full SHA for 03c13a3 - Browse repository at this point
Copy the full SHA 03c13a3View commit details
Commits on Feb 9, 2024
-
Configuration menu - View commit details
-
Copy full SHA for cfcee3b - Browse repository at this point
Copy the full SHA cfcee3bView commit details
Commits on Feb 14, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 5a24dcc - Browse repository at this point
Copy the full SHA 5a24dccView commit details
Commits on Feb 15, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 52221f2 - Browse repository at this point
Copy the full SHA 52221f2View commit details
Commits on Feb 18, 2024
-
Configuration menu - View commit details
-
Copy full SHA for f7dcf27 - Browse repository at this point
Copy the full SHA f7dcf27View commit details -
Configuration menu - View commit details
-
Copy full SHA for c1053f0 - Browse repository at this point
Copy the full SHA c1053f0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 36489f6 - Browse repository at this point
Copy the full SHA 36489f6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6ba241f - Browse repository at this point
Copy the full SHA 6ba241fView commit details
Commits on Feb 19, 2024
-
Merge pull request #80 from mbeddr/feature/pdf_export
Implement initial support for exporting to PDF
Configuration menu - View commit details
-
Copy full SHA for 4d02896 - Browse repository at this point
Copy the full SHA 4d02896View commit details
Commits on Feb 20, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 54a5bcf - Browse repository at this point
Copy the full SHA 54a5bcfView commit details
Commits on Feb 28, 2024
-
mpsbasics: enhanced the pdfexport (#81)
tutorial-safety: updated the examples
Configuration menu - View commit details
-
Copy full SHA for c8611b1 - Browse repository at this point
Copy the full SHA c8611b1View commit details
Commits on Mar 27, 2024
-
gradle.lockfile: updated dependencies to mps.extension, mbeddr.platform
overall: ran automated migrations
Configuration menu - View commit details
-
Copy full SHA for f33ef7a - Browse repository at this point
Copy the full SHA f33ef7aView commit details
Commits on Apr 20, 2024
-
Configuration menu - View commit details
-
Copy full SHA for bacfa65 - Browse repository at this point
Copy the full SHA bacfa65View commit details
Commits on May 16, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 8d86d4b - Browse repository at this point
Copy the full SHA 8d86d4bView commit details -
Merge remote-tracking branch 'origin/maintenance/MPS-2022.2' into mai…
…ntenance/MPS-2022.3_merge_2022.2_dan # Conflicts: # README.md # build.gradle.kts # code/languages/com.mbeddr.formal.safety/tests/test.com.fasten.safety.ft/test.com.fasten.safety.ft.msd # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._020_hazards_and_risk_analysis/_010_airbag_controller_functional_control_structure.mpsr # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/_015_cross_referencing_goal_structure.mpsr # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/Safety Requirements Are Well Defined.mpsr # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._070_assurance_cases_linked_to_artifacts_models/_100_top_level.mpsr # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._000_hara.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._010_scenarios.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._020_requirements.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case.mps # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/_010_uber_atg_safety_case_top.mpsr # code/tutorial-safety/solutions/com.mbeddr.formal.safety.users_guide/models/doc.mps # gradle.lockfile
Configuration menu - View commit details
-
Copy full SHA for 8b17032 - Browse repository at this point
Copy the full SHA 8b17032View commit details -
Configuration menu - View commit details
-
Copy full SHA for df83e8d - Browse repository at this point
Copy the full SHA df83e8dView commit details -
tutorial.safety: reverted unintended change
Configuration menu - View commit details
-
Copy full SHA for e5f422f - Browse repository at this point
Copy the full SHA e5f422fView commit details
Commits on May 17, 2024
-
formal.safety.build: added "test.mbeddr.formal.safety.argument.modelq…
…uery" to the build tests
Configuration menu - View commit details
-
Copy full SHA for 6abce67 - Browse repository at this point
Copy the full SHA 6abce67View commit details -
Configuration menu - View commit details
-
Copy full SHA for f2c031c - Browse repository at this point
Copy the full SHA f2c031cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 55411d0 - Browse repository at this point
Copy the full SHA 55411d0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1521553 - Browse repository at this point
Copy the full SHA 1521553View commit details -
Configuration menu - View commit details
-
Copy full SHA for 584026d - Browse repository at this point
Copy the full SHA 584026dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 90cee08 - Browse repository at this point
Copy the full SHA 90cee08View commit details -
Configuration menu - View commit details
-
Copy full SHA for ce9a214 - Browse repository at this point
Copy the full SHA ce9a214View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8f9862f - Browse repository at this point
Copy the full SHA 8f9862fView commit details