PML analyzer 1.1.1

What's Changed

• Fix dynamic library loading on successive analyses by @Gaudeval in #17
• Support non load/store components by @Gaudeval in #16
• 18 add another version of a simpleexample by @kevin-delmas in #21
• Refactor code for compliance to linting by @kevin-delmas in #24
• 20 the pml docker build from the sbt target does not contain the monosat library by @kevin-delmas in #27
• 26 unreachable cycle by @kevin-delmas in #33
• 23 add exclusivity operators by @ccoquand in #28
• 35 enhance graph export by @kevin-delmas in #37
• 36 enable code source traceability by @kevin-delmas in #38
• 12 add exclusivewith for transactions by @ccoquand in #39
• 40 naming composites by @kevin-delmas in #41
• 25 assess pml scalability by @kevin-delmas in #42
• 44 interference calculus on synthetic architecture seems dysfunctional by @kevin-delmas in #50
• 48 ossrh end of life by @kevin-delmas in #51
• 58 add automatic push to central and sonatype by @kevin-delmas in #59
• Demo/2025 industrial committee by @kevin-delmas in #55
• Add possibility to write "Transaction("name",otherTransaction)" by @kevin-delmas in #57
• Add possibility to write "x write Set(a,b)" by @kevin-delmas in #56
• 60 failure of release on central by @kevin-delmas in #61

New Contributors

• @Gaudeval made their first contribution in #17
• @ccoquand made their first contribution in #28

Full Changelog: v1.0.1...v1.1.1