merge/master#254
Merged
danielratiu merged 14 commits intomasterfrom Apr 27, 2026
Merged
Conversation
* gradle: updated dependencies to mbeddr.platform, mps + use -XX:+UseStringDeduplication in the RCP * overall: ran gradlew migrate remigrate
* safety: added "com.fasten.base.sat" to the fasten.assurance build * overall: ran gradlew remigrate
* mpsbasics: improvement of langchain4j integration - we can have chats and querries which consider a knowledge base * mpsbasics: improvement of knowldge base definition of langchain * safety.tutorial: initial AI examples * safety.tutorial: initial AI examples * safety.tutorial: mini improvement of examples * mpsbasics: improved langchain integration + tutorial example * mpsbasics: infrastructure for custom serialization of nodes to json safety: custom json serialisation for HazardList safety-tutorial: examples about modelquery and genai * safety: added the genai languages and solutions to the build * overall: ran gradlew migrate remigrate * safety-tutorial: fixed resolve info mismatch
* mpsbasics, symo, nusmv: added linters solution to the projects * gradle.lockfile: updated dependency to mpsqa * gradle: updated dependency to mbeddr platform * overall: adding the lint solution to _000_meta virtual package * symo: cleanup plantuml + fixed tests and add tests to the build * safety-tutorial: mini fix of linters * repo_admin: updated linters * syml: ran "optimize imports" on the project * overall: removed empty generator aspects + asapted the build * lint: whitelisted not used classes * overall: removed empty behavior roots * req.odd: removed old deprecated concepts and associated migration * nusmv.cbd: removed forgotten migration * safety.gsn.doc: removed forgotten migration * overall: mini cleanups * overall: ran "gradlew migrate remigrate" * safety: fixed builds to reflect the cleanups * overall: ran gradlew migrate remigrate * safety: cleanup stamp dependencies * safety: cleanup dependencies + enhanced the meta.architecture to contain most modules * safety: mini improvement in architecture description * overall: called "optimize imports" in the repo.admin fasten.all project * safety: fixed build dependencies * smtlib: smtlib.z3.rt exports the dependency z3.lib * overall: ran migration and resolveInfos were updated * overall: ran gradlew migrate remigrate
* safety.tutorial: fixed SPIs top argument * safety.gsn: mini fix of the importer config editor * safety.gsn: mini improvements * mpsbasics: fix of plaintext.yaml w.r.t. handling of sequences * safety.bowtie: mini improvement in the bowtie language * nusmv.base: added infrastructure for definition of ColorAttribute-s * safety: enahnced the bowtie language * overall: ran gradlew migrate remigrate * safety.gsn: added intention to convert one goal-structure-entity to another (e.g. Context -to-> Justification) * safety.gsn.doc: added URL-Word to enable referencing of URLs from documentation text * safety.tutorial: added the argument about "Safety Assurance of Autonomous Systems in Complex Environments"to examples section * safety: File -> Force Save All * safety.tutorial: renamed directory of model "_200_autonomy_safety_arguments_catalogue._030_sace" to be the same as the model name * safety.tutorial: updated whitelist of each_gsn_diagram_has_a_documentation
* safety.tutorial: slightly improved SACE example * mpsbasics: mini improvement of the plaintext yaml * mpsbasics: restructuring of genai language to allow injection of custom chat-models * safety, safety.tutorial: fixed code to reflect the changes in infrastructure * overall: ran gradlew migrate remigrate * safety.tutorial: File -> Force Save All * mpsbasics: fixed tests for plaintext yaml
…ces (#253) * safety.gsn: enable forced synchronization between the text of references to library Goal-Structure-Entities and their definition inside the library
…ge/master # Conflicts: # code/languages/com.fasten.symo/languages/com.fasten.symo.hw/com.fasten.symo.hw.mpl # code/languages/com.fasten.symo/languages/com.symo.plantuml.ext/models/com.symo.plantuml.ext.constraints.mps # code/languages/com.fasten.symo/languages/com.symo.plantuml.ext/models/com.symo.plantuml.ext.editor.mps # code/languages/com.fasten.symo/languages/com.symo.plantuml/com.symo.plantuml.mpl # code/languages/com.fasten.symo/languages/com.symo.plantuml/models/com.symo.plantuml.editor.mps # code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/com.symo.sysml.ibd.mpl # code/languages/com.fasten.symo/languages/com.symo.sysml.ibd/models/com.symo.sysml.ibd.editor.mps # code/languages/com.fasten.symo/solutions/com.symo.plantuml.sandbox/com.symo.plantuml.sandbox.msd # code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/com.fasten.base.activity.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.activity/models/com.fasten.base.activity.editor.mps # code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.arch.msc/com.fasten.base.arch.msc.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.msc/com.fasten.base.msc.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.fasten.base.msc/models/com.fasten.base.msc.editor.mps # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/com.mbeddr.formal.base.arch.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.arch/models/structure.mps # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/com.mbeddr.formal.base.operatorspanel.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.operatorspanel/models/editor.mps # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.tabular/com.mbeddr.formal.base.tabular.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base.tabular/models/com.mbeddr.formal.base.tabular.editor.mps # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/editor.mps # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.base/models/typesystem.mps # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/com.mbeddr.formal.nusmv.arch.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.arch/models/editor.mps # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/com.mbeddr.formal.nusmv.cbd.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/editor.mps # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.cbd/models/structure.mps # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.ext/com.mbeddr.formal.nusmv.ext.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.importer/com.mbeddr.formal.nusmv.importer.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.importer/models/editor.mps # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.operatorspanel/com.mbeddr.formal.nusmv.operatorspanel.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/com.mbeddr.formal.nusmv.sm.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.sm/models/editor.mps # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.source/com.mbeddr.formal.nusmv.source.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.source/models/editor.mps # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.spec.patterns/com.mbeddr.formal.nusmv.spec.patterns.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.tabular/com.mbeddr.formal.nusmv.tabular.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv.tests/com.mbeddr.formal.nusmv.tests.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv/com.mbeddr.formal.nusmv.mpl # code/languages/com.mbeddr.formal.nusmv/languages/com.mbeddr.formal.nusmv/models/editor.mps # code/languages/com.mbeddr.formal.nusmv/solutions/com.fasten.base.sat/com.fasten.base.sat.msd # code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/com.mbeddr.formal.base.pluginSolution.msd # code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.base.pluginSolution/models/plugin.mps # code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.cbd.pluginSolution/models/plugin.mps # code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/com.mbeddr.formal.nusmv.pluginSolution.msd # code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.nusmv.pluginSolution/models/plugin.mps # code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/com.mbeddr.formal.rcp.pluginSolution.msd # code/languages/com.mbeddr.formal.nusmv/solutions/com.mbeddr.formal.rcp.pluginSolution/models/plugin.mps # code/languages/com.mbeddr.formal.nusmv/tests/test.com.fasten.base.sat/test.com.fasten.base.sat.msd # code/languages/com.mbeddr.formal.prism/languages/com.mbeddr.formal.prism/com.mbeddr.formal.prism.mpl # code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.behavior_aspect.mps # code/languages/com.mbeddr.formal.repo_admin/solutions/com.fasten.meta.linters/models/com.fasten.meta.linters.landev_aspects.generator_aspect.mps # code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/com.fasten.req.odd.mpl # code/languages/com.mbeddr.formal.req/languages/com.fasten.req.odd/models/com.fasten.req.odd.editor.mps # code/languages/com.mbeddr.formal.req/languages/com.fasten.req.ontology/com.fasten.req.ontology.mpl # code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.arch/com.mbeddr.formal.req.arch.mpl # code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.base/com.mbeddr.formal.req.base.mpl # code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.msc/com.mbeddr.formal.req.msc.mpl # code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.nusmv/com.mbeddr.formal.req.nusmv.mpl # code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.scenarios/com.mbeddr.formal.req.scenarios.mpl # code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns.arch/com.mbeddr.formal.req.tl_patterns.arch.mpl # code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns.nusmv/com.mbeddr.formal.req.tl_patterns.nusmv.mpl # code/languages/com.mbeddr.formal.req/languages/com.mbeddr.formal.req.tl_patterns.nusmv/models/com.mbeddr.formal.req.tl_patterns.nusmv.editor.mps # code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.msd # code/languages/com.mbeddr.formal.req/solutions/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution/models/com.mbeddr.formal.req.tl_patterns.nusmv.pluginSolution.plugin.mps # code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/com.fasten.safety.bayesian_network.mpl # code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bayesian_network/models/com.fasten.safety.bayesian_network.editor.mps # code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bowtie.sandbox/com.fasten.safety.bowtie.sandbox.msd # code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bowtie/com.fasten.safety.bowtie.mpl # code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bowtie/models/com.fasten.safety.bowtie.editor.mps # code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.bowtie/models/com.fasten.safety.bowtie.structure.mps # code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft.xfta_gen/com.fasten.safety.ft.xfta_gen.mpl # code/languages/com.mbeddr.formal.safety/languages/com.fasten.safety.ft.xfta_gen/models/com.fasten.safety.ft.xfta_gen.editor.mps # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.genai/com.mbeddr.formal.safety.argument.genai.mpl # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.modelquery/com.mbeddr.formal.safety.argument.modelquery.mpl # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process/com.mbeddr.formal.safety.argument.process.mpl # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.process/models/com.mbeddr.formal.safety.argument.process.editor.mps # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.spi/com.mbeddr.formal.safety.argument.spi.mpl # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.genai/com.mbeddr.formal.safety.genai.mpl # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.confidence.acp/com.mbeddr.formal.safety.gsn.confidence.acp.mpl # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.doc/com.mbeddr.formal.safety.gsn.doc.mpl # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.doc/models/com.mbeddr.formal.safety.gsn.doc.editor.mps # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/com.mbeddr.formal.safety.gsn.ext.mpl # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.editor.mps # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.ext/models/com.mbeddr.formal.safety.gsn.ext.structure.mps # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.editor.mps # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/com.mbeddr.formal.safety.gsn.mpl # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.behavior.mps # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.intentions.mps # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/com.mbeddr.formal.safety.stamp.mpl # code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.stamp/models/com.mbeddr.formal.safety.stamp.editor.mps # code/languages/com.mbeddr.formal.safety/solutions/com.fasten.assurance.build/models/com.fasten.assurance.build.mps # code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.build/models/com.mbeddr.formal.safety.build.mps # code/languages/com.mbeddr.formal.safety/solutions/com.mbeddr.formal.safety.gsn.sandbox/com.mbeddr.formal.safety.gsn.sandbox.msd # code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/com.mbeddr.formal.smtlib.synthesis.mpl # code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/models/editor.mps # code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib.synthesis/models/structure.mps # code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib/com.mbeddr.formal.smtlib.mpl # code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib/models/editor.mps # code/languages/com.mbeddr.formal.smt/languages/com.mbeddr.formal.smtlib/models/structure.mps # code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.c.core/com.mbeddr.formal.spin.c.core.mpl # code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.c.core/models/editor.mps # code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.ext/com.mbeddr.formal.spin.ext.mpl # code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/com.mbeddr.formal.spin.hdl.mpl # code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin.hdl/models/editor.mps # code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/com.mbeddr.formal.spin.mpl # code/languages/com.mbeddr.formal.spin/languages/com.mbeddr.formal.spin/models/editor.mps # code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/com.mbeddr.formal.spin.pluginSolution.msd # code/languages/com.mbeddr.formal.spin/solutions/com.mbeddr.formal.spin.pluginSolution/models/plugin.mps # code/languages/com.mpsbasics/languages/com.mpsbasics.genai/com.mpsbasics.genai.mpl # code/languages/com.mpsbasics/languages/com.mpsbasics.genai/models/com.mpsbasics.genai.editor.mps # code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/com.mpsbasics.pdfexporter.mpl # code/languages/com.mpsbasics/languages/com.mpsbasics.pdfexporter/models/com.mpsbasics.pdfexporter.editor.mps # code/languages/com.mpsbasics/languages/com.mpsbasics.plaintext.yaml/models/com.mpsbasics.plaintext.yaml.behavior.mps # code/languages/com.mpsbasics/languages/com.mpsbasics.plaintext.yaml/models/com.mpsbasics.plaintext.yaml.editor.mps # code/languages/com.mpsbasics/languages/com.mpsbasics.words.generic/models/com.mpsbasics.words.generic.editor.mps # code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.lib/com.mpsbasics.docx4j.lib.msd # code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.sandbox/models/com.mpsbasics.docx4j.sandbox.plugin.mps # code/languages/com.mpsbasics/solutions/com.mpsbasics.docx4j.testutils/com.mpsbasics.docx4j.testutils.msd # code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/com.mpsbasics.editor.utils.msd # code/languages/com.mpsbasics/solutions/com.mpsbasics.editor.utils/models/com.mpsbasics.editor.utils.buttons.mps # code/languages/com.mpsbasics/solutions/com.mpsbasics.jira.pluginSolution/com.mpsbasics.jira.pluginSolution.msd # code/languages/com.mpsbasics/solutions/com.mpsbasics.pdfbox/com.mpsbasics.pdfbox.msd # code/languages/com.mpsbasics/solutions/com.mpsbasics.plaintext.yaml.sandbox/com.mpsbasics.plaintext.yaml.sandbox.msd # code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial.linters/models/com.mbeddr.formal.safety.tutorial.linters._100_generic_linters.mps # gradle.lockfile
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.